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+
NTIN088	Algorithmic Randomness	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN089	Algorithmic Randomness 2	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN060	Algorithms and Data Structures 1	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN061	Algorithms and Data Structures 2	winter	winter s.:2/2, C+Ex [HT]	32-KAM	11320	no		no
NTIX061	Algorithms and Data Structures 2	winter	winter s.:2/2, C+Ex [HT]	32-STUD	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
NTIX071	Automata and Grammars	summer	summer s.:2/2, C+Ex [HT]	32-STUD	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-KSVI	11320	no		no
NAIL021	Boolean Functions and Their Applications	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL124	Exercises from Set Theory	summer	summer s.:0/2, C [HT]	32-KAM	11320	no		no
NTIX066	Data Structures I	both	2/1, C+Ex [HT]	32-KTIML	11320	no		no
NTIN066	Data Structures 1	both	2/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN067	Data Structures 2	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NDBI023	Data Mining	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NDBX023	Data Mining	summer	summer s.:4/2, C+Ex [HT]	32-STUD	11320	no		no
NTIN023	Dynamic Graph Data Structures	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN109	Elective class at NCSU Prague	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIX025	Evolutionary Algorithms I	winter	winter s.:2/2, C+Ex [HT]	32-STUD	11320	no		no
NAIX086	Evolutionary Algorithms II	summer	summer s.:2/2, C+Ex [HT]	32-STUD	11320	no		no
NAIL025	Evolutionary Algorithms 1	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIL086	Evolutionary Algorithms 2	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
NAIX065	Evolutionary Robotics	summer	summer s.:2/1, C+Ex [HT]	32-STUD	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 1	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN080	Formal Dependency Syntax 2	summer	summer 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
NAIX060	Neural Networks Implementation I	winter	winter s.:2/2, C+Ex [HT]	32-STUD	11320	no		no
NAIL060	Neural Networks Implementation 1	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIL015	Neural Networks Implementation 2	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NTIN103	Introduction to Parameterized Algorithms	winter	winter s.:2/2, C+Ex [HT]	32-IUUK	11320	no		no
NTIN112	Combinatorial generation: graphs, structures, and algorithms	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIX078	Lambda Calculus and Functional Programming I	winter	winter s.:2/1, C+Ex [HT]	32-STUD	11320	no		no
NAIL078	Lambda Calculus and Functional Programming 1	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL079	Lambda Calculus and Functional Programming 2	summer	summer s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL076	Logic Programming 1	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL077	Logic Programming 2	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
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
NTIN082	Nonuniform computational models	summer	summer s.:2/0, Ex [HT]	32-IUUK	11320	no		no
NAIX002	Neural Networks	winter	winter s.:4/2, C+Ex [HT]	32-STUD	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 1	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NTIN041	Parsing Schemes 2	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	summer	summer s.:2/2, C+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
NTIX022	Probabilistic Techniques	winter	winter s.:2/2, C+Ex [HT]	32-STUD	11320	no		no
NTIN022	Probabilistic Techniques	winter	winter s.:2/2, C+Ex [HT]	32-IUUK	11320	no		no
NTIN095	Probabilistic Techniques 2	summer	summer s.:2/2, C+Ex [HT]	32-IUUK	11320	no		no
NOPT042	Constraint Programming	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NOPX042	Constraint Programming	winter	winter s.:2/2, C+Ex [HT]	32-STUD	11320	no		no
NTIN114	Streaming algorithms for Big Data	summer	summer s.:2/0, Ex [HT]	32-IUUK	11320	no		no
NTIN096	Pseudo-Boolean Optimization	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN073	Recursion	winter	winter s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN074	Recursion 2	summer	summer s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL094	Decision procedures and SAT/SMT solvers	summer	summer s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIX094	Decision Procedures and Verification	summer	summer s.:2/2, C+Ex [HT]	32-STUD	11320	no		no
NTIN046	Parsing and Syntactic Analysis	both	0/2, C [HT]	32-KSVI	11320	no		no
NTIN107	Extension seminar Algorithms and Data Structures 1	summer	summer s.:0/2, C [HT]	32-KAM	11320	no		no
NTIN108	Extension seminar Algorithms and Data Structures 2	winter	winter s.:0/2, C [HT]	32-KAM	11320	no		no
NTIN101	Selected Topics in Algorithms	winter	winter s.:2/0, Ex [HT]	32-IUUK	11320	no		no
NTIN111	Selected Topics in Algorithms II	summer	summer 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 1	winter	winter s.:0/1, C [HT]	32-KTIML	11320	no		no
NAIL100	Seminar of machine learning and modelling 2	summer	summer s.:0/1, C [HT]	32-KTIML	11320	no		no
NDMI093	Seminar on algorithms and data structures	summer	summer s.:0/2, C [HT]	32-KAM	11320	no		no
NTIN093	Seminar on Boolean Functions 1	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NTIN094	Seminar on Boolean Functions 2	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NMAI075	Seminar on classification of homogeneous structures	winter	winter s.:0/2, C [HT]	32-KAM	11320	no		no
NAIL006	Seminar on Logic Programming 1	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL009	Seminar on Logic Programming 2	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
NAIX004	Seminar on Artificial Intelligence I	winter	winter s.:0/2, C [HT]	32-STUD	11320	no		no
NAIX052	Seminar on Artificial Intelligence II	summer	summer s.:0/2, C [HT]	32-STUD	11320	no		no
NAIL004	Seminar on Artificial Intelligence 1	winter	winter s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL052	Seminar on Artificial Intelligence 2	summer	summer s.:0/2, C [HT]	32-KTIML	11320	no		no
NAIL082	Seminar on Humanlike Artificial Agents	winter	winter s.:0/2, C [HT]	32-KSVI	11320	no		no
NTIN050	Seminar on Computational Complexity	both	0/2, C [HT]	32-KAM	11320	no		no
NSWI100	Seminar on Stringology and Data Compression	both	0/2, C [HT]	32-KSVI	11320	no		no
NTIX063	Complexity	summer	summer s.:2/1, C+Ex [HT]	32-STUD	11320	no		no
NTIN063	Complexity	summer	summer 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
NTIN097	Hypercube structures	winter	winter 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
NAIL063	Set Theory	summer	summer s.:2/0, Ex [HT]	32-KAM	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
NAIX069	Artificial Intelligence I	winter	winter s.:2/1, C+Ex [HT]	32-STUD	11320	no		no
NAIL069	Artificial Intelligence 1	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NAIL070	Artificial Intelligence 2	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NAIL133	Human-like Artificial Agents	summer	summer s.:1/2, C+Ex [HT]	32-KSVI	11320	no		no
NAIL068	Human-like Artificial Agents	summer	summer s.:2/2, C+Ex [HT]	32-KSVI	11320	no		no
NAIX068	Human-like Artificial Agents	summer	summer s.:2/2, C+Ex [HT]	32-STUD	11320	no		no
NMAG405	Universal Algebra 1	winter	winter s.:2/2, C+Ex [HT]	32-KA	11320	no		no
NAIX028	Introduction to Robotics	winter	winter s.:2/2, C+Ex [HT]	32-STUD	11320	no		no
NAIL028	Introduction to Robotics	winter	winter s.:2/2, C+Ex [HT]	32-KTIML	11320	no		no
NAIL087	Introduction To Computational Neuroscience I	winter	winter s.:3/1, C+Ex [HT]	32-KSVI	11320	no		no
NAIL088	Introduction To Computational Neuroscience II	summer	summer s.:3/1, C+Ex [HT]	32-KSVI	11320	no		no
NTIN110	Selected Topics in Data Structures	winter	winter s.:2/0, Ex [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
NTIN064	Computability	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NLTM021	Computability	summer	summer s.:2/0, Ex [HT]	32-SISAL	11320	no		no
NTIN065	Computability 2	summer	summer s.:2/0, Ex [HT]	32-KTIML	11320	no		no
NTIN081	Computational complexity and interactive protocols	summer	summer 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
NAIX062	Propositional and Predicate Logic	winter	winter s.:2/2, C+Ex [HT]	32-STUD	11320	no		no
NAIL019	Basic Seminar on Cell Activity Simulations on Computers	both	0/2, C [HT]	32-KAM	11320	no		no
NTIN090	Introduction to Complexity and Computability	winter	winter s.:2/1, C+Ex [HT]	32-KTIML	11320	no		no
NTIX090	Introduction to Complexity and Computability	winter	winter s.:2/1, C+Ex [HT]	32-STUD	11320	no		no