Przedmioty obieralne dla informatyki
- Algorytmiczne aspekty teorii gier 1000-2M02AA
- Algorytmiczne i statystyczne aspekty sekwencjonowania DNA 1000-2M12DNA
- Algorytmika 1000-2N00ALG
- Algorytmy parametryzowane 1000-2M12APW
- Algorytmy tekstowe 1000-2N09ALT
- Algorytmy w genomice obliczeniowej (wspólne z 1000-719GP2) 1000-2M12AGO
- Automaty nieskończone 1000-2M22AN
- Automaty ważone 1000-2M22AW
- Automaty, logika i gry 1000-2M22ALG
- Chmura w uczeniu maszynowym 1000-2M19TCH
- Data engineering 1000-2M23DE
- Data mining 1000-2M03DM
- Eksploracja i przetwarzanie dużych zbiorów danych 1000-2M13DZD
- Ekstremalna teoria grafów 1000-2M22ETG
- FinTech – Financial Technology 1000-2M17FT
- Geometria obliczeniowa 1000-2M00GO
- Geometria obrazu 1000-2M09GOB
- Głębokie sieci neuronowe 1000-317bDNN
- Głębokie sieci neuronowe (wspólne z 1000-317bDNN) 1000-2M16GSN
- Grafika komputerowa 1000-135GK
- Grafy rzadkie 1000-2M12GRZ
- Handel elektroniczny - wprowadzenie 1000-2M09OTA
- Informacja kwantowa 1000-2M22IKW
- Interdyscyplinarny projekt zespołowy 1000-720IPZ
- Inżynieria rozproszonej infrastruktury obliczeniowej 1000-2M20IRIO
- Języki, automaty i obliczenia II 1000-2M15ZTA
- Kombinatoryka słów 1000-2M16KS
- Kompresja danych - wprowadzenie 1000-2N09KDW
- Kryptografia 1000-2M12KI1
- Logika i teoria typów 1000-2M13LTT
- Narzędzia wnioskowania 1000-2M16NMW
- Natural language processing 1000-318bNLP
- Obliczenia superkomputerowe 1000-218bHPC
- Obliczeniowa teoria wyboru społecznego 1000-2M09OTW
- Optymalizacja wypukła 1000-2M22OW
- Podstawowe zagadnienia prawne przydatne w życiu informatyka 1000-2M05ZP
- Praktyczne aspekty realizacji systemów rozproszonych 1000-2M21PRS
- Programowanie mikrokontrolerów 1000-2M08PMK
- Programowanie w logice 1000-2N00PLO
- Programowanie w logice i w Prologu 1000-2M10PLO
- Przedsiębiorczość w małej firmie 1000-2M17PMF
- Przekształcenia automatowe 1000-2M23PA
- Przetwarzanie dużych danych i programowanie na klastrach 1000-218bPDD
- Rachunek lambda 1000-2M02RL
- Randomizacja w algorytmach i geometrii obliczeniowej 1000-2M20RGO
- Reinforcement learning 1000-318bRL
- Set theory, independence proofs and the continuum hypothesis 1000-2M23STI
- Sieci Petriego 1000-2M01SP
- Statystyczna analiza danych 1000-714SAD
- Statystyczna analiza danych 2 (wspólne z 1000-718SAD) 1000-2M13SAD2
- Sterowanie robotami 1000-317bRC
- Sterowanie robotami (wspólnie z 1000-317bRC) 1000-2M22RC
- Systemy rozproszone 1000-217bSR
- Systemy uczące się 1000-2N09SUS
- Systemy wieloagentowe 1000-2M00SW
- Sztuczna inteligencja i systemy doradcze 1000-2N00SID
- Teoria aukcji 1000-2M13TAU
- Teoria gier koalicyjnych 1000-2M12TGK
- Teoria implementacji 1000-2M16TIM
- Teoria informacji 1000-2N03TI
- Teoria kategorii w podstawach informatyki 1000-2M10TKI
- Teoria współbieżności 1000-218bTW
- Teorio-growe podejście do analizy sieci spolecznych 1000-2M14TGS
- Tworzenie aplikacji z gwiazdką 1000-2M23TAG
- Uczenie maszynowe w dużej skali 1000-319bBML
- Visual recognition 1000-318bVR
- Warsaw Mimotaurs I 1000-WMTAU1
- Warsaw Mimotaurs II 1000-WMTAU2
- Wnioskowanie i obliczenia aproksymacyjne 1000-1M00WA
- Wnioskowanie w systemach inteligentnych 1000-2N09WSS
- Wstęp do biologii obliczeniowej 1000-2N03BO
- Wybrane zagadnienia genomiki funkcjonalnej 1000-2M22TFG
- Wybrane zagadnienia geometrii obliczeniowej i topologii 1000-2M21GOT
- Wybrane zagadnienia kombinatoryki 1000-2M22WZK
- Wybrane zagadnienia matematyki dyskretnej 1000-2M07MD
- Wybrane zagadnienia teorii grafów 1000-2M12WTG
- Wyjaśnialne uczenie maszynowe 1000-319bEML
- Wykłady ze współczesnej informatyki 1000-2M11WWI
- Zaawansowana Java 1000-2M22ZJ
- Zaawansowane bazy danych 1000-2N09ZBD
- Zaawansowane programowanie funkcyjne 1000-2M11ZPF
- Zaawansowane systemy operacyjne 1000-2N09ZSO
- Zarządzanie projektami informatycznymi 1000-2M08ZPI
- Złożoność określania własności logicznych stwierdzeń 1000-2M23ZWL