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+
ALG119005	Algebry a struktury v logice	oba	2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG119013	Analytická filozofie I	zimní	zimní s.:2/2, Z [HT]	21-KLOG	11210	ne		ne
ALG119014	Analytická filozofie II	zimní	zimní s.:2/2, Z [HT]	21-KLOG	11210	ne		ne
ALG110008	Aritmetika a algoritmy	letní	letní s.:1/1, Zk [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
ALG210010	Bakalářský seminář	zimní	zimní s.:0/0, Z [HT] letní s.:0/0, Z [HT]	21-KLOG	11210	ne		ne
ALG119016	Bakalářský seminář I.	oba	0/0, Z [HT]	21-KLOG	11210	ne		ne
ALG119017	Bakalářský seminář II.	oba	0/0, Z [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
ALG119009	Cvičení z logiky I	zimní	zimní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
ALG119010	Cvičení z logiky II	letní	letní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
ALG110015	Dějiny logiky	zimní	zimní s.:2/0, Zk [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
ALGV19008	Dynamic logic	zimní	zimní s.:2/0, Z [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
AXLODIS05	Filozofický kontext množin	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
ALGV19015	General Theories of Logical Systems	oba	2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG119002	Historie moderní matematiky a logiky	oba	2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALGV19006	Interpretations of Gödel incompleteness theorem	oba	2/0, Zk [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
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
AXLOSPE13	Kvantifikovaná modální logika	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
ALG519021	Logic seminar I	zimní	zimní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
ALG519022	Logic seminar II	oba	0/2, Z [HT]	21-KLOG	11210	ne		ne
AXLODIS06	Logika	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
ALG119015	Logika v souvislostech a aplikacích	letní	letní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
ALG519026	Master Thesis Seminar I	zimní	zimní s.:0/0, Z [HT]	21-KLOG	11210	ne		ne
ALG519027	Master Thesis Seminar II	oba	0/0, Z [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
AXLOSPE09	Matematické základy 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
AXLOSPE04	Modální logiky a intuicionistická logika	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
AXLOSPE07	Neklasické logiky	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, 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
ALGV19014	Nekonečné stromy	letní	letní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG119007	Neúplnost a Gödelovy věty	letní	letní s.:2/2, Zk [HT]	21-KLOG	11210	ne		ne
ALG519025	Nonclassical models of reasoning	oba	2/1, Zk [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
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
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
ALGV19004	Philosophy of mathematics	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG519024	Philosophy of set theory and mathematics	oba	2/1, Zk [HT]	21-KLOG	11210	ne		ne
ALGV00121	Research seminar in Logic	oba	0/2, Z [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
ALGV00035	Seminář z matematiky	zimní	zimní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
ALGV19013	Set Theory and Logic Throughout Mathematics	oba	2/0, Zk [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
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
AXLOSPE06	Teorie kategorií	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
AXLODIS04	Teorie množin a forcing	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
ALG110007	Teorie množin I	letní	letní s.:2/1, Zk [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
AXLODIS02	Teze disertační práce	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
AXLOSPE14	Tříhodnotové predikátové logiky s rovností	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
ALG210001	Úvod do matematiky	zimní	zimní s.:2/1, Zk [HT]	21-KLOG	11210	ne		ne
ALG110003	Úvod do matematiky	zimní	zimní s.:2/1, Zk [HT]	21-KLOG	11210	ne		ne
ALGV19009	Úvodní seminář matematické lingvistiky I	zimní	zimní s.:0/2, Z [HT]	21-KLOG	11210	ne		ne
AXLOSPE12	Věty o úplnosti a kompaktnosti v klasické logice	zimní	zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT]	21-KLOG	11210	ne		ne
ALG119006	Vlastnosti axiomatických teorií	zimní	zimní s.:2/2, Zk [HT]	21-KLOG	11210	ne		ne
ALG119004	Vybraná témata z matematiky	oba	2/0, Zk [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
ALG119000	Základy programování a algoritmů	letní	letní s.:2/1, Zk [HT]	21-KLOG	11210	ne		ne
ALG119011	Základy výrokové a predikátové logiky I	zimní	zimní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne
ALG119012	Základy výrokové a predikátové logiky II	letní	letní s.:2/0, Zk [HT]	21-KLOG	11210	ne		ne