Logic and Verification (BSc)

Personen

Prof. Dr. Jürgen Dix
Tobias Ahlbrecht (B.Sc.)

Die Betreuung in Göttingen übernimmt:

Maria Moloci
(maria.moloci [at] gwdg.de)

Wichtig!

  • Vorlesungsbeginn: Montag, der 13. April um 10:00 Uhr.
  • Anmeldung: Anmeldung im StupIP-System erforderlich. Alle weiteren Informationen (News, Aufgabenzettel,...) werden dort bereitgestellt. Eine Anmeldung wird bis Mai möglich sein.

Übungen, Scheine und Prüfungen

  • Übungen: Die Lösungen müssen zum entsprechenden Abgabetermin abgegeben werden.
  • Teilnahmeschein: Abgabe der Aufgabenzettel in Gruppen von 2 Studenten und mindestens 50% der Gesamtpunktzahl aller Aufgabenzettel **und** 25% der Punkte von jedem (bis auf einen) Zettel.
  • Prüfung: (vorauss.) 30. September 2015, 09:00 (Klausur)
  • Übungstermine:
    • 28. April: Übung I (Veröffentlichungstag 13.04.)
    • 05. Mai: Übung II (Veröffentlichungstag 20.04.)
    • 19. Mai: Übung III (Veröffentlichungstag 04.05.)
    • 09. Juni: Übung IV (Veröffentlichungstag 18.05.)
    • 23. Juni: Übung V (Veröffentlichungstag 01.06.)
    • 30. Juni: Übung VI (Veröffentlichungstag 15.06.)
    • 14. Juli: Übung VII (Veröffentlichungstag 29.06.)

Downloads

Logic-2015.pdf

Slides (Chapter 1-7)

uebung1.pdf

Übung 1

uebung2.pdf

Übung 2

uebung3.pdf

Übung 3

uebung4.pdf

Übung 4

uebung5.pdf

Übung 5

uebung6.pdf

Übung 6

uebung7.pdf

Übung 7

 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019