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):- Kapitel 1 (216 KB)
- Kapitel 3 (192 KB)
- Kapitel 4 (400 KB)
- Kapitel 5 (696 KB)
- Kapitel 12 (308 KB)
- Vorlesungs-Slides:
- Überblick FGdI HS08 (2150 KB)
- Begleittext Information (438 KB)
- Informationstheorie (1159 KB)
- Boole'sche Algebra NEU (1355 KB)
- Prädikatenlogik (1550 KB)
- Programmentwicklung (155 KB)
- Komplexität (575 KB)
- Baumstrukturen NEU (179 KB)
- Graphen (281 KB)
- Relationen NEU (1051 KB)
- Syntax (149 KB)
- Aufgaben (248 KB)
- Geschichte (4115 KB)
- Podcast:
Die Aufzeichnung der Vorlesungen können unter den folgenden Links betrachtet werden.- Vorlesungen FGdI - Alle Formate (Flash, QuickTime, iPod)
- Vorlesungen FGdI - RSS feed (Flash)
- Vorlesungen FGdI - iTunes Podcast (QuickTime)
- Vorlesungen FGdI - iTunes Podcast (iPod)
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, voraussichtlich am Freitag, 9. Januar 2009 von 9 – 11 Uhr im ETA F5.
An-/Abmeldeschluss zur Prüfungszulassung: Freitag, 10. Oktober 2008 (17h)
Verantwortliche Assistentin: Viviane Cantaluppi
Weitere Angaben: Begleitend zur Vorlesung werden web-basierte Uebungsaufgaben gestellt.
Anmeldung zu den Übungen: Anfang Herbstsemester http://www.olat.unizh.ch