Elective courses for Computer Science and Machine Learning
- (in Polish) Automaty, logika i gry 1000-2M22ALG
- (in Polish) Data engineering 1000-2M23DE
- (in Polish) Zaawansowane programowanie sieciowe 1000-2M24ZPS
- (in Polish) Idee i informatyka 1000-2M25III
- (in Polish) Data Summarization: Sketches, Coresets, and Geometric Summaries 1000-2M26DSS
- (in Polish) Dowodzenie twierdzeń w języku Lean 1000-2M26DTL
- Advanced databases 1000-2N09ZBD
- Advanced functional programming 1000-2M11ZPF
- Advanced topics in operating systems 1000-2N09ZSO
- Algorithmic aspects of game theory 1000-2M02AA
- Algorithmic Economics 1000-2M23ALE
- Algorithmic Model Theory 1000-2M24ATM
- Algorithmics 1000-2N00ALG
- Algorithms for genomic data analysis 1000-718ADG
- Algorithms in metric spaces 1000-2M25APM
- Applied cryptography 1000-2M25KST
- Approximate reasoning 1000-2M25WOA
- Artificial intelligence and expert systems 1000-2N00SID
- Auction theory 1000-2M13TAU
- Automata, matrices, codes 1000-2M25AMK
- Basic legal issues useful in programmer's life 1000-2M05ZP
- Big data mining and processing 1000-2M13DZD
- Big data processing and cluster computing 1000-218bPDD
- Blockchain programming 1000-2M24PZB
- Category theory in foundations of computer science 1000-2M10TKI
- Coalitional game theory 1000-2M12TGK
- Combinatorics on words 1000-2M16KS
- Comparative genomics 1000-719GP2
- Compiler construction 1000-217bMRJ
- Computational complexity 1000-218bZO
- Computational complexity II 1000-2M24ZAZ
- Computational geometry 1000-2M00GO
- Computational social choice theory 1000-2M09OTW
- Computer graphics 1000-135GK
- Convex optimization 1000-2M22OW
- Cryptography 2 1000-2M24KI2
- Cryptography I 1000-2M12KI1
- Cybersecurity Operations 1000-2M24OC
- Data mining 1000-2M03DM
- Deciding logical properties of statements and its complexity 1000-2M23ZWL
- Deep learning in life science 1000-2M23DLS
- Deep neural networks 1000-317bDNN
- Distributed systems 1000-217bSR
- Engineering Distributed Infrastructure 1000-2M20IRIO
- Entrepreneurship in a small company 1000-2M17PMF
- Explainable machine learning 1000-319bEML
- Extremal graph theory 1000-2M22ETG
- Finite Model Theory 1000-2M13TSK
- FinTech – financial technology 1000-2M17FT
- Formal power series: Theory and applications 1000-2M26FPS
- Formal verification 1000-2M25WER
- Functional programming 1000-2M24PFU
- Game-theoretic approach to social network analysis 1000-2M14TGS
- High performance computing 1000-218bHPC
- Implementation of database systems 1000-2M25IBD
- Implementation theory 1000-2M16TIM
- Infinite alphabets 1000-2M16AN
- Infinite automata 1000-2M22AN
- Information theory 1000-2N03TI
- Interdisciplinary team project 1000-720IPZ
- Introduction to computational biology 1000-2N03BO
- Introduction to Cybersecurity and Cryptography 1000-2M24WCK
- Introduction to data compression 1000-2N09KDW
- Introduction to electronic commerce 1000-2M09OTA
- Introduction to topological data analysis 1000-1M24TDA
- Lambda calculus 1000-2M02RL
- Languages, automata and computations II 1000-2M15ZTA
- Large-scale machine learning 1000-319bBML
- Lectures in Fair Division 1000-2M26LFD
- Lectures in modern computer science 1000-2M11WWI
- Logic and type theory 1000-2M13LTT
- Logic programming 1000-2N00PLO
- Logic programming and Prolog 1000-2M10PLO
- Logics for computer scientists 1000-217bLOG
- M'AI: Agents' Interaction 1000-1M24MAI
- M'AI: Neural ODEs 1000-1M25MNO
- Machine learning 1000-2N09SUS
- Managing software projects 1000-2M08ZPI
- Microcontrollers programming 1000-2M08PMK
- Modeling of complex biological systems 1000-719bMSB
- Multiagent systems 1000-2M00SW
- Natural language processing 1000-318bNLP
- Numerical methods 1000-2M24MNU
- Parameterized algorithms 1000-2M12APW
- Petri nets 1000-2M01SP
- Program Semantics and Verification 1000-2M24SWP
- Quantum Information 1000-2M22IKW
- Query Processing Algorithms 1000-2M25APZ
- Randomization in algorithms and computational geometry 1000-2M20RGO
- Reasoning in software systems 1000-2N09WSS
- Reasoning tools and methods 1000-2M16NMW
- Red-teaming, safety and explainability for artificial intelligence systems 1000-2M24RTS
- Reinforcement learning 1000-318bRL
- RNA Algorithms 1000-2M25RNA
- Robot control 1000-317bRC
- Selected problems in discrete mathematics 1000-2M07MD
- Selected Topics in Computational Geometry and Topology 1000-2M21GOT
- Selected topics in graph theory 1000-2M12WTG
- Shortest paths algorithms 1000-2M24ANS
- Social network analysis 1000-2M25ASI
- Sparsity 1000-2M12GRZ
- Statistical data analysis 2 1000-718SAD
- Technology and People: The Foundations of Modern IT 1000-2M25TIL
- Text algorithms 1000-2N09ALT
- Theory of concurrency 1000-218bTW
- Transducers 1000-2M23PA
- Visual geometry 1000-2M09GOB
- Visual recognition 1000-318bVR