Search:
 
 

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:

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

To top