Prof. Dr. Helmut Schauer

Zeit und Ort: Mi 10.15 - 12.00, BIN 0.K.02    

Inhalt: Information und Codierung, Boole’sche Algebra und Schaltalgebra, Prädikatenlogik, Zusicherungen, Verifikation, Relationen, Bäume und Graphen, Berechenbarkeit, Komplexitätstheorie, Syntax.

AP (ECTS): 3

Literatur:

• Clemens Cap: «Theoretische Grundlagen der Informatik», Springer Verlag Wien, 1993.
  Download (für die Vorlesung relevante Kapitel):
  
  • Kapitel1 (216 KB)
  • Kapitel 3 (192 KB)
  • Kapitel 4 (400 KB)
  • Kapitel 5 (696 KB)
  • Kapitel 12 (308 KB)
• Slides und Applets
  
  • Informationstheorie (344 KB)
  • Begleittext Information (440 KB)
  • Komplexität (168 KB)
  • Boolsche Algebra (734 KB)
  • Prädikatenlogik (196 KB)
  • Baumstrukturen (312 KB)
  • Graphen (144 KB)
  • Syntax (276 KB)
  • Programmentwicklung (300 KB)
  • Programmverifikation (1100 KB)
    
    

Lernziele: Die Studierenden lernen formale Methoden und Notationsformen der Informatik kennen und diese anzuwenden.

Zielgruppe: Studierende Bachelor Informatik (Richtung Wirtschaftsinformatik) im 1. Semester (Assessmentstufe) und Informatik im Nebenfach.

Leistungsnachweis: Ausreichende erfolgreiche Bearbeitung von web-basierten Übungsaufgaben während des Semesters und Teilnahme an der Endklausur. Genaue Bestehenskriterien siehe Übungswebseite im OLAT.
Endklausur am Donnerstag, 10. Januar 2008, ab 9 Uhr im Y24-G-45

Bei Nichtbestehen oder entschuldigtem Versäumnis der Endklausur kann der Leistungsnachweis vor Beginn des darauffolgenden Herbstsemesters 2008 wiederholt werden.

An-/Abmeldeschluss zur Prüfungszulassung: Freitag, 12. Oktober 2007 (17h)

Verantwortlicher Assistent (für interessierte Teaching Assistents): Urs Hugentobler

Weitere Angaben: Begleitend zur Vorlesung werden web-basierte Uebungsaufgaben gestellt.

Anmeldung zu den Übungen: Anfang Wintersemester http://www.olat.unizh.ch