Przedmioty obieralne dla informatyki i ML
- Alfabety nieskończone 1000-2M16AN
- Algorytmiczna teoria modeli 1000-2M24ATM
- Algorytmiczne aspekty teorii gier 1000-2M02AA
- Algorytmika 1000-2N00ALG
- Algorytmika przestrzeni metrycznych 1000-2M25APM
- Algorytmika przetwarzania zapytań 1000-2M25APZ
- Algorytmy analizy danych genomicznych 1000-718ADG
- Algorytmy najkrótszych ścieżek 1000-2M24ANS
- Algorytmy parametryzowane 1000-2M12APW
- Algorytmy RNA 1000-2M25RNA
- Algorytmy tekstowe 1000-2N09ALT
- Analiza adwersaryjna, bezpieczeństwo i wyjaśnialność systemów sztucznej inteligencji 1000-2M24RTS
- Analiza sieci społecznych 1000-2M25ASI
- Automaty nieskończone 1000-2M22AN
- Automaty, logika i gry 1000-2M22ALG
- Automaty, macierze, kody 1000-2M25AMK
- Data engineering 1000-2M23DE
- Data mining 1000-2M03DM
- Deep learning in life science 1000-2M23DLS
- Ekonomia algorytmiczna 1000-2M23ALE
- Eksploracja i przetwarzanie dużych zbiorów danych 1000-2M13DZD
- Ekstremalna teoria grafów 1000-2M22ETG
- FinTech – Financial Technology 1000-2M17FT
- Funkcyjne programowanie sieciowe 1000-2M24FPS
- Genomika porównawcza 1000-719GP2
- Geometria obliczeniowa 1000-2M00GO
- Geometria obrazu 1000-2M09GOB
- Głębokie sieci neuronowe 1000-317bDNN
- Grafika komputerowa 1000-135GK
- Grafy rzadkie 1000-2M12GRZ
- Handel elektroniczny - wprowadzenie 1000-2M09OTA
- Idee i informatyka 1000-2M25III
- Implementacja systemów baz danych 1000-2M25IBD
- Informacja kwantowa 1000-2M22IKW
- Interdyscyplinarny projekt zespołowy 1000-720IPZ
- Introduction to topological data analysis 1000-1M24TDA
- 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 I 1000-2M12KI1
- Kryptografia II 1000-2M24KI2
- Kryptografia stosowana 1000-2M25KST
- Logika dla informatyków 1000-217bLOG
- Logika i teoria typów 1000-2M13LTT
- Metody numeryczne (d. 1000-215bMNU) 1000-2M24MNU
- Metody realizacji języków programowania 1000-217bMRJ
- Narzędzia wnioskowania 1000-2M16NMW
- Natural language processing 1000-318bNLP
- Obliczenia superkomputerowe 1000-218bHPC
- Obliczeniowa teoria wyboru społecznego 1000-2M09OTW
- Operacje cyberbezpieczeństwa 1000-2M24OC
- Optymalizacja wypukła 1000-2M22OW
- Podstawowe zagadnienia prawne przydatne w życiu informatyka 1000-2M05ZP
- Programowanie funkcyjne 1000-2M24PFU
- Programowanie mikrokontrolerów 1000-2M08PMK
- Programowanie w logice 1000-2N00PLO
- Programowanie w logice i w Prologu 1000-2M10PLO
- Programowanie z blockchainem 1000-2M24PZB
- 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
- Semantyka i weryfikacja programów (d. 1000-215bSWP) 1000-2M24SWP
- Set theory, independence proofs and the continuum hypothesis 1000-2M23STI
- Sieci Petriego 1000-2M01SP
- Statystyczna analiza danych 2 1000-718SAD
- Sterowanie robotami 1000-317bRC
- Systemy rozproszone 1000-217bSR
- Systemy uczące się 1000-2N09SUS
- Systemy wieloagentowe 1000-2M00SW
- Sztuczna inteligencja i systemy doradcze 1000-2N00SID
- Technologia i ludzie: fundamenty nowoczesnego IT 1000-2M25TIL
- Teoria aukcji 1000-2M13TAU
- Teoria gier koalicyjnych 1000-2M12TGK
- Teoria implementacji 1000-2M16TIM
- Teoria informacji 1000-2N03TI
- Teoria kategorii w podstawach informatyki 1000-2M10TKI
- 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
- Weryfikacja formalna 1000-2M25WER
- Wnioskowanie i obliczenia aproksymacyjne 1000-2M25WOA
- Wnioskowanie w systemach inteligentnych 1000-2N09WSS
- Wstęp do biologii obliczeniowej 1000-2N03BO
- Wstęp do cyberbezpieczeństwa i kryptografii 1000-2M24WCK
- Wybrane zagadnienia geometrii obliczeniowej i topologii 1000-2M21GOT
- 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
- Zaawansowane bazy danych 1000-2N09ZBD
- Zaawansowane programowanie funkcyjne 1000-2M11ZPF
- Zaawansowane programowanie sieciowe 1000-2M24ZPS
- Zaawansowane systemy operacyjne 1000-2N09ZSO
- Zarządzanie projektami informatycznymi 1000-2M08ZPI
- Złożoność obliczeniowa 1000-218bZO
- Złożoność obliczeniowa II 1000-2M24ZAZ
- Złożoność określania własności logicznych stwierdzeń 1000-2M23ZWL