..
Suche
Hinweise zum Einsatz der Google Suche
Erweiterte Suche
Personensuchezur unisono Personensuche
Veranstaltungssuchezur unisono Veranstaltungssuche
Katalog plus
/ ti / lehre / ss20 / logikii /
 

Vorlesung Logik II (SS 2020)

Aktuelles

Während der Zeit der des universitären Minimalbetriebs werden wir Ihnen wöchentlich per email Arbeitspakete zum Selbststudium schicken.

Bitte stellen Sie sicher, dass Sie im unisono-System für die Vorlesung angemeldet sind, damit Sie alle emails erhalten.

Sollten Sie nicht angemeldet sein, melden Sie sich bitte mit Ihrer Matrikelnummer bei unserer Sekretärin Cristina Böttcher (cristina.boettcher@uni-siegen.de).

Arbeitspakete zum Selbststudium

  • Woche 06.4-10.4: Folie 1-9 (Buch von Ebbinghaus, Flum, Thomas, Seite 160-170)

    Bei Bedarf sollten Sie auch aus der Logik I den Begriff der Struktur aus der Prädikatenlogik wiederholen.

  • Woche 13.4-17.4: Folie 10-20 (Buch von Ebbinghaus, Flum, Thomas, Seite 171-180)

  • Woche 20.4-24.4: Folie 20-30 (Buch von Ebbinghaus, Flum, Thomas, Seite 181-188)

  • Woche 27.4-01.5: Folie 31-39 (Buch von Ebbinghaus, Flum, Thomas, Seite 188-192)

  • Woche 04.5-08.5: Folie 40-52

  • Woche 11.5-15.5: Folie 53-65

  • Woche 18.5-22.5: Folie 66-75

  • Woche 25.5-29.5: Folie 76-86

  • Woche 01.6-05.6: Folie 87-97

  • Woche 08.6-12.6: Folie 98-107

  • Woche 15.6-19.6: Folie 108-117

  • Woche 22.6-26.6: Folie 118-129

  • Woche 29.6-03.7: Folie 130-139

  • Woche 06.7-10.7: Folie 140-150

Organisation

Einige Themen

  • Unentscheidbarkeit in der Prädikatenlogik
  • Die Sätze von Church und Trakhtenbrot
  • Unentscheidbarkeit der Arithmetik und der Satz von Gödel
  • Automatische Strukturen
  • Quantorenelimination (Entscheidbarkeit der reellen Arithmetik)
  • Monadische Logik 2. Stufe und reguläre Sprachen

Folien (Version vom 02.07.2020)

Informationen zu den Übungen

Die Übungsblätter dienen dazu, die in der Vorlesung thematisierten Inhalte durch das Lösen konkreter Aufgaben anzuwenden.
Lösen Sie daher am besten die Aufgaben so gut es geht selbsttständig um den bestmöglichen Lerneffekt zu erzielen.

Um Ihnen das Arbeiten von zu Hause zu erleichtern, stellen wir Ihnen auch Musterlösungen zur Verfügung.
Es ist jedoch weiterhin empfehlenswert, sich zuerst selbstständig am Lösen der Aufgaben zu versuchen und die eigenen Lösungen anschließend mit unseren Lösungen zu vergleichen.
Um diese Arbeitsweise zu unterstützen, werden die Lösungen zeitversetzt zu den Aufgaben veröffentlicht. Die ersten Lösungen finden Sie am 13.04 online, anschließend folgt jeden Montag eine weitere Musterlösung.

Wir empfehlen Ihnen das jeweilige Übungsblatt spätestens in der Woche vollständig zu bearbeiten, wenn die dazugehörige Lösung und das nächste Übungsblatt online gestellt werden. 

 

Übungsblätter

Lehrbücher

Impressum
Aktualisiert via XIMS am 6.7.2020 von D. Hucke