en | de

Introduction to Theoretical Computer Science

bachelor program

VO2 + PS1  SS 2023  703007 + 703062

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