SubjectsSubjects(version: 867)
Courses overview, academic year 2019/2020
  
 
export to excel
sort in descending ordersort in ascending orderCodesort in descending ordersort in ascending orderTitlesort in descending ordersort in ascending orderSemesterHours per week, examinationDepartmentFaculty
detail ALGV00035 Mathematical Seminar winter winter s.:0/2 C [HT] 21-KLOG 11210
detail ALGV00041 Mathematical Fuzzy Logic winter winter s.:2/0 Ex [HT] 21-KLOG 11210
detail ALGV00048 Introduction to general topology both 2/1 Ex [HT] 21-KLOG 11210
detail ALGV00050 Introductory Seminar of Mathematical Linguistics winter winter s.:0/2 C [HT]
summer s.:0/2 C [HT]
21-KLOG 11210
detail ALGV00120 History of Modern Mathematics and Logic winter winter s.:2/0 Ex [HT] 21-KLOG 11210
detail ALGV00121 Research seminar in Logic both 0/2 C [HT] 21-KLOG 11210
detail ALGV00122 Seminar on decision processes with uncertainty summer summer s.:1/1 C [HT] 21-KLOG 11210
detail ALGV00123 Interactive theorem proving seminar both 0/2 C [HT] 21-KLOG 11210
detail ALG110003 Introduction to Mathematics winter winter s.:2/1 Ex [HT] 21-KLOG 11210
detail ALG110007 Set Theory I summer summer s.:2/1 Ex [HT] 21-KLOG 11210
detail ALG110008 Arithmetic and Algorithms summer summer s.:1/1 Ex [HT] 21-KLOG 11210
detail ALG110020 Bachelor Thesis Seminar winter winter s.:0/0 C [HT]
summer s.:0/0 C [HT]
21-KLOG 11210
detail ALG110021 Introduction to Linguistics winter winter s.:1/1 Ex [HT] 21-KLOG 11210
detail ALG110024 History of Logic winter winter s.:2/0 Ex [HT] 21-KLOG 11210
detail ALG110029 Introduction to Computer Science II winter winter s.:1/1 Ex [HT] 21-KLOG 11210
detail ALG110031 Models of Computation both 2/0 Ex [HT] 21-KLOG 11210
detail ALG119009 Logic exercise I winter winter s.:0/2 C [HT] 21-KLOG 11210
detail ALG119010 Logic exercise II summer summer s.:0/2 C [HT] 21-KLOG 11210
detail ALG119011 Propositional and predicate logic I winter winter s.:2/0 Ex [HT] 21-KLOG 11210
detail ALG119012 Propositional and predicate logic II summer summer s.:2/0 Ex [HT] 21-KLOG 11210
detail ALG119013 Analytic Philosophy I winter winter s.:2/2 C [HT] 21-KLOG 11210
detail ALG119014 Analytic Philosophy II summer summer s.:2/2 C [HT] 21-KLOG 11210
detail ALG119015 Applications of Logic summer summer s.:0/2 C [HT] 21-KLOG 11210
detail ALG210001 Introduction to Mathematics winter winter s.:2/1 Ex [HT] 21-KLOG 11210
detail ALG210003 Set Theory I summer summer s.:2/1 Ex [HT] 21-KLOG 11210
detail ALG210010 Bachelor Thesis Seminar winter winter s.:0/0 C [HT]
summer s.:0/0 C [HT]
21-KLOG 11210
detail ALG500003 Chapters from Classical Logic winter winter s.:2/1 --- [HT]
summer s.:2/1 Ex [HT]
21-KLOG 11210
detail ALG500005 Computational Complexity winter winter s.:2/0 C [HT]
summer s.:2/0 Ex [HT]
21-KLOG 11210
detail ALG500009 Model Theory winter winter s.:2/0 Ex [HT] 21-KLOG 11210
detail ALG500010 Introduction to General Linguistics summer summer s.:2/0 Ex [HT] 21-KLOG 11210
detail ALG500011 Seminar of Applied Mathematical Logic winter winter s.:2/0 --- [HT]
summer s.:2/0 Ex [HT]
21-KLOG 11210
detail ALG500016 Computational Complexity winter winter s.:2/0 Ex [HT] 21-KLOG 11210
detail ALG519020 Chapters from Classical Logic II summer summer s.:2/1 --- [HT] 21-KLOG 11210
detail ALG519022 Logic seminar II summer summer s.:0/2 C [HT] 21-KLOG 11210
detail ALG519024 Philosophy of set theory and mathematics both 2/1 Ex [HT] 21-KLOG 11210
detail ALG519025 Nonclassical models of reasoning both 2/1 Ex [HT] 21-KLOG 11210
detail ASJ500005 Introduction to Logic winter winter s.:2/1 other [HT] 21-KLOG 11210
detail AXLOASPE07 Non-classical Logics winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
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
detail AXLODIS02 PhD Thesis winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLODIS03 Chapter of PhD Thesis winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLODOS01 Doctoral Seminar I winter winter s.:0/2 --- [HT]
summer s.:0/2 other [HT]
21-KLOG 11210
detail AXLODOS02 Doctoral Seminar II winter winter s.:0/2 --- [HT]
summer s.:0/2 other [HT]
21-KLOG 11210
detail AXLODOS03 Doctoral Seminar III winter winter s.:0/2 --- [HT]
summer s.:0/2 other [HT]
21-KLOG 11210
detail AXLODOS04 Doctoral Seminar IV winter winter s.:0/2 --- [HT]
summer s.:0/2 other [HT]
21-KLOG 11210
detail AXLOKON01 Supervisory Meetings I-II winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOKON02 Supervisory Meetings III-IV winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOKON03 Supervisory Meetings V-VI winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
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
detail AXLOOAK01 Publications and Research Activities I winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOOAK02 Publications and Research Activities II winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOOAK03 Publications and Research Activities III winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOOAK04 Publications and Research Activities IV winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOOAK05 Publications and Research Activities V winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOOAK06 Publications and Research Activities VI winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOOAK07 Publications and Research Activities VII winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOOAK08 Publications and Research Activities VIII winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOOAK09 Publications and Research Activity winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOOAK10 Internship Abroad winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE01 Set Theory winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE02 Mathematical Structures winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE03 Model Theory winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE04 Modal Logics and Intuitionistic Logic winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE05 Weak Fragments of Peano Arithmetic winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE06 Category Theory winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE07 Non-classical Logics winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE08 Philosophy of Mathematics and Logic winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE09 Classical logic and its mathematical background winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE10 Non-classical logic winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE11 Modal logic winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE12 - winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE13 - winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOSPE14 - winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOTMS01 Departmental Theoretical and Methodological Seminar winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOTMS02 Departmental Theoretical and Methodological Seminar I winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
detail AXLOTMS03 Departmental Theoretical and Methodological Seminar II winter winter s.:0/0 --- [HT]
summer s.:0/0 other [HT]
21-KLOG 11210
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html