04-00-0090-vu Formale Grundlagen der Informatik II: Logic for ComputerScience

Veranstaltungsdetails

Lehrende: Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: FGdI II

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Syntax und Semantik der Aussagenlogik, semantische Grundbegriffe; funktionale
Vollständigkeit und Normalformen; Kompaktheitssatz der Aussagenlogik;
vollständige Beweiskalküle: Resolution und ein Sequenzenkalkül;
Strukturen und Belegungen; Normalformen und Skolemisierung; der Satz
von Herbrand; Gödelscher Vollständigkeitssatz; Unentscheidbarkeit (Satz
von Church-Turing);

Literatur:
Burris: Logic for Mathematics and Computer Science, Prentice-Hall 1998
Ben-Ari: Mathematical Logic for Computer Science, Springer 1993
Boolos, Burgess, Jeffrey: Computability and Logic, 4th ed., Cambridge University
Press 2002
Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik Spektrum
98
Schöning: Logik für Informatiker, Spektrum 2000
Ein zweiteiliges Skript zur Veranstaltung (Otto 2007) ist auch elektronisch
verfügbar (www.mathematik.tu-darmstadt.de/~otto)

Weitere Informationen:
Der Fachbereich Mathematik ist bemüht, allen Studierenden in den Übungen eine sinnvolle Betreuung zukommen zu lassen. Um dies realisieren zu können, sind wir auf Ihre Mithilfe angewiesen: Falls
Sie planen, nicht oder nur sporadisch an den Übungen teilzunehmen, so wählen Sie bitte bei Ihrer Anmeldung die Übungsgruppe "Gruppe ohne Termin". Dies erleichtert es uns, die Anzahl der tatsächlich benötigten Übungen besser abschätzen zu können.
Herzlichen Dank!

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt:
  • Formale Grundl. d. Informatik II - Gruppe ohne Termin (Kommentar s. oben)

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 1

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 5. Jun. 2013 [08:00]-Mi, 17. Jul. 2013 [09:40]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 10

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 5. Jun. 2013 [08:00]-Mi, 17. Jul. 2013 [09:40]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 13

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 5. Jun. 2013 [09:50]-Mi, 17. Jul. 2013 [11:30]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 14

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 5. Jun. 2013 [09:50]-Mi, 17. Jul. 2013 [11:30]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 18

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 5. Jun. 2013 [11:40]-Mi, 17. Jul. 2013 [13:20]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 2

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 5. Jun. 2013 [11:40]-Mi, 17. Jul. 2013 [13:20]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 3

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 5. Jun. 2013 [11:40]-Mi, 17. Jul. 2013 [13:20]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 4

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 5. Jun. 2013 [14:25]-Mi, 17. Jul. 2013 [16:05]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 5

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 5. Jun. 2013 [14:25]-Mi, 17. Jul. 2013 [16:05]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 7

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Fr, 7. Jun. 2013 [13:30]-Fr, 19. Jul. 2013 [15:10]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 8

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Fr, 7. Jun. 2013 [14:25]-Fr, 19. Jul. 2013 [16:05]

  • Formale Grundlagen der Informatik II: Logic for ComputerScience Exerice 9

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Do, 6. Jun. 2013 [16:15]-Do, 18. Jul. 2013 [17:55]

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Mo, 3. Jun. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
2 Fr, 7. Jun. 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
3 Mo, 10. Jun. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
4 Fr, 14. Jun. 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
5 Mo, 17. Jun. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
6 Fr, 21. Jun. 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
7 Mo, 24. Jun. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
8 Fr, 28. Jun. 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
9 Mo, 1. Jul. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
10 Fr, 5. Jul. 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
11 Mo, 8. Jul. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
12 Fr, 12. Jul. 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
13 Mo, 15. Jul. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
14 Fr, 19. Jul. 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
Lehrende
Prof. Dr. Martin Ziegler
Ph. D. Stephane Le Roux
Ph. D. Davorin Lesnik
M.Sc. Carsten Rösnick