Aktuell


Viele Hörer der Vorlesung haben Probleme mit mathematischen Denkweisen. Evtl. kann Ihnen da das sehr schöne Buch "Wie man mathematisch denkt" von Kevin Houston erschienen in Springer Spektrum helfen. In diesem Buch finden Sie Beispiele und Vorschläge für korrektes Arbeiten.

Vorlesungsvideo


  • Bitte schauen Sie Video Logik 13 - Einstieg in die Berechenbarkeitstheorie und notieren Sie sich Fragen & Bemerkungen. Der Zugang zu PanOpto findet sich auf der geschützten Seite.

Übungen


  • 1. Übungsblatt vom 26.10.2022
  • 2. Übungsblatt vom 2.11.2022
  • 3. Übungsblatt vom 10.11.2022
  • 4. Übungsblatt vom 17.11.2022
  • 5. Übungsblatt vom 23.11.2022
  • 6. Übungsblatt vom 7.12.2022
  • 7. Übungsblatt vom 17.12.2022
  • 8. Übungsblatt vom 12.1.2023
  • 9. Übungsblatt vom 19.1.2023
  • 10. Übungsblatt vom 26.1.2023

Praktikum


Noch nichts vorhanden

Verwendete Folien und Bilder


Noch nichts verfügbar

Skript


Ein vorläufiges Skript und die Notizen der Vorlesungen finden sie später im geschützten Bereich.

Literatur


Eine gutes englischsprachiges Buch zur Vorlesung ist Logic for Computer Scientists (Modern Birkhäuser Classics) by Uwe Schöning 


Links


  • Noch keine vorhanden

Fragen, Bemerkungen oder Verbesserungsvorschläge? Bitte EMail an Steffen Reith

Letzte Änderung: 02.11.24