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

18
May
2022

Week 1: Boolean Logic

Starting with Propositional Logic.

» read more

18
May
2022

Week 2: Natural Deduction

Proving the validity of formulae.

» read more

18
May
2022

Week 3: First Order Logic

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

» read more

18
May
2022

Week 4: Structural Induction

Proofs about functional programs.

» read more

18
May
2022

Week 5: Hoare Logic I

Proofs about imperative programs.

» read more

18
May
2022

Week 6: Hoare Logic II

Proofs about imperative programs and their termination.

» read more

18
May
2022

Week 7: Deterministic Finite Automata

A (simple) model of computation.

» read more

18
May
2022

Week 8: Nondeterministic Finite Automata

Are they more powerfull than the one last week?

» read more

18
May
2022

Week 9: Grammars and Pushdown Automata

Can we do better?

» read more

18
May
2022

Week 10: Turing Machines

A model for ‘computers’

» read more

18
May
2022

Week 11: Decidability

Complexity!

» read more

18
May
2022

Week 12: Complexity

Complexity?

» read more

Updated:    18 May 2022 / Responsible Officer:    Head of School / Page Contact:    Victor Rivera