MATH230-20S2 (C) Semester Two 2020

Logic, Automata, and Computability

15 points

Details:
Start Date: Monday, 13 July 2020
End Date: Sunday, 8 November 2020
Withdrawal Dates
Last Day to withdraw from this course:
  • Without financial penalty (full fee refund): Friday, 24 July 2020
  • Without academic penalty (including no fee refund): Friday, 25 September 2020

Description

An introduction to various formal logics, the theory of automata, and the theoretical limitations of the computer.

Pre-requisites

15 points from MATH102-199, and a further 15 points from 100 level COSC, EMTH, MATH, PHIL or
STAT courses, excluding COSC110 and MATH101.

Restrictions

MATH208, MATH308, PHIL208 (prior to 2014), PHIL210, PHIL308 (prior to 2014).

Equivalent Courses

Timetable 2020

Students must attend one activity from each section.

Lecture A
Activity Day Time Location Weeks
01 Monday 12:00 - 13:00 E12 13 Jul - 23 Aug
7 Sep - 18 Oct
Lecture B
Activity Day Time Location Weeks
01 Tuesday 15:00 - 16:00 E12 13 Jul - 23 Aug
7 Sep - 18 Oct
Lecture C
Activity Day Time Location Weeks
01 Friday 11:00 - 12:00 Ernest Rutherford 141 13 Jul - 23 Aug
7 Sep - 18 Oct
Tutorial A
Activity Day Time Location Weeks
01 Tuesday 09:00 - 10:00 Jack Erskine 235 20 Jul - 23 Aug
7 Sep - 18 Oct
02 Tuesday 14:00 - 15:00 A7 20 Jul - 23 Aug
7 Sep - 18 Oct

Course Coordinator

Felipe Voloch

Lecturers

Jeremy Booher and Walter Guttmann

Indicative Fees

Domestic fee $780.00

International fee $4,250.00

* Fees include New Zealand GST and do not include any programme level discount or additional course related expenses.

For further information see Mathematics and Statistics.

All MATH230 Occurrences

  • MATH230-20S2 (C) Semester Two 2020