Agi KuruczDepartment of Informatics King's College London Strand Campus Bush House (N) 7.01 30 Aldwych London, WC2B 4BG Email: agi.kurucz AT kcl.ac.uk 2nd term office hours: Thursdays 14:00-15:00. Please email for an appointment. |
Agi KuruczDepartment of Informatics King's College London Strand Campus Bush House (N) 7.01 30 Aldwych London, WC2B 4BG Email: agi.kurucz AT kcl.ac.uk 2nd term office hours: Thursdays 14:00-15:00. Please email for an appointment. |
Axiomatisation, expressiveness and decision problems
Modal and temporal logics
Algebraic and first-order logic
Universal algebra and model theory
Metamathematics of arithmetic, foundations of mathematics
Foundations of Computing I (4CCS1FC1) 2024/25, 1st term