Formal Methods 2 (SoSe 2020)

1. Formalia & Einführung 2020-04-23

2. Wahrheitsfunktionale Konnektoren & Syntax von AL 2020-04-30

3. Semantik von AL, Entscheidungsverfahren für AL & Definierbarkeit von Konnektoren 2020-05-07

4. Natürliches Schließen in AL 2020-05-14

5. Die Grenzen von AL & Prädikate & Individuenterme 2020-05-21

6. Quantoren & Syntax von PL1 2020-05-28

7. Quantoren & Syntax von PL1 2020-06-02

8. Semantische Repräsentation mit PL1 2020-06-11

9. Natürliches Schließen in PL1 2020-06-18

10. Semantik von PL1 2020-06-25

11. Semantik von PL1 2020-07-02