Elective courses (tools for programming) for Computer Science (course group defined by Faculty of Mathematics, Informatics, and Mechanics)
Key
If course is offered then a registration cart will be displayed.
- you are not logged in - currently you are not allowed to register - you are allowed to register - you are allowed to unregister (or withdraw application) - you applied for registration (and you cannot widrdraw this application) - you are registered (and you cannot unregister)
Use one of the "i" icons below for additional information.
2023Z - Winter semester 2023/24 2024Z - Winter semester 2024/25 2024L - Summer semester 2024/25 (there could be semester, trimester or one-year classes) |
Actions | ||||||||
---|---|---|---|---|---|---|---|---|---|
2023Z | 2024Z | 2024L | |||||||
1000-2M24FPS | n/a | n/a |
Classes
Summer semester 2024/25
Groups
- (from 2024-10-01) Elective courses for Computer Science
- (from 2024-10-01) Elective courses (tools for programming) for Computer Science
Brief description
(in Polish) Przedmiot ma na celu przedstawienie zaawansowanych mechanizmów programowania funkcyjnego z typami zależnymi na przykładzie tworzenia klienta i serwera protokołu sieciowego. Na zajęciach wykorzystywane będzie programowanie funkcyjne w Ocamlu wzbogacone o elementy weryfikacji funkcyjnych własności wykonywane w Coq-u. |
|
|||||
1000-2M24PFO | n/a | n/a |
Classes
Winter semester 2024/25
Groups
Brief description
(in Polish) Podczas zajęć przedstawione zostaną podstawowe zagadnienia programowania funkcyjnego na przykładzie języka OCaml, który jest językiem na styku paradygmatów funkcyjnego, imperatywnego i obiektowego. |
|
|||||
1000-2M24PGW | n/a | n/a |
Classes
Winter semester 2024/25
Groups
Brief description
(in Polish) Celem zajęć jest przekazanie studentom wiedzy i umiejętności w zakresie programowania grafiki 2D i 3D w systemie Windows z wykorzystaniem biblioteki DirectX 12. |
|
|||||
1000-2M24RUS | n/a | n/a |
Classes
Winter semester 2024/25
Groups
- (from 2024-10-01) Elective courses (tools for programming) for Computer Science
Brief description
Rust is a modern compiled programming language programowania with a wide range of applications. Its distinctive features are: performance similar to C or C++, memory safety in spite of no garbage collector, rich and strict type system, preference towards consise functional programming idioms and comfortable concurrent programming. Rust is admired by programmers, which is evidenced by still occupying the leader position in StackOverflow rankings for several years in a row. |
|
|||||
1000-2M24KOT | n/a | n/a |
Classes
Winter semester 2024/25
Groups
- (from 2024-10-01) Elective courses (tools for programming) for Computer Science
Brief description
(in Polish) Kotlin to nowoczesny, wieloplatformowy język programowania stworzony i wspierany przez firmę JetBrains. Jest on zwięzły, czytelny, bezpieczny i ma możliwość współdziałania z innymi językami programowania, w szczególności z Javą. Do jego najważniejszych zastosowań należą aplikacje internetowe i mobilne - Kotlin został ogłoszony przez Google preferowanym językiem programowania na Androida. |
|
|||||
1000-2M24ZPZ | n/a | n/a |
Classes
Winter semester 2024/25
Groups
- (from 2024-10-01) Elective courses (tools for programming) for Computer Science
Brief description
(in Polish) Celem tego przedmiotu jest przedstawienie studentom, na czym polega praca w projekcie zarządzanym w sposób zwinny, ze szczególnym uwzględnieniem pracy w zespole. Na rynku funkcjonuje wiele metodyk zarządzania projektami, na tych zajęciach skupimy się głównie na zarządzaniu projektami zwinnymi (agile), które wspiera wytwarzanie oprogramowania w oparciu o iteracyjne i przyrostowe dostarczanie wartości biznesowej. Zajęcia te będą prowadzone przez pracowników firmy NORDEA i swoim zakresem wspierać będą również indywidualne projekty studenckie. |
|
|||||
1000-213bCPP | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
(in Polish) Celem tego przedmiotu jest pokazanie studentom nowoczesnego i efektywnego stylu programowania w języku C++. |
|
||||||
1000-2M24WAW |
Modern web applications
(from 2024-10-01)
|
n/a | n/a |
Classes
Winter semester 2024/25
Groups
- (from 2024-10-01) Elective courses (tools for programming) for Computer Science
Brief description
(in Polish) Tworzenie współczesnych aplikacji webowych - wstęp do bibliotek React i Redux oraz programowania reaktywnego. |
|
||||
1000-213bPYT | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
(in Polish) Wprowadzenie do języka Python, omówienie wybranych bibliotek i narzędzi. Po tym kursie studenci będą przygotowani do udziału w bardziej specjalistycznych zajęciach np. ze Sztucznej inteligencji czy Aplikacji WWW. |
|
||||||