SubjectsSubjects(version: 945)
Courses overview, academic year 2023/2024
   Login via CAS
 
export to excel
sort in descending ordersort in ascending orderCodesort in descending ordersort in ascending orderTitlesort in descending ordersort in ascending orderSemesterHours per week, examinationDepartmentFacultyVirtual mobilityCapacity4EU+
detail ALGV00035 Mathematical Seminar winter winter s.:0/2, C [HT] 21-KLOG 11210 no no
detail ALGV00121 Research seminar in Logic both 0/2, C [HT] 21-KLOG 11210 no no
detail ALGV19004 Philosophy of mathematics winter winter s.:2/0, Ex [HT] 21-KLOG 11210 no no
detail ALGV19006 Interpretations of Gödel incompleteness theorem both 2/0, Ex [HT] 21-KLOG 11210 no no
detail ALGV19008 Dynamic logic winter winter s.:2/0, C [HT] 21-KLOG 11210 no no
detail ALGV19009 Introductory Seminar of Mathematical Linguistics I winter winter s.:0/2, C [HT] 21-KLOG 11210 no no
detail ALGV19013 Set Theory and Logic Throughout Mathematics both 2/0, Ex [HT] 21-KLOG 11210 no no
detail ALGV19014 Infinite trees summer summer s.:2/0, Ex [HT] 21-KLOG 11210 no no
detail ALGV19015 General Theories of Logical Systems both 2/0, Ex [HT] 21-KLOG 11210 no no
detail ALG110003 Introduction to Mathematics winter winter s.:2/1, Ex [HT] 21-KLOG 11210 no no
detail ALG110007 Set Theory I summer summer s.:2/1, Ex [HT] 21-KLOG 11210 no no
detail ALG110008 Arithmetic and Algorithms summer summer s.:1/1, Ex [HT] 21-KLOG 11210 no no
detail ALG110015 History of Logic winter winter s.:2/0, Ex [HT] 21-KLOG 11210 no no
detail ALG110020 Bachelor Thesis Seminar winter winter s.:0/0, C [HT]
summer s.:0/0, C [HT]
21-KLOG 11210 no no
detail ALG119000 Introduction to Computer Science summer summer s.:2/1, Ex [HT] 21-KLOG 11210 no no
detail ALG119002 History of modern mathematics and logic both 2/0, Ex [HT] 21-KLOG 11210 no no
detail ALG119004 Selected topics in mathematics both 2/0, Ex [HT] 21-KLOG 11210 no no
detail ALG119005 Algebras and structures in logic both 2/0, Ex [HT] 21-KLOG 11210 no no
detail ALG119006 Properties of axiomatic theories winter winter s.:2/2, Ex [HT] 21-KLOG 11210 no no
detail ALG119007 Gödel's Theorems and Incompletness summer summer s.:2/2, Ex [HT] 21-KLOG 11210 no no
detail ALG119009 Logic exercise I winter winter s.:0/2, C [HT] 21-KLOG 11210 no no
detail ALG119010 Logic exercise II summer summer s.:0/2, C [HT] 21-KLOG 11210 no no
detail ALG119011 Propositional and predicate logic I winter winter s.:2/0, Ex [HT] 21-KLOG 11210 no no
detail ALG119012 Propositional and predicate logic II summer summer s.:2/0, Ex [HT] 21-KLOG 11210 no no
detail ALG119013 Analytic Philosophy I winter winter s.:2/2, C [HT] 21-KLOG 11210 no no
detail ALG119014 Analytic Philosophy II winter winter s.:2/2, C [HT] 21-KLOG 11210 no no
detail ALG119015 Applications of Logic summer summer s.:0/2, C [HT] 21-KLOG 11210 no no
detail ALG119016 Bachelor Thesis Seminar both 0/0, C [HT] 21-KLOG 11210 no no
detail ALG119017 Bachelor Thesis Seminar II both 0/0, C [HT] 21-KLOG 11210 no no
detail ALG210001 Introduction to Mathematics winter winter s.:2/1, Ex [HT] 21-KLOG 11210 no no
detail ALG210010 Bachelor Thesis Seminar winter winter s.:0/0, C [HT]
summer s.:0/0, C [HT]
21-KLOG 11210 no no
detail ALG500011 Seminar of Applied Mathematical Logic winter winter s.:2/0, --- [HT]
summer s.:2/0, Ex [HT]
21-KLOG 11210 no no
detail ALG519021 Logic seminar I winter winter s.:0/2, C [HT] 21-KLOG 11210 no no
detail ALG519022 Logic seminar II both 0/2, C [HT] 21-KLOG 11210 no no
detail ALG519024 Philosophy of set theory and mathematics both 2/1, Ex [HT] 21-KLOG 11210 no no
detail ALG519025 Nonclassical models of reasoning both 2/1, Ex [HT] 21-KLOG 11210 no no
detail ALG519026 Master Thesis Seminar I winter winter s.:0/0, C [HT] 21-KLOG 11210 no no
detail ALG519027 Master Thesis Seminar II both 0/0, C [HT] 21-KLOG 11210 no no
detail AXLOASPE07 Non-classical Logics winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail 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
detail AXLODIS02 PhD Thesis winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLODIS03 Chapter of PhD Thesis winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLODIS04 - winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLODIS05 - winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLODIS06 - winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLODOS01 Doctoral Seminar I winter winter s.:0/2, --- [HT]
summer s.:0/2, other [HT]
21-KLOG 11210 no no
detail AXLODOS02 Doctoral Seminar II winter winter s.:0/2, --- [HT]
summer s.:0/2, other [HT]
21-KLOG 11210 no no
detail AXLODOS03 Doctoral Seminar III winter winter s.:0/2, --- [HT]
summer s.:0/2, other [HT]
21-KLOG 11210 no no
detail AXLODOS04 Doctoral Seminar IV winter winter s.:0/2, --- [HT]
summer s.:0/2, other [HT]
21-KLOG 11210 no no
detail AXLOKON01 Supervisory Meetings I-II winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOKON02 Supervisory Meetings III-IV winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOKON03 Supervisory Meetings V-VI winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail 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
detail AXLOOAK01 Publications and Research Activities I winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOOAK02 Publications and Research Activities II winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOOAK03 Publications and Research Activities III winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOOAK04 Publications and Research Activities IV winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOOAK05 Publications and Research Activities V winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOOAK06 Publications and Research Activities VI winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOOAK07 Publications and Research Activities VII winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOOAK08 Publications and Research Activities VIII winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOOAK09 Publications and Research Activity winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOOAK10 Internship Abroad winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE01 Set Theory winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE02 Mathematical Structures winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE03 Model Theory winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE04 Modal Logics and Intuitionistic Logic winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE05 Weak Fragments of Peano Arithmetic winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE06 Category Theory winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE07 Non-classical Logics winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE08 Philosophy of Mathematics and Logic winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE09 Classical logic and its mathematical background winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE10 Non-classical logic winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE11 Modal logic winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE12 - winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE13 - winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOSPE14 - winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOTMS01 Departmental Theoretical and Methodological Seminar winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOTMS02 Departmental Theoretical and Methodological Seminar I winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
detail AXLOTMS03 Departmental Theoretical and Methodological Seminar II winter winter s.:0/0, --- [HT]
summer s.:0/0, other [HT]
21-KLOG 11210 no no
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html