Code | Title | Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | 4EU+ | |
ALGV00035 | Mathematical Seminar | winter | winter s.:0/2, C [HT] | 21-KLOG | 11210 | no | no | ||
ALGV00121 | Research seminar in Logic | both | 0/2, C [HT] | 21-KLOG | 11210 | no | no | ||
ALGV19004 | Philosophy of mathematics | winter | winter s.:2/0, Ex [HT] | 21-KLOG | 11210 | no | no | ||
ALGV19006 | Interpretations of Gödel incompleteness theorem | both | 2/0, Ex [HT] | 21-KLOG | 11210 | no | no | ||
ALGV19008 | Dynamic logic | winter | winter s.:2/0, C [HT] | 21-KLOG | 11210 | no | no | ||
ALGV19009 | Introductory Seminar of Mathematical Linguistics I | winter | winter s.:0/2, C [HT] | 21-KLOG | 11210 | no | no | ||
ALGV19013 | Set Theory and Logic Throughout Mathematics | both | 2/0, Ex [HT] | 21-KLOG | 11210 | no | no | ||
ALGV19014 | Infinite trees | summer | summer s.:2/0, Ex [HT] | 21-KLOG | 11210 | no | no | ||
ALGV19015 | General Theories of Logical Systems | both | 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 | ||
ALG110015 | History of Logic | 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 | summer | summer s.:2/1, Ex [HT] | 21-KLOG | 11210 | no | no | ||
ALG119002 | History of modern mathematics and logic | both | 2/0, Ex [HT] | 21-KLOG | 11210 | no | no | ||
ALG119004 | Selected topics in mathematics | both | 2/0, Ex [HT] | 21-KLOG | 11210 | no | no | ||
ALG119005 | Algebras and structures in logic | both | 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 | ||
ALG119015 | Applications of Logic | summer | summer s.:0/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 | ||
ALG519021 | Logic seminar I | winter | winter s.:0/2, C [HT] | 21-KLOG | 11210 | no | no | ||
ALG519022 | Logic seminar II | both | 0/2, C [HT] | 21-KLOG | 11210 | no | no | ||
ALG519024 | Philosophy of set theory and mathematics | both | 2/1, Ex [HT] | 21-KLOG | 11210 | no | no | ||
ALG519025 | Nonclassical models of reasoning | 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 |