Template:MATHS 315:2007 Description

From MathsDept

Logic addresses the foundations of mathematical reasoning. It models the process of mathematical proof by providing a setting and the rules of deduction. Builds a basic understanding of first order predicate logic, introduces model theory and demonstrates how models of a first order system relate to mathematical structures. The course is recommended for anyone studying high level computer science or mathematical logic.