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

Vorlesung Logik II (SS 2019)

Organisation


Einige Themen

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

Folien (Version vom 3.6.2019)


Übungsblätter


Lehrbücher

  • Uwe Schöning: Logik für Informatiker, Spektrum Akademischer Verlag
Impressum