COMPX36122B (HAM)
Logic and Computation
15 Points
Staff
Lecturer(s)
Tim Stokes
4131
G.3.11
tim.stokes@waikato.ac.nz

Administrator(s)
Librarian(s)
You can contact staff by:
 Calling +64 7 838 4466 select option 1, then enter the extension.

Extensions starting with 4, 5, 9 or 3 can also be direct dialled:
 For extensions starting with 4: dial +64 7 838 extension.
 For extensions starting with 5: dial +64 7 858 extension.
 For extensions starting with 9: dial +64 7 837 extension.
 For extensions starting with 3: dial +64 7 2620 + the last 3 digits of the extension e.g. 3123 = +64 7 262 0123.
Paper Description
This paper is about the theoretical and mathematical ideas that underlie modern computing and computational thinking.
In the first section, formal languages, machines, and models of computation are introduced and studied in some detail. Topics include: finitestate automata and regular languages; Turing machines; the ChurchTuring Thesis; the Halting Problem; formal grammars.
In the second section, we take a formal approach to propositional and especially predicate logic, including an introduction to the powerful technique of mathematical induction.
_______________
The learning outcomes for this paper are linked to Washington Accord graduate attributes WA1WA11. Explanation of the graduate attributes can be found at: https://www.ieagreements.org/
Paper Structure
The paper will be taught by Dr Tim Stokes (Mathematics).
Lectures will be inperson, but lecture materials will be available through Moodle and recorded in Panopto. Each week, comprehensive notes will be placed on Moodle, and these will form the basis for the lectures which will generally be on Thursdays and Fridays. (The very first Monday will also be a lecture.)
On Mondays (aside from the very first one) there will be a problem session/tutorial, covering some set problems based on the previous week's material. To get the most out of this time, please think about the problems first. This material is excellent preparation for upcoming assignments and tests.
You are also encouraged to either meet the lecturer in his office to obtain assistance (email tim.stokes@waikato.ac.nz, or just try dropping by), or else email queries to him. There will also be a class forum available for student discussions, which the lecturer will contribute to from time to time.
Learning Outcomes
Students who successfully complete the paper should be able to:
Assessment
This paper is assessed by two written semester tests, as well as by roughly weekly items including four written assignments and four computerbased lab exercises, and by a final exam. There is a Drule applying to the final exam: to obtain a clear pass in the paper, you must obtain at least 50% overall AND at least 40% on the final exam.
If you are enrolled in a BE (Hons) degree: Samples of your work may be required as part of the Engineering New Zealand accreditation process for BE (Hons) degrees. Any samples taken will have the student name and ID redacted. If you do not want samples of your work collected, then please email the engineering administrator, Natalie Shaw (natalie.shaw@waikato.ac.nz ), to opt out.
Assessment Components
The internal assessment/exam ratio (as stated in the University Calendar) is 70:30. The final exam makes up 30% of the overall mark.
Required and Recommended Readings
Required Readings
Recommended Readings
Other Resources
Online Support
Moodle is used throughout.
Workload
Linkages to Other Papers
Prerequisite(s)
Prerequisite papers: MATHS135 or MATHS202 or COMPX201 or COMPX241