form_grund0607

Prof. Helmut Schauer

Zeit und Ort: Mi 10 - 12, 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

Unterrichtsmaterial:

Clemens Cap, "Theoretische Grundlagen der Informatik", Springer Verlag Wien, 1993, ISBN: 3211825274
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)
Folien und Applets

Download Folien:

Informationstheorie: PPT-Datei (908 KB) oder PDF-Datei (344 KB)
Begleittext Information: PDF-Datei (440 KB)
Boolesche Algebra: PPT-Datei (900 KB) oder PDF-Datei (544 KB)
Update Prädikatenlogik: PPT-Datei (336 KB) oder PDF-Datei (196 KB)
Update Komplexität: PPT-Datei (176 KB) oder PDF-Datei (168 KB)
Update Baumstrukturen: PPT-Datei (160 KB) oder PDF-Datei (312 KB)
Graphen: PPT-Datei (224 KB) oder PDF-Datei (144 KB)
Relationen: PPT-Datei (176 KB) oder PDF-Dataei (172 KB)
Programmentwicklung: PPT-Datei (232 KB) oder PDF-Datei (192 KB)

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

Leistungsüberprüfung: Ausreichende erfolgreiche Bearbeitung von Übungsaufgaben während des Semesters und Teilnahme an der Endklausur. Genaue Bestehenskriterien siehe Web-Seite zur Vorlesung.

Bei Nichtbestehen oder entschuldigtem Versäumnis der Endklausur kann der Leistungsnachweis vor Beginn des darauffolgenden Wintersemesters 2007/08 wiederholt werden.

Termine:
An- und Abmeldeschluss: Fr 17.11.2006, 17 Uhr

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

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

To top