Navigation auf uzh.ch
Navigation auf uzh.ch
Die Vorlesung "Formale Grundlagen der Informatik" wird 4-stündig abgehalten: Montag 10:15-11:45 im Hörsaal 40 Uni Irchel und Freitag 10:15-11:45 im Hörsaal 55 Uni Irchel.
Die Besprechungen der Hausaufgaben finden am Freitag 12:15-13:45 im Hörsaal 20 Uni Irchel statt.
Die Klausuren finden Freitags jeweils verteilt auf die beiden Hörsäle 20 und 55 von 12:00-12:45 statt. Für die genauen Daten, siehe separate Seite zu den Hausaufgaben und Klausuren.
Dr. Norbert E. Fuchs
Leiter der Lehrveranstaltung
635 43 13
fuchs@ifi.unizh.ch
Gérard Milmeister
Assistent, Übungen
635 67 18
milmei@ifi.unizh.ch
Jody Weissmann
Assistent, Übungen
635 43 17
jody@ifi.unizh.ch
Tobias Kuhn
Assistent, Übungen
t.kuhn@gmx.ch
Fachliche und organisatorische Fragen beantworten wir Ihnen gerne in der Vorlesung und in der Übungsstunde. Auch Ihre Kollegen werden von den zusätzlichen Erläuterungen profitieren.
Für jede Form von Feedback, für Vorschläge und Kritik sind wir auch in der Lehrveranstaltung selber oder per Email (siehe oben) offen. Bei technischen oder organisatorischen Problemen wenden Sie sich am besten an die Assistierenden.
| Dokument | |
|---|---|
| Inhaltsübersicht | Inhalt.pdf |
| Merkblatt mit Testatbedingungen, Ablauf der Übungen etc. | Merkblatt_Testate.pdf |
| Literaturliste | Literaturliste.pdf |
| Thema | PDF (1up / 4up) |
|---|---|
| Mengen, Relationen und Funktionen | Mengen.pdf / Mengen.4.pdf |
| Partiell geordnete Strukturen | Ordnungen.pdf / Ordnungen.4.pdf |
| Aussagenlogik | Aussagenlogik.pdf / Aussagenlogik.4.pdf |
| Prädikatenlogik | Praedikatenlogik.pdf / Praedikatenlogik.4.pdf |
| Inkonsistenz & Co. | Inkonsistenz_Co.pdf |
| Resolution | Resolution.pdf / Resolution.4.pdf |
| Tableaux | Tableaux.pdf / Tableaux.4.pdf |
| Tableaux-Beweis Beispiele | Tableaux_Beweis.pdf |
| Beispiele SLD-Beweis | SLD_Baum_Pfad.pdf / SLD_Baum_Pfad1.pdf |
| Induktion | Induktion.pdf / Induktion.4.pdf |
| Sprachen & Automaten | Sprachen_Automaten.pdf / Sprachen_Automaten.4.pdf |
| Berechenbarkeit | Berechenbarkeit.pdf / Berechenbarkeit.4.pdf |
| Halte- und Korrektheitsprobleme | Halte_Korrektheitsprobleme.pdf / Halte_Korrektheitsprobleme.4.pdf |
| Graphen | Graphen.pdf / Graphen.4.pdf |
