Předměty

Váš prohlížeč nepodporuje JavaScript nebo je jeho podpora vypnutá. Některé funkce nemusejí být dostupné.

Kategorizace předmětu > Informatika > Teoretická informatika

Kód	Název	Semestr	Rozsah, examinace	Katedra	Fakulta	Virtuál. mob.	Poč. míst
NAIL002	Neuronové sítě	zimní	zimní s.:4/2 Z+Zk [HT]	32-KTIML	11320	ne
NAIL004	Seminář z umělé inteligence 1	zimní	zimní s.:0/2 Z [HT]	32-KTIML	11320	ne
NAIL006	Seminář z logického programování 1	zimní	zimní s.:0/2 Z [HT]	32-KTIML	11320	ne
NAIL008	Pokročilý seminář k počítačové simulaci buněk	oba	0/2 Z [HT]	32-KAM	11320	ne
NAIL009	Seminář z logického programování 2	letní	letní s.:0/2 Z [HT]	32-KTIML	11320	ne
NAIL013	Aplikace teorie neuronových sítí	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL015	Implementace neuronových sítí 2	letní	letní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NAIL019	Základní seminář k počítačové simulaci činnosti buněk	oba	0/2 Z [HT]	32-KAM	11320	ne
NAIL021	Booleovské funkce a jejich aplikace	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL022	Metody logického programování	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL025	Evoluční algoritmy 1	zimní	zimní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NAIL026	Teoretické otázky neuronových sítí - aproximace	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL028	Úvod do robotiky	zimní	zimní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NAIL029	Strojové učení	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL031	Reprezentace booleovských funkcí	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL052	Seminář z umělé inteligence 2	letní	letní s.:0/2 Z [HT]	32-KTIML	11320	ne
NAIL054	Adaptivní agenti	letní	letní s.:0/2 Z [HT]	32-KTIML	11320	ne
NAIL056	Logický seminář I	zimní	zimní s.:0/2 Z [HT]	32-KA	11320	ne
NAIL060	Implementace neuronových sítí 1	zimní	zimní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NAIL062	Výroková a predikátová logika	zimní	zimní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NAIL063	Teorie množin	letní	letní s.:2/0 Zk [HT]	32-KAM	11320	ne
NAIL065	Evoluční robotika	letní	letní s.:2/1 Z+Zk [HT]	32-KSVI	11320	ne
NAIL068	Umělé bytosti	letní	letní s.:2/2 Z+Zk [HT]	32-KSVI	11320	ne
NAIL069	Umělá inteligence 1	zimní	zimní s.:2/1 Z+Zk [HT]	32-KTIML	11320	ne
NAIL070	Umělá inteligence 2	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL071	Plánování a rozvrhování	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL076	Logické programování 1	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL077	Logické programování 2	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL078	Lambda-kalkulus a funkcionální programování 1	zimní	zimní s.:2/1 Z+Zk [HT]	32-KTIML	11320	ne
NAIL079	Lambda-kalkulus a funkcionální programování 2	letní	letní s.:2/1 Z+Zk [HT]	32-KTIML	11320	ne
NAIL080	Logický seminář II	letní	letní s.:0/2 Z [HT]	32-KA	11320	ne
NAIL082	Seminář z umělých bytostí	oba	0/2 Z [HT]	32-KSVI	11320	ne
NAIL083	Matematické modely činnosti buněk	zimní	zimní s.:2/0 Zk [HT]	32-KAM	11320	ne
NAIL084	Počítačové simulace činnosti buněk	letní	letní s.:2/0 Zk [HT]	32-KAM	11320	ne
NAIL086	Evoluční algoritmy 2	letní	letní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NAIL087	Informatika a kognitivní vědy 1	zimní	zimní s.:3/1 Z+Zk [HT]	32-KSVI	11320	ne
NAIL088	Informatika a kognitivní vědy 2	letní	letní s.:3/1 Z+Zk [HT]	32-KSVI	11320	ne
NAIL092	Seminář ze splnitelnosti	letní	letní s.:0/2 Z [HT]	32-KTIML	11320	ne
NAIL093	Seminář z psaní vědeckých textů	letní	letní s.:0/1 Z [HT]	32-KSVI	11320	ne
NAIL094	Rozhodovací procedury a SAT/SMT řešiče	letní	letní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NAIL097	Funkcionální programování	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL099	Seminář strojového učení a modelování 1	zimní	zimní s.:0/1 Z [HT]	32-KTIML	11320	ne
NAIL100	Seminář strojového učení a modelování 2	letní	letní s.:0/1 Z [HT]	32-KTIML	11320	ne
NAIL103	Herní algoritmy	zimní	zimní s.:0/2 Z [HT]	32-KTIML	11320	ne
NAIL104	Pravděpodobnostní grafické modely	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NAIL124	Cvičení z teorie množin	letní	letní s.:0/2 Z [HT]	32-KAM	11320	ne
NAIX002	Neuronové sítě	zimní	zimní s.:4/2 Z+Zk [HT]	32-STUD	11320	ne
NAIX004	Seminář z umělé inteligence I	zimní	zimní s.:0/2 Z [HT]	32-STUD	11320	ne
NAIX025	Evoluční algoritmy I	zimní	zimní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NAIX028	Úvod do robotiky	zimní	zimní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NAIX052	Seminář z umělé inteligence II	letní	letní s.:0/2 Z [HT]	32-STUD	11320	ne
NAIX060	Implementace neuronových sítí I	zimní	zimní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NAIX062	Výroková a predikátová logika	zimní	zimní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NAIX065	Evoluční robotika	letní	letní s.:2/1 Z+Zk [HT]	32-STUD	11320	ne
NAIX068	Umělé bytosti	letní	letní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NAIX069	Umělá inteligence I	zimní	zimní s.:2/1 Z+Zk [HT]	32-STUD	11320	ne
NAIX078	Lambda-kalkulus a funkcionální programování I	zimní	zimní s.:2/1 Z+Zk [HT]	32-STUD	11320	ne
NAIX086	Evoluční algoritmy II	letní	letní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NAIX094	Rozhodovací procedury a verifikace	letní	letní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NDBI023	Dobývání znalostí	letní	letní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NDBX023	Dobývání znalostí	letní	letní s.:4/2 Z+Zk [HT]	32-STUD	11320	ne
NDMI074	Algoritmy a jejich implementace	letní	letní s.:2/2 Z+Zk [HT]	32-KAM	11320	ne
NDMI093	Seminář z algoritmů a datových struktur	letní	letní s.:0/2 Z [HT]	32-KAM	11320	ne
NDMI103	Intenzivní kurz diskrétní matematiky a teoretické informatiky I	letní	letní s.:2/1 Z+Zk [HT]	32-IUUK	11320	ne
NDMI104	Intenzivní kurz diskrétní matematiky a teoretické informatiky II	letní	letní s.:2/1 Z+Zk [HT]	32-IUUK	11320	ne
NDMX074	Algoritmy a jejich implementace	letní	letní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NLTM001	Teorie množin	letní	letní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NLTM006	Základy matematické logiky	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NLTM011	Pokročilá teorie modelů	letní	letní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NLTM021	Vyčíslitelnost	letní	letní s.:2/0 Zk [HT]	32-SISAL	11320	ne
NLTM030	Úvod do teorie množin	zimní	zimní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NLTM036	Základní nestandardní seminář	letní	letní s.:0/2 Z [HT]	32-KTIML	11320	ne
NMAG405	Universální algebra 1	zimní	zimní s.:2/2 Z+Zk [HT]	32-KA	11320	ne
NMAI075	Seminář z klasifikace homogenních struktur	zimní	zimní s.:0/2 Z [HT]	32-KAM	11320	ne
NMMB431	Autentifikační schémata	letní	letní s.:2/0 Zk [HT]	32-KA	11320	ne
NOPT042	Programování s omezujícími podmínkami	zimní	zimní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NOPX042	Programování s omezujícími podmínkami	zimní	zimní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NSWI072	Algoritmy komprese dat	zimní	zimní s.:2/0 Zk [HT]	32-KSVI	11320	ne
NSWI100	Seminář ze stringologie a komprese dat	oba	0/2 Z [HT]	32-KSVI	11320	ne
NTIN004	Seminář paralelní algoritmy	oba	0/2 Z [HT]	32-KTIML	11320	ne
NTIN006	Algebraické algoritmy	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN017	Paralelní algoritmy	letní	letní s.:2/0 Zk [HT]	32-KSVI	11320	ne
NTIN018	Pravděpodobnostní analýza algoritmů	zimní	zimní s.:2/0 Zk [HT]	32-KDSS	11320	ne
NTIN022	Pravděpodobnostní techniky	zimní	zimní s.:2/2 Z+Zk [HT]	32-IUUK	11320	ne
NTIN023	Dynamické grafové datové struktury	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN032	Seminář o dynamických datových strukturách	letní	letní s.:0/2 Z [HT]	32-KTIML	11320	ne
NTIN033	Experimentální analýza algoritmů	letní	letní s.:2/2 Z+Zk [HT]	32-KDSS	11320	ne
NTIN040	Parsing schémata 1	zimní	zimní s.:0/2 Z [HT]	32-KTIML	11320	ne
NTIN041	Parsing schémata 2	letní	letní s.:0/2 Z [HT]	32-KTIML	11320	ne
NTIN042	Paralelní algoritmy	letní	letní s.:2/0 Zk [HT]	32-KAM	11320	ne
NTIN043	Formální základy softwarového inženýrství	zimní	zimní s.:2/2 Z+Zk [HT]	32-KSI	11320	ne
NTIN046	Rozpoznávání a syntaktická analýza	oba	0/2 Z [HT]	32-KSVI	11320	ne
NTIN050	Seminář z výpočetní složitosti	oba	0/2 Z [HT]	32-KAM	11320	ne
NTIN055	Paralelní architektury	zimní	zimní s.:2/0 Zk [HT]	32-KAM	11320	ne
NTIN058	Třídění	zimní	zimní s.:2/0 Zk [HT]	32-KDSS	11320	ne
NTIN060	Algoritmy a datové struktury 1	letní	letní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NTIN061	Algoritmy a datové struktury 2	zimní	zimní s.:2/2 Z+Zk [HT]	32-KAM	11320	ne
NTIN063	Složitost	letní	letní s.:2/1 Z+Zk [HT]	32-KTIML	11320	ne
NTIN064	Vyčíslitelnost	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN065	Vyčíslitelnost 2	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN066	Datové struktury 1	oba	2/2 Z+Zk [HT]	32-KTIML	11320	ne
NTIN067	Datové struktury 2	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN070	Testování software	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN071	Automaty a gramatiky	letní	letní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NTIN072	Seminář z aproximačních a online algoritmů	oba	0/2 Z [HT]	32-IUUK	11320	ne
NTIN073	Rekurze	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN074	Rekurze 2	letní	letní s.:2/1 Z+Zk [HT]	32-KTIML	11320	ne
NTIN079	Formální závislostní syntax 1	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN080	Formální závislostní syntax 2	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN081	Výpočetní složitost a interaktivni protokoly	letní	letní s.:2/0 Zk [HT]	32-IUUK	11320	ne
NTIN082	Neuniformní výpočetní modely	letní	letní s.:2/0 Zk [HT]	32-IUUK	11320	ne
NTIN084	Bioinformatické algoritmy	zimní	zimní s.:2/2 Z+Zk [HT]	32-KSVI	11320	ne
NTIN085	Vybrané kapitoly z výpočetní složitosti I	zimní	zimní s.:2/1 Z+Zk [HT]	32-IUUK	11320	ne
NTIN086	Vybrané kapitoly z výpočetní složitosti II	letní	letní s.:2/1 Z+Zk [HT]	32-IUUK	11320	ne
NTIN087	Textové algoritmy	zimní	zimní s.:2/0 Zk [HT]	32-KSVI	11320	ne
NTIN088	Algoritmická náhodnost	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN089	Algoritmická náhodnost 2	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN090	Základy složitosti a vyčíslitelnosti	zimní	zimní s.:2/1 Z+Zk [HT]	32-KTIML	11320	ne
NTIN093	Seminář z Booleovských funkcí 1	zimní	zimní s.:0/2 Z [HT]	32-KTIML	11320	ne
NTIN094	Seminář z Booleovských funkcí 2	letní	letní s.:0/2 Z [HT]	32-KTIML	11320	ne
NTIN095	Pravděpodobnostní techniky 2	letní	letní s.:2/2 Z+Zk [HT]	32-IUUK	11320	ne
NTIN096	Pseudo-Booleovská optimalizace	letní	letní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN097	Struktury v hyperkrychlích	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIN101	Selected Topics in Algorithms	zimní	zimní s.:2/0 Zk [HT]	32-IUUK	11320	ne
NTIN103	Introduction to Parameterized Algorithms	zimní	zimní s.:2/2 Z+Zk [HT]	32-KAM	11320	ne
NTIN107	Rozšiřující seminář Algoritmy a datové struktury 1	letní	letní s.:0/2 Z [HT]	32-KAM	11320	ne
NTIN108	Rozšiřující seminář Algoritmy a datové struktury 2	zimní	zimní s.:0/2 Z [HT]	32-KAM	11320	ne
NTIN109	Elective class at NCSU Prague	letní	letní s.:2/2 Z+Zk [HT]	32-KTIML	11320	ne
NTIN110	Vybrané kapitoly z datových struktur	zimní	zimní s.:2/0 Zk [HT]	32-KAM	11320	ne
NTIN111	Selected Topics in Algorithms II	letní	letní s.:2/0 Zk [HT]	32-IUUK	11320	ne
NTIN112	Kombinatorické generování: grafy, struktury a algoritmy	zimní	zimní s.:2/0 Zk [HT]	32-KTIML	11320	ne
NTIX022	Pravděpodobnostní techniky	zimní	zimní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NTIX033	Experimentální analýza algoritmů	letní	letní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NTIX061	Algoritmy a datové struktury 2	zimní	zimní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NTIX063	Složitost	letní	letní s.:2/1 Z+Zk [HT]	32-STUD	11320	ne
NTIX071	Automaty a gramatiky	letní	letní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NTIX084	Bioinformatické algoritmy	zimní	zimní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne
NTIX085	Vybrané kapitoly z výpočetní složitosti I	zimní	zimní s.:2/1 Z+Zk [HT]	32-STUD	11320	ne
NTIX086	Vybrané kapitoly z výpočetní složitosti II	letní	letní s.:2/1 Z+Zk [HT]	32-STUD	11320	ne
NTIX090	Základy složitosti a vyčíslitelnosti	zimní	zimní s.:2/1 Z+Zk [HT]	32-STUD	11320	ne
NTIX103	Introduction to Parameterized Algorithms	zimní	zimní s.:2/2 Z+Zk [HT]	32-STUD	11320	ne