Syllabus
We will mainly use the book Logiske metoder
- kunsten å tenke abstrakt og matematisk by Roger Antonsen (ISBN: 9788215022741) in the lectures.
The official syllabus is all chapters (except 20) in the book by Roger Antonsen in addition to the lectures, notes and the exercises.
We also recommend Essential Discrete Mathematics for Computer Science by Harry Lewis and Rachel Zax (ISBN: 9780691179292) for more details.
Recordings
We will not be recording or streaming the lectures this semester. But we recommend checking out the following resources for preparation before lectures, recap after the lectures or rehearsing before the exam:
- Recorded lectures in TMA4140 Fall 2021 (note that we have changed the book)
- Logical Methods at the University in Oslo (this course uses the new book)
Preliminary Lecture Plan
We give an indication of which chapters is covered in the lectures in the table below.
RA: Logiske metoder by Roger Antonsen.
LZ: Discrete mathematics by Harry Lewis and Rachel Zax.
| Week | Topic | RA | LZ | Lectures | Exercises |
| 34 | Introduction, Sets and Logic | 1-2 | 5+9 | Kurusch | Ludwig |
| 35 | Propositional Logic | 3-4, 24 | 9-10 | Tjerand | Ludwig |
| 36 | Proofs and Relations | 5-6, 17 | 2+6, 14 | Kurusch | Ludwig |
| 37 | Functions and Recursion | 7-10 | 6-7 | Kurusch | Ludwig |
| 38 | Induction | 11-12 | 3-4+8 | Kurusch | Ludwig |
| 39 | Number Theory and Cryptography | Note | 30 | Tjerand | Oskar |
| 40 | Number Theory and Cryptography | 31 | Tjerand | Oskar | |
| 41 | 1st Order Logic and Statements | 13-14 | 12 | Kurusch | Ludwig |
| 42 | Semantics and Models | 15-16 | 12 | Kurusch | Ludwig |
| 43 | Languages, Grammars, Deduction | 23 | 19-21 | Kurusch | Ludwig |
| 44 | Counting and Combinatorics | 18-19 | 22-23 | Tjerand | Ludwig |
| 45 | Graph Theory | 21 | 13-14 | Tjerand | Ludwig |
| 46 | Trees and Walks | 22 | 16-18 | Tjerand | Ludwig |
| 47 | Repetition | Tjerand | Ludwig |