Logic and Verification (BSc)

Personen

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

Die Betreuung in Göttingen übernimmt:

Dr. Mehmet Gültas
(gueltas [at] informatik.uni-goettingen.de)

Wichtig!

  • Vorlesungsbeginn: Montag, der 11. April um 10:00 Uhr.
  • Anmeldung: Anmeldung im StudIP-System erforderlich. Alle weiteren Informationen (News, Aufgabenzettel,...) werden dort bereitgestellt.
  • Anmeldung der Göttinger Studenten: Ebenfalls über StudIP.
  • Videoaufzeichnung: Vorlesung aus dem SS 2016

Übungen, Scheine und Prüfungen

  • Übungen: Die Lösungen müssen zum entsprechenden Abgabetermin abgegeben werden.
  • Teilnahmeschein: Abgabe der Aufgabenzettel in Gruppen von (bis zu) 2 Studenten und mindestens 50% der Gesamtpunktzahl aller Aufgabenzettel **und** 20% der Punkte von jedem (bis auf einen) Zettel und 2 mal in der Übung "vorrechnen".
  • Prüfung: (vorauss.) 29. September 2016, 09:00 (Klausur, 120 Min.)
  • Vorlesungstermine: Montags und Dienstags, 10:00 Uhr (ausgenommen Pfingstwoche und Übungstermine)
  • Übungstermine: (jeweils 10:00 Uhr)
    • 26. April: Übung I (Veröffentlichungstag 11.04.)
    • 10. Mai: Übung II (Veröffentlichungstag 25.04.)
    • 24. Mai: Übung III (Veröffentlichungstag 09.05.)
    • 07. Juni: Übung IV (Veröffentlichungstag 23.05.)
    • 21. Juni: Übung V (Veröffentlichungstag 06.06.)
    • 05. Juli: Übung VI (Veröffentlichungstag 20.06.)
    • 12. Juli: Übung VII (Veröffentlichungstag 27.06.)

Downloads

Logic-2016-Kap-1-5.pdf

Slides

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