Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Filter:

Faculty:
Department:

Code	Title	Semester	Hours per week, examination	Department	Faculty	Virtual mobility	Capacity	4EU+
ALGV00012	Proof Theory	summer	summer s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALGV00035	Mathematical Seminar	winter	winter s.:0/2, C [HT]	21-KLOG	11210	no		no
ALGV00041	Mathematical Fuzzy Logic	summer	summer s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALGV19001	Foundations of modern mathematics	winter	winter s.:2/1, Ex [HT]	21-KLOG	11210	no		no
ALGV19003	Introduction to finite and infinite combinatorics	winter	winter s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALGV19017	Reading Modern Czech Logic	winter	winter s.:0/2, C [HT]	21-KLOG	11210	no		no
ALGV19018	Methods in Philosophical Logic	winter	winter s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALGV19019	Infinite combinatorics	summer	summer s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALG110003	Introduction to Mathematics	winter	winter s.:2/1, Ex [HT]	21-KLOG	11210	no		no
ALG110007	Set Theory I	summer	summer s.:2/1, Ex [HT]	21-KLOG	11210	no		no
ALG110008	Arithmetic and Algorithms	summer	summer s.:1/1, Ex [HT]	21-KLOG	11210	no		no
ALG110009	Set Theory II	winter	winter s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALG110020	Bachelor Thesis Seminar	winter	winter s.:0/0, C [HT] summer s.:0/0, C [HT]	21-KLOG	11210	no		no
ALG119000	Introduction to Computer Science	winter	winter s.:2/1, Ex [HT]	21-KLOG	11210	no		no
ALG119001	Introduction to Computer Science II	summer	summer s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALG119006	Properties of axiomatic theories	winter	winter s.:2/2, Ex [HT]	21-KLOG	11210	no		no
ALG119007	Gödel's Theorems and Incompletness	summer	summer s.:2/2, Ex [HT]	21-KLOG	11210	no		no
ALG119009	Logic exercise I	winter	winter s.:0/2, C [HT]	21-KLOG	11210	no		no
ALG119010	Logic exercise II	summer	summer s.:0/2, C [HT]	21-KLOG	11210	no		no
ALG119011	Propositional and predicate logic I	winter	winter s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALG119012	Propositional and predicate logic II	summer	summer s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALG119013	Analytic Philosophy I	winter	winter s.:2/2, C [HT]	21-KLOG	11210	no		no
ALG119014	Analytic Philosophy II	winter	winter s.:2/2, C [HT]	21-KLOG	11210	no		no
ALG119016	Bachelor Thesis Seminar	both	0/0, C [HT]	21-KLOG	11210	no		no
ALG119017	Bachelor Thesis Seminar II	both	0/0, C [HT]	21-KLOG	11210	no		no
ALG210001	Introduction to Mathematics	winter	winter s.:2/1, Ex [HT]	21-KLOG	11210	no		no
ALG210010	Bachelor Thesis Seminar	winter	winter s.:0/0, C [HT] summer s.:0/0, C [HT]	21-KLOG	11210	no		no
ALG500011	Seminar of Applied Mathematical Logic	winter	winter s.:2/0, --- [HT] summer s.:2/0, Ex [HT]	21-KLOG	11210	no		no
ALG519019	Chapters from Classical Logic I	winter	winter s.:2/1, Ex [HT]	21-KLOG	11210	no		no
ALG519020	Chapters from Classical Logic II	summer	summer s.:2/1, Ex [HT]	21-KLOG	11210	no		no
ALG519021	Logic seminar I	both	0/2, C [HT]	21-KLOG	11210	no		no
ALG519022	Logic seminar II	both	0/2, C [HT]	21-KLOG	11210	no		no
ALG519023	Set theory and mathematics	both	2/1, Ex [HT]	21-KLOG	11210	no		no
ALG519026	Master Thesis Seminar I	winter	winter s.:0/0, C [HT]	21-KLOG	11210	no		no
ALG519027	Master Thesis Seminar II	both	0/0, C [HT]	21-KLOG	11210	no		no
AXLOASPE07	Non-classical Logics	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLODIS01	Handing In of Partially Elaborated PhD Thesis Propositions	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLODIS02	PhD Thesis	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLODIS03	Chapter of PhD Thesis	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLODIS04	-	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLODIS05	-	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLODIS06	-	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLODOS01	Doctoral Seminar I	winter	winter s.:0/2, --- [HT] summer s.:0/2, other [HT]	21-KLOG	11210	no		no
AXLODOS02	Doctoral Seminar II	winter	winter s.:0/2, --- [HT] summer s.:0/2, other [HT]	21-KLOG	11210	no		no
AXLODOS03	Doctoral Seminar III	winter	winter s.:0/2, --- [HT] summer s.:0/2, other [HT]	21-KLOG	11210	no		no
AXLODOS04	Doctoral Seminar IV	winter	winter s.:0/2, --- [HT] summer s.:0/2, other [HT]	21-KLOG	11210	no		no
AXLOKON01	Supervisory Meetings I-II	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOKON02	Supervisory Meetings III-IV	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOKON03	Supervisory Meetings V-VI	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK00	Publications and Research Activities I - Total Requirement Completed	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK01	Publications and Research Activities I	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK02	Publications and Research Activities II	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK03	Publications and Research Activities III	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK04	Publications and Research Activities IV	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK05	Publications and Research Activities V	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK06	Publications and Research Activities VI	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK07	Publications and Research Activities VII	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK08	Publications and Research Activities VIII	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK09	Publications and Research Activity	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOOAK10	Internship Abroad	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE01	Set Theory	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE02	Mathematical Structures	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE03	Model Theory	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE04	Modal Logics and Intuitionistic Logic	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE05	Weak Fragments of Peano Arithmetic	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE06	Category Theory	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE07	Non-classical Logics	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE08	Philosophy of Mathematics and Logic	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE09	Classical logic and its mathematical background	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE10	Non-classical logic	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE11	Modal logic	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE12	-	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE13	-	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOSPE14	-	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOTMS01	Departmental Theoretical and Methodological Seminar	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOTMS02	Departmental Theoretical and Methodological Seminar I	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no
AXLOTMS03	Departmental Theoretical and Methodological Seminar II	winter	winter s.:0/0, --- [HT] summer s.:0/0, other [HT]	21-KLOG	11210	no		no