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	4EU+
NAIL054	Adaptivní agenti	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NTIN006	Algebraické algoritmy	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN088	Algoritmická náhodnost I	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN089	Algoritmická náhodnost II	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN060	Algoritmy a datové struktury I	letní	letní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NTIN061	Algoritmy a datové struktury II	zimní	zimní s.:2/2, Z+Zk [HT]	32-KAM	11320	ne		ne
NDMI074	Algoritmy a jejich implementace	letní	letní s.:2/2, Z+Zk [HT]	32-KAM	11320	ne		ne
NSWI072	Algoritmy komprese dat	zimní	zimní s.:2/0, Zk [HT]	32-KSVI	11320	ne		ne
NAIL013	Aplikace teorie neuronových sítí	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NMMB431	Autentifikační schémata	letní	letní s.:2/0, Zk [HT]	32-KA	11320	ne		ne
NTIN071	Automaty a gramatiky	letní	letní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NTIN084	Bioinformatické algoritmy	zimní	zimní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL021	Booleovské funkce a jejich aplikace	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NLTM026	Booleovy algebry	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN066	Datové struktury I	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN067	Datové struktury II	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NDBI023	Dobývání znalostí	letní	letní s.:4/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NTIN023	Dynamické grafové datové struktury	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL025	Evoluční algoritmy I	zimní	zimní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL086	Evoluční algoritmy II	letní	letní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL065	Evoluční robotika	letní	letní s.:2/1, Z+Zk [HT]	32-KSVI	11320	ne		ne
NTIN033	Experimentální analýza algoritmů	letní	letní s.:2/2, Z+Zk [HT]	32-KDSS	11320	ne		ne
NTIN043	Formální základy softwarového inženýrství	letní	letní s.:2/2, Z+Zk [HT]	32-KSI	11320	ne		ne
NTIN079	Formální závislostní syntax I	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN080	Formální závislostní syntax II	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NLTM003	Forsing	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL097	Funkcionální programování	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL103	Herní algoritmy	zimní	zimní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NAIL060	Implementace neuronových sítí I	zimní	zimní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL015	Implementace neuronových sítí II	letní	letní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL087	Informatika a kognitivní vědy I	zimní	zimní s.:3/1, Z+Zk [HT]	32-KSVI	11320	ne		ne
NAIL088	Informatika a kognitivní vědy II	letní	letní s.:3/1, Z+Zk [HT]	32-KSVI	11320	ne		ne
NAIL078	Lambda-kalkulus a funkcionální programování I	zimní	zimní s.:2/1, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL079	Lambda-kalkulus a funkcionální programování II	letní	letní s.:2/1, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL076	Logické programování I	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL077	Logické programování II	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL056	Logický seminář I	zimní	zimní s.:0/2, Z [HT]	32-KA	11320	ne		ne
NAIL080	Logický seminář II	letní	letní s.:0/2, Z [HT]	32-KA	11320	ne		ne
NUMP016	Logika a teorie množin	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NMUE023	Logika a teorie množin	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NMUM818	Logika a teorie množin (CŽV)	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL083	Matematické modely činnosti buněk	zimní	zimní s.:2/0, Zk [HT]	32-KAM	11320	ne		ne
NAIL022	Metody logického programování	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL002	Neuronové sítě	zimní	zimní s.:4/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NTIN042	Paralelní algoritmy	letní	letní s.:2/0, Zk [HT]	32-KAM	11320	ne		ne
NTIN017	Paralelní algoritmy	letní	letní s.:2/0, Zk [HT]	32-KSVI	11320	ne		ne
NTIN055	Paralelní architektury	zimní	zimní s.:2/0, Zk [HT]	32-KAM	11320	ne		ne
NTIN040	Parsing schémata I	zimní	zimní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NTIN041	Parsing schémata II	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NAIL071	Plánování a rozvrhování	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL084	Počítačové simulace činnosti buněk	letní	letní s.:2/0, Zk [HT]	32-KAM	11320	ne		ne
NLTM011	Pokročilá teorie modelů	letní	letní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NTIN098	Pokročilé datové struktury	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL008	Pokročilý seminář k počítačové simulaci buněk	oba	0/2, Z [HT]	32-KAM	11320	ne		ne
NTIN018	Pravděpodobnostní analýza algoritmů	zimní	zimní s.:2/0, Zk [HT]	32-KDSS	11320	ne		ne
NAIL104	Pravděpodobnostní grafické modely	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN022	Pravděpodobnostní metoda	zimní	zimní s.:2/2, Z+Zk [HT]	32-KAM	11320	ne		ne
NTIN095	Pravděpodobnostní metoda II	zimní	zimní s.:2/2, Z+Zk [HT]	32-KAM	11320	ne		ne
NTIN056	Pravděpodobnostní modely v informatice	zimní	zimní s.:2/0, Zk [HT]	32-KDSS	11320	ne		ne
NTIN097	Problémy na hyperkrychlích	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NOPT042	Programování s omezujícími podmínkami	zimní	zimní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NALG011	Přepisující systémy	zimní	zimní s.:2/0, --- [HT] letní s.:2/0, Zk [HT]	32-KA	11320	ne		ne
NPOZ004	Přirozené a umělé myšlení I	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NPOZ005	Přirozené a umělé myšlení II	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN096	Pseudo-Booleovská optimalizace	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NLTM038	Referativní seminář ze substrukturálních logik	letní	letní s.:0/2, Z [HT]	32-IUUK	11320	ne		ne
NTIN073	Rekurze I	zimní	zimní s.:2/1, Z+Zk [HT]	32-KTIML	11320	ne		ne
NTIN074	Rekurze II	letní	letní s.:2/1, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL031	Reprezentace booleovských funkcí	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL094	Rozhodovací procedury a verifikace	zimní	zimní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NTIN046	Rozpoznávání a syntaktická analýza	oba	0/2, Z [HT]	32-KSVI	11320	ne		ne
NAIL072	Rozpoznávání vzorů	letní	letní s.:2/0, Zk [HT]	32-KSI	11320	ne		ne
NTIN044	Sémantika programovacích jazyků	letní	letní s.:2/1, Z+Zk [HT]	32-KSI	11320	ne		ne
NTIN032	Seminář o dynamických datových strukturách	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NTIN004	Seminář paralelní algoritmy	oba	0/2, Z [HT]	32-KTIML	11320	ne		ne
NAIL099	Seminář strojového učení a modelování I	zimní	zimní s.:0/1, Z [HT]	32-KTIML	11320	ne		ne
NAIL100	Seminář strojového učení a modelování II	letní	letní s.:0/1, Z [HT]	32-KTIML	11320	ne		ne
NTIN072	Seminář z aproximačních a online algoritmů	oba	0/2, Z [HT]	32-IUUK	11320	ne		ne
NTIN093	Seminář z Booleovských funkcí I	zimní	zimní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NTIN094	Seminář z Booleovských funkcí II	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NTIN083	Seminář z datových struktur I	zimní	zimní s.:0/2, Z [HT]	32-KDSS	11320	ne		ne
NTIN021	Seminář z datových struktur II	letní	letní s.:0/2, Z [HT]	32-KDSS	11320	ne		ne
NLTM004	Seminář z forsingu	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NAIL006	Seminář z logického programování I	zimní	zimní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NAIL009	Seminář z logického programování II	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NLTM034	Seminář z počtů I	zimní	zimní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NLTM035	Seminář z počtů II	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NAIL093	Seminář z psaní vědeckých textů	letní	letní s.:0/1, Z [HT]	32-KSVI	11320	ne		ne
NAIL004	Seminář z umělé inteligence I	zimní	zimní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NAIL052	Seminář z umělé inteligence II	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NAIL082	Seminář z umělých bytostí	oba	0/2, Z [HT]	32-KSVI	11320	ne		ne
NTIN050	Seminář z výpočetní složitosti	oba	0/2, Z [HT]	32-KAM	11320	ne		ne
NAIL092	Seminář ze splnitelnosti	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NSWI100	Seminář ze stringologie a komprese dat	oba	0/2, Z [HT]	32-KSVI	11320	ne		ne
NTIN062	Složitost I	zimní	zimní s.:2/1, Z+Zk [HT]	32-KTIML	11320	ne		ne
NTIN063	Složitost II	letní	letní s.:2/1, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL029	Strojové učení	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN081	Strukturální složitost I	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN082	Strukturální složitost II	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NLTM040	Substrukturální logiky	zimní	zimní s.:2/0, Zk [HT]	32-IUUK	11320	ne		ne
NAIL026	Teoretické otázky neuronových sítí - aproximace	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL063	Teorie množin	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NLTM001	Teorie množin	zimní	zimní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NTIN070	Testování software	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN087	Textové algoritmy	zimní	zimní s.:2/0, Zk [HT]	32-KSVI	11320	ne		ne
NTIN058	Třídění	zimní	zimní s.:2/0, Zk [HT]	32-KDSS	11320	ne		ne
NAIL069	Umělá inteligence I	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL070	Umělá inteligence II	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL068	Umělé bytosti	letní	letní s.:2/2, Z+Zk [HT]	32-KSVI	11320	ne		ne
NMAG405	Universální algebra 1	zimní	zimní s.:2/2, Z+Zk [HT]	32-KA	11320	ne		ne
NALG103	Univerzální algebra I	letní	letní s.:2/2, Z+Zk [HT]	32-KA	11320	ne		ne
NAIL028	Úvod do robotiky	zimní	zimní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NLTM030	Úvod do teorie množin	zimní	zimní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL090	Virtuální biologické laboratoře I	zimní	zimní s.:0/2, Z [HT]	32-KAM	11320	ne		ne
NAIL091	Virtuální biologické laboratoře II	letní	letní s.:0/2, Z [HT]	32-KAM	11320	ne		ne
NTIN085	Vybrané kapitoly z výpočetní složitosti I	zimní	zimní s.:2/1, Z+Zk [HT]	32-IUUK	11320	ne		ne
NTIN086	Vybrané kapitoly z výpočetní složitosti II	letní	letní s.:2/1, Z+Zk [HT]	32-IUUK	11320	ne		ne
NLTM021	Vyčíslitelnost	letní	letní s.:2/0, Zk [HT]	32-KNM	11320	ne		ne
NTIN064	Vyčíslitelnost I	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN065	Vyčíslitelnost II	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NLTM039	Výpočetní složitost substrukturálních logik	zimní	zimní s.:2/0, Zk [HT]	32-IUUK	11320	ne		ne
NAIL062	Výroková a predikátová logika	zimní	zimní s.:2/2, Z+Zk [HT]	32-KTIML	11320	ne		ne
NLTM036	Základní nestandardní seminář	letní	letní s.:0/2, Z [HT]	32-KTIML	11320	ne		ne
NAIL019	Základní seminář k počítačové simulaci činnosti buněk	oba	0/2, Z [HT]	32-KAM	11320	ne		ne
NLTM006	Základy matematické logiky	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NTIN090	Základy složitosti a vyčíslitelnosti	zimní	zimní s.:2/1, Z+Zk [HT]	32-KTIML	11320	ne		ne
NAIL059	Znalosti v multiagentových systémech I	zimní	zimní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne
NAIL081	Znalosti v multiagentových systémech II	letní	letní s.:2/0, Zk [HT]	32-KTIML	11320	ne		ne