AL | Algorytmy i struktury danych: podstawowe struktury danych; abstrakcyjne typy danych; algorytmy rekurencyjne; analiza złożoności; klasy złożoności; sortowanie i przeszukiwanie; obliczalność i nierozstrzygalność; strategie rozwiązywania problemów; algorytmy współbieżne i rozproszone (ok. 47 godz. wykładów) |
PL | Języki programowania: historia i przegląd języków programowania; maszyny wirtualne; reprezentacja typów danych; przepływ sterowania; przepływ danych, współdzielenie i zgodność typów; zarządzanie pamięcią w czasie wykonania; automaty skończone i wyrażenia regularne; gramatyki bezkontekstowe i automaty ze stosem; systemy translacji; semantyka języków programowania; paradygmaty programotwórcze; konstruktory programowania rozproszonego i współbieżnego (ok. 46 godz. wykładów) |
AR | Architektura systemów liczących: logika cyfrowa; systemy cyfrowe; reprezentacja danych na poziomie maszynowym; organizacja maszyn na poziomie asemblera; organizacja i architektura pamięci; interfejsy i komunikacja; architektury alternatywne (ok. 59 godz. wykładów) |
NU | Obliczenia numeryczne i symboliczne: reprezentacja liczb, błędy i przenoszenie oprogramowania; iteracyjne metody przybliżone (ok. 7 godz. wykładów) |
OS | Systemy operacyjne: historia, rozwój i filozofia; zadania i procesy; koordynacja procesów i synchronizacja; szeregowanie i rozsyłanie; organizacja pamięci fizycznej i wirtualnej; zarządzanie urządzeniami zewnętrznymi; systemy plików i nazywanie zasobów; bezpieczeństwo i ochrona; komunikacja i sieci komputerowe; systemy rozproszone i systemy czasu rzeczywistego (ok. 31 godz. wykładów) |
SE | Metodologia i inżynieria oprogramowania: podstawowe koncepcje dotyczące rozwiązywania problemów; proces rozwoju oprogramowania; wymagania i specyfikacje; projektowanie oprogramowania i jego implementacja; weryfikacja i zatwierdzanie oprogramowania (ok. 44 godz. wykładów) |
DB | Bazy danych: przegląd, modele i zastosowania systemów baz danych; relacyjny model danych (ok. 9 godz. wykładów) |
AI | Sztuczna inteligencja i robotyka: historia i zastosowania sztucznej inteligencji; problemy, przestrzeń stanów i strategie poszukiwań (ok. 9 godz. wykładów) |
HU | Komunikacja człowiek--komputer: interfejsy z użytkownikiem; grafika komputerowa (ok. 8 godz. wykładów) |
SP | Problemy społeczne, etyczne i zawodowe: historyczny i społeczny kontekst informatyki; odpowiedzialność informatyka; ryzyko i obowiązki; własność intelektualna (ok. 11 godz. wykładów) |
PR | Wprowadzenie do programowania (opcjonalnie; ok. 12 godz. wykładów) |