Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Języki programowania (grupa przedmiotów zdefiniowana przez Wydział Matematyki, Informatyki i Mechaniki)
|
Legenda
Jeśli przedmiot jest prowadzony w danym cyklu dydaktycznym, to w odpowiedniej komórce pojawi się koszyk rejestracyjny. Ikona koszyka zależy od tego, czy możesz się rejestrować na dany przedmiot.
- nie jesteś zalogowany 
- aktualnie nie możesz się rejestrować 
- możesz się zarejestrować 
- możesz się wyrejestrować (lub wycofać prośbę) 
- złożyłeś prośbę o zarejestrowanie (i nie możesz jej już wycofać) 
- jesteś pomyślnie zarejestrowany (i nie możesz się wyrejestrować)
Kliknij na ikonę "i" przy koszyku, aby uzyskać dodatkowe informacje.
2024Z - Semestr zimowy 2024/25 2025Z - Semestr zimowy 2025/26 2025L - Semestr letni 2025/26 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | ||||||
|---|---|---|---|---|---|---|---|
| 2024Z | 2025Z | 2025L | |||||
| 1000-217bMRJ |
Metody realizacji języków programowania (od 2025-10-01)
|
 
|
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Języki programowania
- (od 2025-10-01) Przedmioty obieralne dla informatyki i ML
Skrócony opis
Przegląd podstawowych zagadnień i technik tworzenia interpreterów i kompilatorów dla języków programowania. Najważniejszymi tematami omawianymi na wykładzie są metody analizy semantycznej oraz generacji i optymalizacji kodu dla różnych maszyn docelowych (JVM, LLVM, asembler). Przydatna będzie wiedza wyniesiona z przedmiotu Języki i Paradygmaty Programowania (lub równoważnego). Absolwenci kursu powinni umieć stworzyć kompilator dla prostego języka programowania. |
|
|
| 1000-217bPSC |
Professional Skills in Computer Science (od 2025-10-01)
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2025/26
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Algorytmika
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specj. Automaty, logika, złożoność
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Ekonomia algorytmiczna
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Języki programowania
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Kryptografia
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Systemy informatyczne
- (od 2025-10-01) Przedmioty obowiązkowe dla I roku studiów 2 stopnia na kierunku informatyka (stary program)
- (od 2025-10-01) Przedmioty obowiązkowe dla I roku Machine Learning
Skrócony opis
Redakcja tekstów naukowych, właściwy dobór źródeł, przygotowani i wygłaszanie prezentacji. Najważniejsze problemy prawne i etyczne w prowadzeniu badań w dziedzinie informatyki. Projektowanie interfejsów (user experience) i przeprowadzanie badań z udziałem użytkowników (user studies). |
|
|
| 1000-218bPRB |
Projekt badawczy (od 2025-10-01)
|
brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Algorytmika
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specj. Automaty, logika, złożoność
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Ekonomia algorytmiczna
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Języki programowania
Skrócony opis
Celem zajęć jest przeprowadzenie przez studentów niewielkiego projektu badawczego: teoretycznego lub eksperymentalnego. |
|
|
| 1000-2M24SWP |
Semantyka i weryfikacja programów (d. 1000-215bSWP) (od 2025-10-01)
|
|
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Celem przedmiotu jest przedstawienie znaczenia, a także podstawowych problemów, technik i zastosowań formalnego opisywania programów. Wykład omawia różne metody definiowania semantyki programów, ich niezbędne podstawy i techniki matematyczne oraz wprowadza podstawowe pojęcia poprawności programów wraz metodami i formalizmami jej dowodzenia. Zajęcia laboratoryjne ilustrują wykorzystanie tych metod w praktyce projektowej i programistycznej. |
|
|
