Dr. Tudor Gîrba (www.tudorgirba.com)
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
Folien / Slides:
- Introduction (slides.pdf)
- Computational Thinking (slides.pdf, handouts.pdf)
Further reading:
http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/Wing06.pdf
http://cs.gmu.edu/cne/pjd/GP/overviews/ov_computation.pdf - Boolean Algebra (Propositional logic) (slides.pdf, handouts.pdf)
Further reading:
Theoretische Grundlagen der Informatik, Chapter 1 - Predicate Logic (slides.pdf, handouts.pdf)
Further reading:
Theoretische Grundlagen der Informatik, Chapter 3 - More Logic (slides.pdf, handouts.pdf)
- Relations (slides.pdf, handouts.pdf)
Further reading:
Theoretische Grundlagen der Informatik, Chapter 4 - Trees (slides.pdf, handouts.pdf)
Traversal Examples
Further reading:
Theoretische Grundlagen der Informatik, Section 5.9 - Graphs (slides.pdf, handouts.pdf)
Further reading:
Theoretische Grundlagen der Informatik, Sections 5.1-5.8 - Complexity (slides.pdf, handouts.pdf)
Further reading:
Theoretische Grundlagen der Informatik, Chapter 12 - Program Verification (slides.pdf, handouts.pdf)
- Models and Languages (slides.pdf, handouts.pdf)
- Programming Languages (slides.pdf, handouts.pdf)
- Overview (slides.pdf)
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 Dienstag, 21. Dezember 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, 15. Oktober 2010 (17 Uhr)
Registration deadline on Friday 15th October 2010 (5 p.m.)
Verantwortliche Assistentin und Teaching Assistans:
Viviane Cantaluppi - Robin Engbersen - Marco Fischer
Hinweis:
Die Vorlesung wird auf Englisch gehalten und die Übungen werden auf Deutsch sein. Die Prüfung wird in Englisch und Deutsch zur Verfügung gestellt.
The course will be taught in English and the exercises will be in German. The exam will be provided in English and German.
Anmeldung zu den Übungen:
Anfang Herbstsemester : http://www.olat.uzh.ch
Prüfung vom 21.12.2010:
Die Prüfung findet am Dienstag 21.12.2010 um 14 Uhr statt. (Prüfung beginnt pünktlich). Ort der Prüfung ist das Messezentrum in Oerlikon.
The final exam date is the 21. December 2010 at 2pm (14:00) and takes place at the 'Messezentrum Oerlikon' (Exam starts punctual) .
Gruppenprojekte:
1. Gruppenprojekt:
Task: Pick 5 real-world examples and describe the computation and information behind them.
Details: This is an open project, meaning that it is up to you to decide what and how you want to make it. A source of inspiration can be the examples from the Computational Thinking lecture.
The deadline is on Sunday, October 31, at 23:59.
2. Gruppenprojekt:
You are in Group X.
Task: Pick the 5 examples of the submitted first project by the group with number ((X mod 32) + 1), and for each example:
- evaluate it: interesting, unexciting, strange
- provide feedback: what you liked, and what could/should be done differently
- provide a variation and describe the models, languages, and algorithms complexity involved
The deadline is on Sunday, December 12, at 23:59.