Toggle navigation
WebCMS3
Search Courses
Login
×
A user's profile is only available to logged in users.
COMP2111
19T1
Home
Course Outline
Course Work
Lectures
Tutorials
Assignments
Practice questions
Forums
Activities
Lecture recordings
Additional course resources
Timetable
Toggle Menu
Resources
Lectures
Lectures
Week 1
17/02/2019 - 24/02/2019
Introductory lecture
Lecture 1: Discrete Mathematics recap (updated Wednesday am)
Week 2
24/02/2019 - 03/03/2019
Lecture 2: Recursion and induction
Week 3
27/02/2019 - 10/03/2019
Lecture 3a: Propositional Logic I
Lecture 3b: Propositional Logic II
Lecture 3c: Propositional Logic III
Week 4
10/03/2019 - 17/03/2019
Lecture 4a: Predicate Logic I
Lecture 4b: Predicate Logic II
Week 5
17/03/2019 - 25/03/2019
Lecture 4c: Logic Tools
Lecture 5a: Hoare Logic
Lecture 5b: Hoare Logic II
Week 5 recap
Week 6
24/03/2019 - 28/04/2019
Lecture 6a: Hoare Logic III
Lecture 6b: Hoare Logic IV
Week 6 recap
Week 7
01/04/2019 - 09/04/2019
Lecture 7a: State machines
Lecture 7b: Finite state automata
Week 7 recap
Week 8
active from 08/04/2019
Lecture 8a: Regular languages and beyond
Lecture 8b: Regular languages and beyond II
Week 9
Lecture 9a: Introduction to Lambda calculus
Week 10
Lecture 10: Course review
Week 11
Lecture 11: Q&A
Back to top
COMP2111 19T1 (System Modelling and Design)
is powered by
WebCMS3
CRICOS Provider No. 00098G