Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Classification > Informatics > Theoretical Computer Science

Code	Title	Semester	Hours per week, examination	Department	Faculty	Virtual mobility	Capacity	4EU+
NAIL054	Adaptive Agents	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NTIN006	Algebraic Algorithms	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN088	Algorithmic Randomness	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN089	Algorithmic Randomness II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN060	Algorithms and Data Structures I	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN061	Algorithms and Data Structures II	winter	winter s.:2/2, C+Ex [HT]	32-KAM	11320	no		no
NDMI074	Algorithms and Their Implementation	summer	summer s.:2/2, C+Ex [HT]	32-KAM	11320	no		no
NSWI072	Data Compression Algorithms	winter	winter s.:2/0, Ex [HT]	32-KSVI	11320	no		no
NAIL013	Applications of Neural Networks Theory	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NMMB431	Authentication Schemes	summer	summer s.:2/0, Ex [HT]	32-KA	11320	no		no
NTIN071	Automata and Grammars	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN084	Bioinformatics Algorithms	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIL021	Boolean Functions and Their Applications	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NLTM026	Boolean Algebras	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN066	Data Structures I	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NTIN067	Data Structures II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NDBI023	Data Mining	summer	summer s.:4/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN023	Dynamic Graph Data Structures	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL025	Evolutionary Algorithms I	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIL086	Evolutionary Algorithms II	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIL065	Evolutionary Robotics	summer	summer s.:2/1, C+Ex [HT]	32-KSVI	11320	no		no
NTIN033	Experimental Analysis of Algorithms	summer	summer s.:2/2, C+Ex [HT]	32-KDSS	11320	no		no
NTIN043	Formal Foundations of Software Engineering	winter	winter s.:2/2, C+Ex [HT]	32-KSI	11320	no		no
NTIN079	Formal Dependency Syntax I	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN080	Formal Dependency Syntax II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NLTM003	Forcing	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL097	Functional programming	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL103	Game Algorithms	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL060	Neural Networks Implementation I	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIL015	Neural Networks Implementation II	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIL087	Computers and Cognitive Sciences I	winter	winter s.:3/1, C+Ex [HT]	32-KSVI	11320	no		no
NAIL088	Computers and Cognitive Sciences II	summer	summer s.:3/1, C+Ex [HT]	32-KSVI	11320	no		no
NAIL078	Lambda Calculus and Functional Programming I	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL079	Lambda Calculus and Functional Programming II	summer	summer s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL076	Logic Programming I	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL077	Logic Programming II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL056	Seminar on Logic I	winter	winter s.:0/2, C [HT]	32-KA	11320	no		no
NAIL080	Seminar on Logic II	summer	summer s.:0/2, C [HT]	32-KA	11320	no		no
NUMP016	Logic and Set Theory	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NMUE023	Logic and Set Theory	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NMUM818	Logic and Set Theory (CŽV)	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL083	Mathematical Models of Cell Activity	winter	winter s.:2/0, Ex [HT]	32-KAM	11320	no		no
NAIL022	Methods of Logic Programming	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL002	Neural Networks	winter	winter s.:4/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN042	Parallel Algorithms	summer	summer s.:2/0, Ex [HT]	32-KAM	11320	no		no
NTIN017	Parallel Algorithms	summer	summer s.:2/0, Ex [HT]	32-KSVI	11320	no		no
NTIN055	Parallel Architectures	winter	winter s.:2/0, Ex [HT]	32-KAM	11320	no		no
NTIN040	Parsing Schemes I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NTIN041	Parsing Schemes II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL071	Planning and Scheduling	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL084	Computer Simulations of Cell Activity	summer	summer s.:2/0, Ex [HT]	32-KAM	11320	no		no
NLTM011	Advanced Model Theory	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN098	Advanced Data Structures	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL008	Advanced Seminar on Cell Simulations on Computers	both	0/2, C [HT]	32-KAM	11320	no		no
NTIN018	Probabilistic Analysis of Algorithms	winter	winter s.:2/0, Ex [HT]	32-KDSS	11320	no		no
NAIL104	Probabilistic graphical models	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN095	Probabilistic method II	winter	winter s.:2/2, C+Ex [HT]	32-KAM	11320	no		no
NTIN022	Probabilistic Techniques	winter	winter s.:2/2, C+Ex [HT]	32-IUUK	11320	no		no
NTIN097	Hypercube Problems	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NOPT042	Constraint Programming	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NALG011	Term Rewriting Systems	winter	winter s.:2/0, --- [HT] summer s.:2/0, Ex [HT]	32-KA	11320	no		no
NPOZ004	Natural and Artificial Thought I	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NPOZ005	Natural and Artificial Thought II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN096	Pseudo-Boolean Optimization	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NLTM038	Referative seminar on substructural logics	summer	summer s.:0/2, C [HT]	32-IUUK	11320	no		no
NTIN073	Recursion	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN074	Recursion II	summer	summer s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL031	Representations of Boolean Functions	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL094	Decision Procedures and Verification	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN046	Parsing and Syntactic Analysis	both	0/2, C [HT]	32-KSVI	11320	no		no
NTIN101	Selected Topics in Algorithms	winter	winter s.:2/0, Ex [HT]	32-IUUK	11320	no		no
NTIN032	Seminar on Dynamic Data Structures	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NTIN004	Seminar on Parallel Algorithms	both	0/2, C [HT]	32-KTIML	11320	no		no
NAIL099	Seminar of machine learning and modelling I	winter	winter s.:0/1, C [HT]	32-KTIML	11320	no		no
NAIL100	Seminar of machine learning and modelling II	summer	summer s.:0/1, C [HT]	32-KTIML	11320	no		no
NTIN072	Seminar on Approximation and Online Algorithms	both	0/2, C [HT]	32-IUUK	11320	no		no
NTIN093	Seminar on Boolean Functions I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NTIN094	Seminar on Boolean Functions II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NTIN083	Seminar on Data Structures I	winter	winter s.:0/2, C [HT]	32-KDSS	11320	no		no
NTIN021	Seminar on Data Structures II	summer	summer s.:0/2, C [HT]	32-KDSS	11320	no		no
NLTM004	Seminar on Forcing	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL006	Seminar on Logic Programming I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL009	Seminar on Logic Programming II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NLTM034	Seminar on Reckoning I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NLTM035	Seminar on Reckoning II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL093	Science writing workshop	summer	summer s.:0/1, C [HT]	32-KSVI	11320	no		no
NAIL004	Seminar on Artificial Intelligence I	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL052	Seminar on Artificial Intelligence II	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL082	Seminar on Humanlike Artificial Agents	both	0/2, C [HT]	32-KSVI	11320	no		no
NTIN050	Seminar on Computational Complexity	both	0/2, C [HT]	32-KAM	11320	no		no
NAIL092	Seminar on satisfiability	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NSWI100	Seminar on Stringology and Data Compression	both	0/2, C [HT]	32-KSVI	11320	no		no
NTIN063	Complexity	summer	summer s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NTIN062	Complexity I	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL029	Machine Learning	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN081	Structural Complexity	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NLTM040	Substructural logics	winter	winter s.:2/0, Ex [HT]	32-IUUK	11320	no		no
NAIL026	Theoretical Issues in Neural Networks - Approximation	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL063	Set Theory	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NLTM001	Set Theory	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN070	Software Testing	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN087	String Algorithms	winter	winter s.:2/0, Ex [HT]	32-KSVI	11320	no		no
NTIN058	Sorting	winter	winter s.:2/0, Ex [HT]	32-KDSS	11320	no		no
NAIL069	Artificial Intelligence I	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL070	Artificial Intelligence II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL068	Human-like Artificial Agents	summer	summer s.:2/2, C+Ex [HT]	32-KSVI	11320	no		no
NMAG405	Universal Algebra 1	winter	winter s.:2/2, C+Ex [HT]	32-KA	11320	no		no
NALG103	Universal Algebra I	summer	summer s.:2/2, C+Ex [HT]	32-KA	11320	no		no
NAIL028	Introduction to Robotics	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NLTM030	Introduction to Set Theory	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIL090	Virtual biological laboratories I	winter	winter s.:0/2, C [HT]	32-KAM	11320	no		no
NAIL091	Virtual biological laboratories II	summer	summer s.:0/2, C [HT]	32-KAM	11320	no		no
NTIN085	Selected Topics in Computational Complexity I	winter	winter s.:2/1, C+Ex [HT]	32-IUUK	11320	no		no
NTIN086	Selected Topics in Computational Complexity II	summer	summer s.:2/1, C+Ex [HT]	32-IUUK	11320	no		no
NLTM021	Computability	summer	summer s.:2/0, Ex [HT]	32-KNM	11320	no		no
NTIN064	Computability	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN065	Computability II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN082	Computational Complexity	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NLTM039	Computational complexity of substructural logics	winter	winter s.:2/0, Ex [HT]	32-IUUK	11320	no		no
NAIL062	Propositional and Predicate Logic	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NLTM036	Basic Nonstandard Seminar	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL019	Basic Seminar on Cell Activity Simulations on Computers	both	0/2, C [HT]	32-KAM	11320	no		no
NLTM006	Fundamentals of Mathematical Logic	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN090	Introduction to Complexity and Computability	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL059	Knowledge in Multiagent Systems I	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL081	Knowledge in Multiagent Systems II	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no