Videos

Videos available in OLAT

Folien und SL Blätter

week	date	slides	exercises	solutions
1	10.03. (Syllogisms - videos labelled 2022-7-10)	pdf	Blatt 1	Lösung 1
2	17.03. (Propositional Logic - videos labelled 2023S703007 (in Videos))	pdf	Blatt 2	Lösung 2
3	24.03. (Quine, Natural Deduction - videos labled 2022-10-28)	pdf	Blatt 3	Lösung 3
4	31.03. (ND cont., Normal Forms, Algebraic Structures - videos labelled 2022-11-04)	pdf	Blatt 4	Lösung 4
5	21.04. (Boolean/Set Algebra, Formal Languages - videos labelled 2022-11-11)	pdf	Blatt 5	Lösung 5
6	28.04. (Grammars - videos labelled 2022-11-18)	pdf	Blatt 6	Lösung 6
7	05.05. (Deterministic Finite Automatons - videos labelled 2022-11-25)	pdf	Blatt 7	Lösung 7
8	12.05. (Left/Right Derivation, Recursive Inference, Syntax Trees - video in Recordings 2)	pdf	Blatt 8	Lösung 8
9	19.05. (additional exercises)		Blatt 9
10	26.05 (Decidability, Turing Machines - videos labelled 2022-12-09)	pdf	Blatt 10	Lösung 10
11	02.06. (TM cont, Register Machines, Reduction - video in Recording 13.01.2023)	pdf	Blatt 11	Lösung 11
12	09.06. (TM cont, Complexity Theory - video in Recording 20.01.2023)	pdf	Blatt 12	Lösung 12
13	16.06. (Program Verification/Hoare-Triples - videos labelled 2023-01-27)	pdf	Blatt 13	Lösung 13
14	23.06. (repetition for exam - no video)		Blatt 14	Lösung 14

Scriptum

Scriptum available online PDF

1. SL Klausur, Jun 30 8:15-9:00, HS G
2. SL Klausur, Sep 25, 12:15-13:00, HSB 3
1. VO Klausur, Jul 7, 9:15-11:00, HSB 3. Solutions
2. VO Klausur, Sep 26, 13:15-15:00, HSB 3
3. VO Klausur, Feb 2024, TBC