MATHS 315 - Mathematical Logic
Faculty
Science
Department
Mathematics
Points:
15
Available Semesters:
{}
Course Components
Labs
Tutorials
Lectures
Exam
TBLs
Workshops
Description: 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.
Prerequisites / Restrictions
Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or PHIL 222
Average Rating From 1 Reviews
Teaching Quality
10 / 10
Content Quality
10 / 10
Workload
3 / 10
Difficulty
4 / 10
100% - Would Recommend
0% - Would Not Recommend
Reviews