# Search Course Outline

### 5 course outlines found

1

#### MATHS 315

: Mathematical Logic2023 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.

Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or PHIL 222

2

#### MATHS 315

: Mathematical Logic2022 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.

Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or 255 or PHIL 222

3

#### MATHS 315

: Mathematical Logic2021 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.

Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or 255 or PHIL 222

4

#### MATHS 315

: Mathematical Logic2020 Semester Two (1205)

Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or 255 or PHIL 222

5

#### MATHS 315

: Mathematical Logic2024 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.

Prerequisite: B+ or higher in COMPSCI 225 or MATHS 254 or PHIL 222

Outline is not available yet