Search Course Outline

Logic addresses the foundations of mathematical reasoning. It models the process of mathematical proof by providing a setting and the rules of deduction. This course 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. Recommended for high level computer science or mathematical logic.

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.

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.

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.

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.