# Search Course Outline

### 5 course outlines found

1

#### MATHS 315

: Mathematical Logic
2023 Semester Two (1235)
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.
Subject: Mathematics
Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or PHIL 222
2

#### MATHS 315

: Mathematical Logic
2022 Semester Two (1225)
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.
Subject: Mathematics
Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or 255 or PHIL 222
3

#### MATHS 315

: Mathematical Logic
2021 Semester Two (1215)
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.
Subject: Mathematics
Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or 255 or PHIL 222
4

#### MATHS 315

: Mathematical Logic
2020 Semester Two (1205)
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.
Subject: Mathematics
Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or 255 or PHIL 222
5

#### MATHS 315

: Mathematical Logic
2024 Semester Two (1245)
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.
Subject: Mathematics
Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or PHIL 222

Outline is not available yet