..
Suche

Personensuche
Veranstaltungssuche
Katalog der UB Siegen
/ fb6 / tcs / teaching / ws1011 / logik /
 

Logik Wintersemester 2010/11

Termine

Vorlesung Mi 10:00 - 12:00 EN-B 030

Fr 13:00 - 15:00 EN-D 201
 

Übung Do 15:00 - 17:00 EN-D 201

Ankuendigungen

In der ersten Woche des Semesters finden keine Übungen statt.

Mitarbeiter:

Hannes Diener  

 

Unterlagen:

Unterlagen und Übungsaufgaben

Logik

Mit Logik und logischem Denken haben sich über Jahrhunderte Philosophen, Sprachwissenschaftler, Psychologen und Mathematiker beschäftigt. Anligen der mathematischen Logik ist einerseits die Untersuchung der Grundlagen der Mathematik. Zum anderen hat sie das Ziel, die Sprache der Mathematik und vor allem die mathematischen Beweise zu formalisieren. Anlaß für das Interesse der Informatiker an der Logik ist die sogenannte "Softwarekrise", die durch kritische Fehlalarme in Verteidigungsprogrammen des US-Militärs ausgelöst wurde. Daraufhin wurden Kalküle entwickelt, die es dem Programmierer ermöglichen, Korrektheitsbeweise für umfangreiche Softwarepakete mit Unterstützung des Rechners auszuführen.

Inhalt:

  • Aussagenlogik
  • Prädikatenlogik 1. und 2. Stufe
  • Herleitungen, natürliches Schließen
  • mathematische Theorien
  • Resolution, Herbrand-Theorien, Resolutionskalkül
  • Logikprogrammierung
  • Intuitionistische Logik