Dr. Robert Marti

Zeit und Ort: Mo 16.15 - 18.00, BIN 1.B.01

Inhalt:

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

Information and Coding Theory, Boolean Algebra and Switch Algebra, Predicate Logic, Relations, Trees and Graphs, Syntax and Semantics, Program Assertions, Program Verification, Computability, Complexity Theory.

AP (ECTS): 3

Literatur:

• Clemens Cap: „Theoretische Grundlagen der Informatik“, Springer Verlag Wien, 1993.
  Kapitel 1        Kapitel 3        Kapitel 4        Kapitel 5        Kapitel 12
  
  
• Uwe Schömig: „Ideen der Informatik, Grundlegende Modelle und Konzepte der Theoretischen Informatik“, 3. korrigierte Auflage, Oldenburg-Verlag München, 2008

Folien / Slides:

1. Überblick FGdI HS12
2. Informationstheorie
   Begleittext Information
3. Bool'sche Algebra und Aussagenlogik
   1. Bool'sche Algebra
   2. Aussagenlogik
      1. Russian Spy Problem
4. Prädikatenlogik
5. Relationen
6. Baumstrukturen
7. Graphen
8. Komplexitätstheorie
9. Syntaxanalyse
10. Programmverifikation

Lernziele: 

Die Studierenden lernen formale Methoden und Notationsformen der Informatik kennen und diese anzuwenden.
The course aims to introduce students to the fundamental aspects and applications of formal methods

Zielgruppe: 

Studierende Bachelor Informatik (Richtung Wirtschaftsinformatik) im 1. Semester (Assessmentstufe) und Informatik im Nebenfach.
Recommended for students in: 1st semester of bachelor studies (assessment grade) in Computer Science (specialization of Economic Informatics) or Computer Science as a Minor Subject

Leistungsnachweis:

Ausreichende erfolgreiche Bearbeitung von web-basierten Übungsaufgaben während des Semesters und Teilnahme an der Endklausur, voraussichtlich am Mittwoch, 19. Dezember 2012.
The course grade will be based on the final exam scores, together with the homework grades accumulated during the semester

An-/Abmeldeschluss zur Prüfungszulassung:

An-/Abmeldeschluss ist Freitag, 12. Oktober 2012 (17 Uhr)
Registration deadline on Friday 12th October 2012 (5 p.m.)

Verantwortliche Assistentin und Teaching Assistant:

Viviane Cantaluppi  - Alessandro Rigamonti

Anmeldung zu den Übungen:

Anfang Herbstsemester : http://www.olat.uzh.ch