# Search Course Outline

### 5 course outlines found

1

#### COMPSCI 350

: Mathematical Foundations of Computer Science2024 Semester One (1243)

The aim of this course is to present mathematical models for programming languages and computation, and derive some theorems regarding what can and cannot be computed. Abstract programming languages (finite automata, context-free grammars, Turing and register machines) are studied. Basic concepts for programming languages, limits on computational power and algorithmic complexity are presented. Church-Turing thesis and quantum computing are briefly and critically discussed.

Prerequisite: COMPSCI 220 or PHIL 222, and COMPSCI 225 or MATHS 254

2

#### COMPSCI 350

: Mathematical Foundations of Computer Science2023 Semester One (1233)

The aim of this course is to present mathematical models for programming languages and computation, and derive some theorems regarding what can and cannot be computed. Abstract programming languages (finite automata, context-free grammars, Turing and register machines) are studied. Basic concepts for programming languages, limits on computational power and algorithmic complexity are presented. Church-Turing thesis and quantum computing are briefly and critically discussed.

Prerequisite: COMPSCI 220 or PHIL 222, and COMPSCI 225 or MATHS 254

3

#### COMPSCI 350

: Mathematical Foundations of Computer Science2022 Semester One (1223)

The aim of this course is to present mathematical models for programming languages and computation, and derive some theorems regarding what can and cannot be computed. Abstract programming languages (finite automata, context-free grammars, Turing and register machines) are studied. Basic concepts for programming languages, limits on computational power and algorithmic complexity are presented. Church-Turing thesis and quantum computing are briefly and critically discussed.

Prerequisite: COMPSCI 220 or PHIL 222, and 15 points from COMPSCI 225, MATHS 254, 255

4

#### COMPSCI 350

: Mathematical Foundations of Computer Science2020 Semester One (1203)

Prerequisite: COMPSCI 220 or PHIL 222, and 15 points from COMPSCI 225, MATHS 254, 255

5

#### COMPSCI 350

: Mathematical Foundations of Computer Science2021 Semester One (1213)

Prerequisite: COMPSCI 220 or PHIL 222, and 15 points from COMPSCI 225, MATHS 254, 255

Outline is not available yet