Dr. Laura Kovacs

Zeit und Ort: Mi 10.15 - 12.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:

• Empfohlene Literatur:
  Clemens Cap: „Theoretische Grundlagen der Informatik“, Springer Verlag Wien, 1993.
  Kapitel 1        Kapitel 3        Kapitel 4        Kapitel 5        Kapitel 12
  
  
• Weiterführende Literatur:
  Michael Sipser: „Introduction to the Theory of Computation”. Second (International) Edition, Thomson Course Technology, 2005.
  
  
• Weiterführende Literatur:
  Glynn Winskel: „The Formal Semantics of Programming Languages - An Introduction”. MIT Press, 1993.
  
  

News

• Office hours for answering question on course material:
  4 January 2010 - 14-18 Uhr
  ETH Zentrum, RZ Bulding (Clausiusstrasse 59), Office F9
  
  

Folien / Slides:

• Lecture 1      Übersicht / Overview - L1 Information - Additional material (in German)
• Lecture 2      Information Theory
• Lecture 3      BoolAlgebra
  
• Lecture 4      PredLogic - RussianSpy
• Lecture 5      PredLogic - Test your knowledge with the revision examples
• Lecture 6      Relations
• Lecture 7      Relations - revision solutions
• Lecture 8      Program Verification
• Lecutre 9      Program Verification - Test your knowledge with the revision examples 2
                      + home exercises for practicing
• Lecture 10    Trees
• Lecture 11    Graphs - revision solutions 2
• Lecture 12    Complexity - revision examples 3
• Lecture 13    Complexity (revised) - revision solution 3 - Summary
  
  
  

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 the 1st semester of bachelor studies (assessment grade) in Computer Science (specialization of Economic Informatics) and 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, 6. Januar 2010 von 14 – 16 Uhr.

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, 9. Oktober 2009 (17 Uhr)

Registration deadline on Friday 9th October 2009 (5 p.m.)

Verantwortliche Assistentin:
Viviane Cantaluppi

Hinweis:
Die Vorlesung wird auf Englisch gehalten. Die Unterlagen werden in Deutsch verfügbar sein.

The course will be taught in English. The course material will be available online in German

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