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
(in Polish) Rust jest nowoczesnym kompilowanym językiem programowania o szerokim spektrum zastosowań. Cechuje go wydajność zbliżona do C czy C++, bezpieczeństwo w zarządzaniu pamięcią mimo braku garbage collectora, bogaty i ścisły system typów, preferowanie zwięzłych idiomów funkcyjnych i wygodne programowanie współbieżne. Rust jest uwielbiany przez programistów, o czym świadczy zajmowana od wielu lat pozycja lidera w rankingach StackOverflow. |
|
|||||
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. |
|
||||||