Kód | Název | Semestr | Rozsah, examinace | Katedra | Fakulta | Virtuál. mob. | Poč. míst | 4EU+ | |
AXLOSPE06 | Teorie kategorií | 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 | ||
AXLOSPE05 | Slabé fragmenty Peanovy aritmetiky | zimní | zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [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 | ||
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 | ||
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 | ||
AXLOTMS01 | Teoreticko-metodologický seminář | 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 | ||
AXLOSPE04 | Modální logiky a intuicionistická logika | zimní | zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT] |
21-KLOG | 11210 | ne | ne | ||
ALG110003 | Úvod do matematiky | zimní | zimní s.:2/1, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG210001 | Úvod do matematiky | zimní | zimní s.:2/1, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00035 | Seminář z matematiky | zimní | zimní s.:0/2, Z [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 | ||
ALG119009 | Cvičení z logiky I | zimní | zimní s.:0/2, Z [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 | ||
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 | ||
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 | ||
AXLODOS03 | Doktorandský seminář III | zimní | zimní s.:0/2, --- [HT] letní s.:0/2, 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 | ||
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 | ||
ALGV19008 | Dynamic logic | zimní | zimní s.:2/0, Z [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 | ||
AXLODIS04 | Teorie množin a forcing | zimní | zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [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 | ||
AXLOSPE02 | Matematické struktury | 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 | ||
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 | ||
AXLOSPE07 | Neklasické logiky | 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 | ||
AXLOASPE07 | Neklasické logiky | 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 | ||
ALG519026 | Master Thesis Seminar I | zimní | zimní s.:0/0, 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 | ||
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 | ||
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 | ||
ALGV19009 | Úvodní seminář matematické lingvistiky I | zimní | zimní 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 | ||
ALG119006 | Vlastnosti axiomatických teorií | zimní | zimní s.:2/2, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV19004 | Philosophy of mathematics | zimní | zimní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG519021 | Logic seminar I | zimní | zimní s.:0/2, Z [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 | ||
AXLODOS04 | Doktorandský seminář IV | zimní | zimní s.:0/2, --- [HT] letní s.:0/2, Jiné [HT] |
21-KLOG | 11210 | ne | ne | ||
ALG119010 | Cvičení z logiky II | letní | letní s.:0/2, Z [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 | ||
ALG110007 | Teorie množin I | letní | letní s.:2/1, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV19014 | Nekonečné stromy | letní | letní 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 | ||
ALG110008 | Aritmetika a algoritmy | letní | letní s.:1/1, 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 | ||
ALG119015 | Logika v souvislostech a aplikacích | letní | letní 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 | ||
ALG119004 | Vybraná témata z matematiky | oba | 2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG519025 | Nonclassical models of reasoning | oba | 2/1, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG519024 | Philosophy of set theory and mathematics | oba | 2/1, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG119002 | Historie moderní matematiky a logiky | oba | 2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG119005 | Algebry a struktury v logice | 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 | ||
ALG519022 | Logic seminar II | oba | 0/2, Z [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV19015 | General Theories of Logical Systems | oba | 2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG119017 | Bakalářský seminář II. | oba | 0/0, Z [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG119016 | Bakalářský seminář I. | oba | 0/0, Z [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00121 | Research seminar in Logic | oba | 0/2, Z [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG519027 | Master Thesis Seminar II | oba | 0/0, Z [HT] | 21-KLOG | 11210 | ne | ne |