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, 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

To top