Inhalt

• Allgemeines
• Vorlesung
• Übungen

Allgemeines

• Semester: SS 2002
• Dozent: Prof. Dr. K. Madlener
• Betreuer:
  • Tobias Wahl
  • Dr. Andrea Sattler-Klein

Vorlesung

• Eintrag im Vorlesungsverzeichnis:
  • 89-022
  • 2 Std. Vorlesung
    Mi. 11.45-13.15 Uhr, 52-207
    1 Std. Übung
    n.V., s. Aushang
    Beginn: 17.04.02
  • Aussagen- und Prädikatenlogik, logische Kalküle, Vollständigkeits- und Kompaktheitssätze sowie Anwendung in der Informatik.
  • Schöning: Logik für Informatiker.
    Nissanke: Introductory Logic and Sets for Computer Scientists.
  • Mathematik für Informatiker I,II oder HM 1-3.
  • Leistungsnachweis nach erfolgreicher Teilnahme an Übungen und Abschlussklausur.
  • Pflichtveranstaltung im Grundstudium "Informatik" und "Technoinformatik".
• Weitere Literatur: (BibTeX-File)
• Folien: -17, 18-34, 35-52, 53-57, 58-72, 73-90, 91-101, 102-110, 111-119, 120-132, 133-149, 150-161
• Das Skript zur Vorlesung. (erster Teil, zweiter Teil, letzter Teil)

Übungen

• Die Übungstunde findet Dienstags um 10 Uhr im Hörsaal 46-220 statt.
• Übungsblätter: 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11