Předměty

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

Filtr:

Fakulta:
Katedra:

Kód	Název	Semestr	Rozsah, examinace	Katedra	Fakulta	Virtuál. mob.	Poč. míst	4EU+
ALGV00035	Seminář z matematiky	zimní	zimní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
ALGV00038	Modální logiky II	oba	2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALGV00048	Úvod do obecné topologie	oba	2/1, Zk [HT]	21-KLOG	11210	ne		ne
ALGV00050	Úvodní seminář matematické lingvistiky	zimní	zimní s.:0/2, Z [HT] letní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
ALGV00054	Forcing	oba	2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALGV00057	Pure Inductive Logic	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110002	Seminář analytické filosofie	zimní	zimní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
ALG110003	Úvod do matematiky	zimní	zimní s.:2/1, Zk [HT]	21-KLOG	11210	ne		ne
ALG110004	Klasická logika I	zimní	zimní s.:2/0, Zk [HT] letní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110008	Aritmetika a algoritmy	letní	letní s.:1/1, Zk [HT]	21-KLOG	11210	ne		ne
ALG110009	Teorie množin II	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110010	Vyčíslitelnost A	zimní	zimní s.:4/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110011	Booleovy algebry	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110013	Úvod do teorie modelů	letní	letní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110014	Klasická logika II A	letní	letní s.:4/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110017	Formální jazyky a automaty	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110019	Logika a informace	zimní	zimní s.:2/0, Zk [HT] letní s.:2/0, Z [HT]	21-KLOG	11210	ne		ne
ALG110020	Bakalářský seminář	zimní	zimní s.:0/0, Z [HT] letní s.:0/0, Z [HT]	21-KLOG	11210	ne		ne
ALG110023	Klasická logika I	zimní	zimní s.:4/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110024	Dějiny logiky	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110025	Introduction to Algebraic Logic	oba	2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110026	Seminář analytické filosofie	zimní	zimní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
ALG110029	Algoritmy a programovací techniky	zimní	zimní s.:1/1, Zk [HT]	21-KLOG	11210	ne		ne
ALG110030	Booleovy algebry	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG110031	Výpočetní modely	oba	2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG210001	Úvod do matematiky	zimní	zimní s.:2/1, Zk [HT]	21-KLOG	11210	ne		ne
ALG210002	Klasická logika I	zimní	zimní s.:2/0, Zk [HT] letní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG210003	Teorie množin I	letní	letní s.:2/1, Zk [HT]	21-KLOG	11210	ne		ne
ALG210004	Vyčíslitelnost B	zimní	zimní s.:4/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG210006	Klasická logika II B	letní	letní s.:4/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG210008	Modální logiky I	letní	letní s.:2/1, Zk [HT]	21-KLOG	11210	ne		ne
ALG210010	Bakalářský seminář	zimní	zimní s.:0/0, Z [HT] letní s.:0/0, Z [HT]	21-KLOG	11210	ne		ne
ALG500001	Teorie důkazů	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG500005	Výpočtová složitost	zimní	zimní s.:2/0, Z [HT] letní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG500009	Teorie modelů	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG500011	Seminář aplikované matematické logiky	zimní	zimní s.:2/0, --- [HT] letní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG500016	Computational Complexity	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ASJ500005	Úvod do logiky	zimní	zimní s.:2/1, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOASPE07	Neklasické logiky	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLODIS01	Odevzdání rozpracovaných tezí disertační práce	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLODIS02	Teze disertační práce	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLODIS03	Kapitola či jiný ucelený výstup z disertace	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLODOS01	Doktorandský seminář I	zimní	zimní s.:0/2, --- [HT] letní s.:0/2, Jiné [HT]	21-KLOG	11210	ne		ne
AXLODOS02	Doktorandský seminář II	zimní	zimní s.:0/2, --- [HT] letní s.:0/2, Jiné [HT]	21-KLOG	11210	ne		ne
AXLODOS03	Doktorandský seminář III	zimní	zimní s.:0/2, --- [HT] letní s.:0/2, Jiné [HT]	21-KLOG	11210	ne		ne
AXLODOS04	Doktorandský seminář IV	zimní	zimní s.:0/2, --- [HT] letní s.:0/2, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOKON01	Konzultace se školitelem I (Doktorský seminář I–II)	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOKON02	Konzultace se školitelem II (Doktorský seminář III-IV)	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOKON03	Konzultace se školitelem III (Doktorský seminář V-VI)	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK00	Celkové splnění odborných aktivit	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK01	Odborné aktivity I	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK02	Odborné aktivity II	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK03	Odborné aktivity III	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK04	Odborné aktivity IV	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK05	Odborné aktivity V	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK06	Odborné aktivity VI	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK07	Odborné aktivity VII	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK08	Odborné aktivity VIII	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK09	Odborná aktivita	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOOAK10	Zahraniční stáž	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE01	Teorie množin	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE02	Matematické struktury	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE03	Teorie modelů	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE04	Modální logiky a intuicionistická logika	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE05	Slabé fragmenty Peanovy aritmetiky	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE06	Teorie kategorií	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE07	Neklasické logiky	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE08	Filosofie matematiky a logiky	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE09	Matematické základy logiky	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE10	Neklasické logiky	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE11	Modální logika	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOTMS01	Teoreticko-metodologický seminář	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOTMS02	Teoreticko-metodologický seminář I	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOTMS03	Teoreticko-metodologický seminář II	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne