Kód | Název | Semestr | Rozsah, examinace | Katedra | Fakulta | Virtuál. mob. | Poč. míst | 4EU+ | |
ALGV00003 | Úvod do teoretické sémantiky | letní | letní s.:0/2, Z [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00021 | Deontické logiky | letní | letní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00025 | Programování v Pythonu | letní | letní s.:3/2, Z+Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00030 | Historie matematiky | zimní | zimní 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 | ||
ALGV00038 | Modální logiky II | letní | letní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00041 | Matematická fuzzy logika | zimní | zimní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00047 | Universální algebra pro logiky | zimní | zimní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00048 | Úvod do obecné topologie | zimní | zimní s.: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 | ||
ALGV00052 | Obecné teorie logických systémů | letní | letní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00056 | Modální logiky v teoretické informatice | letní | letní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00102 | Kurs práce s počítačem | letní | letní s.:1/1, Z [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00105 | Logika a informace II (dočasný předmět, pouze pro bakaláře 08/09) | letní | letní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALGV00107 | Úvod do programování pro nelogiky | zimní | zimní s.:2/1, Z [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG110001 | Analytická filosofie | 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.:3/1, Zk [HT] |
21-KLOG | 11210 | ne | ne | ||
ALG110005 | Cvičení z logiky | zimní | zimní s.:0/2, Z [HT] letní s.:0/2, Z [HT] |
21-KLOG | 11210 | ne | ne | ||
ALG110006 | Úvod do programování | zimní | zimní s.:2/1, Z [HT] letní s.:1/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 | ||
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 | ||
ALG110012 | Modální logiky | zimní | zimní s.:2/1, Zk [HT] letní 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 | ||
ALG110015 | Dějiny logiky | zimní | zimní s.:1/1, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG110020 | Bakalářský seminář | zimní | zimní s.:0/2, Z [HT] letní s.:0/3, Z [HT] |
21-KLOG | 11210 | ne | ne | ||
ALG110021 | Základy jazykovědy | letní | letní s.:1/1, 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.:3/1, 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 | ||
ALG210005 | Analytická filosofie | zimní | zimní s.:2/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 | ||
ALG210007 | Dějiny logiky | zimní | zimní s.:1/1, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG210008 | Modální logiky I | zimní | zimní s.:2/1, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG210010 | Bakalářský seminář | zimní | zimní s.:0/2, Z [HT] letní s.:0/3, Z [HT] |
21-KLOG | 11210 | ne | ne | ||
ALG500002 | Filosofie jazyka | letní | letní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG500004 | Neklasické logiky | zimní | zimní s.:2/0, Zk [HT] letní s.:1/1, 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 | ||
ALG500006 | Modely teorie množin | letní | letní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG500007 | Transparentní intenzionální logika | letní | letní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG500008 | Umělá inteligence | letní | letní s.:2/0, Zk [HT] | 21-KLOG | 11210 | ne | ne | ||
ALG500010 | Úvod do obecné jazykovědy | 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 | ||
ALG500012 | Logický seminář | zimní | zimní s.:2/0, Z [HT] letní s.:2/0, Z [HT] |
21-KLOG | 11210 | ne | ne | ||
ALG500013 | Diplomový seminář | zimní | zimní s.:0/2, Z [HT] letní s.:0/2, Z [HT] |
21-KLOG | 11210 | ne | ne | ||
ASJ500005 | Úvod do logiky | zimní | zimní s.:2/1, 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 | ||
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 | ||
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 | ||
AXLOTMS01 | Teoreticko-metodologický seminář | zimní | zimní s.:0/0, --- [HT] letní s.:0/0, Jiné [HT] |
21-KLOG | 11210 | ne | ne |