This chapter is about the relations among artificial intelligence (AI), mathematical logic, and the formalisation of common‐sense knowledge and reasoning. Common‐sense knowledge includes the basic ...

Notes for MATH700132 (Mathematical Logic) taught by David Evans at Imperial in Spring 2025. They are a work in progress. These notes are primarily based on the content covered in lectures, with some ...

Due to high demand for this course, we operate a staged admissions process with multiple selection deadlines throughout the year, to maintain a fair and transparent approach. Explore our campus, meet ...