Overview

This section of the web site provides resources related to the lectures. You can navigate the menu on the left side. Each lecture includes slides, worked examples (created by tutor David Quarrel) and a link to different quizzes on Wattle.

Lectures info

Lectures are at the core of this course and are designed to be engaging. Lectures will be on-campus (whenever possible) and online (live) via Zoom. You can access them using the link in the schedule (below).

Schedule

Our lectures are scheduled as follows:

Note: due to the current lockdown in ACT (starting in 12 August, 2021), all teaching activies are online.

Day Time (Canberra, Australia. AEST) Room Zoom link
Mondays 11 am to 12 pm Kambri Manning Clark Hall here (passcode on Wattle)
Wednesdays 10am to 11am Kambri Manning Clark Hall here (passcode on Wattle)
Fridays 4pm to 5pm Kambri Manning Clark Hall here (passcode on Wattle)

Current time

Lectures

23
Nov
2021

Week 1: Boolean Logic

Starting with Propositional Logic.

» read more

23
Nov
2021

Week 2: Natural Deduction

Proving the validity of formulae.

» read more

23
Nov
2021

Week 3: First Order Logic

Is ‘Forall x. StudyingAt(x, ANU) ==> Smart(x)’ valid?

» read more

23
Nov
2021

Week 4: Structural Induction

Proofs about functional programs.

» read more

23
Nov
2021

Week 5: Hoare Logic I

Proofs about imperative programs.

» read more

23
Nov
2021

Week 6: Hoare Logic II

Proofs about imperative programs and their termination.

» read more

23
Nov
2021

Week 7: Deterministic Finite Automata

A (simple) model of computation.

» read more

23
Nov
2021

Week 8: Nondeterministic Finite Automata

Are they more powerfull than the one last week?

» read more

23
Nov
2021

Week 9: Grammars and Pushdown Automata

Can we do better?

» read more

23
Nov
2021

Week 10: Turing Machines

A model for ‘computers’

» read more

23
Nov
2021

Week 11: Decidability

Complexity!

» read more

23
Nov
2021

Week 12: Complexity

Complexity?

» read more

Updated:    23 Nov 2021 / Responsible Officer:    Head of School / Page Contact:    Victor Rivera