Formale Grundlagen der Informatik 1

Wolfgang Schreiner
326.931, WS 1999/2000 (Beginn: 5. Oktober)
Dienstag, 8:15-9:45, HS 12; 18:45-20:15, HS 5 (Zweittermin)
Sprechstunde: auf Voranmeldung

Klausur 13.11.2000

Ergebnisse Klausur 20.3.2000
Ergebnisse Klausur 1.2.2000

Übungsergebnisse:

Gruppe Petz

Gruppe Windsteiger

Gruppe Danielczyk-Landerl

Gruppe Kulczycki

Hinweise zu den Dateiformaten

Übungen

Gruppe Petz

Gruppe Windsteiger

Gruppe Danielczyk-Landerl

Gruppe Kulczycki

Spielregeln (PostScript.gz) (PDF.gz)

Was bei der Ausarbeitung der Übungen und der Benotung zu beachten ist.

Übung 1 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Abgabetermin 27.10.1999, 8:00-9:00, Kopfgebäude, 4. Stock, Raum 418.
Musterlösung (PostScript.gz, PDF.gz)

Übung 2 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Geänderter Abgabetermin: 9.11.1999, in der VL oder Briefkästen bei Raum 418 (bis 20:00). Musterlösung (PostScript.gz, PDF.gz)

Übung 3 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Abgabetermin: 16.11.1999, in der VL oder Briefkästen bei Raum 418 (bis 20:00).
Musterlösung (TIFF.tar.gz, TIFF.zip)

Übung 4 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Abgabetermin: 23.11.1999, in der VL oder Briefkästen bei Raum 418 (bis 20:00).
Musterlösung (PostScript.gz, PDF.gz)

Übung 5 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Abgabetermin: 30.11.1999, in der VL oder Briefkästen bei Raum 418 (bis 20:00).
Musterlösung (PostScript.gz, PDF.gz)

Übung 6 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Abgabetermin: 7.12.1999, in der VL oder Briefkästen bei Raum 418 (bis 20:00).
Musterlösung (PostScript.gz, PDF.gz)

Übung 7 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Abgabetermin: 14.12.1999, in der VL oder Briefkästen bei Raum 418 (bis 20:00).
Musterlösung (PostScript-a.gz, PostScript-b.gz, PDF-a.gz, PDF-b.gz)

Übung 8 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Abgabetermin: 11.1.2000, in der VL oder Briefkästen bei Raum 418 (bis 20:00).
Musterlösung (PostScript.gz, PDF.gz).

Übung 9 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Geänderter Abgabetermin: 24.1.2000, Briefkästen bei Raum 418 (bis 18:00).
Musterlösung (PostScript.gz, PDF.gz).

Übung 10 (PostScript.gz Deckblatt, Angabe) (PDF.gz Deckblatt, Angabe)

Abgabetermin: 25.1.2000, in der VL oder Briefkästen bei Raum 418 (bis 20:00).
Musterlösung (PostScript.gz, PDF.gz).

Vorlesung

Introduction (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Organisatorisches und Motivation.

The Language of Logic (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Prädikatenlogik erster Stufe mit Gleichheit als Arbeitssprache.

Defining New Notions (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Das richtige Einführen neuer Begriffe.

Sets, Relations, and Functions (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Grundlegende mathematische Bereiche und Begriffe.

Numbers (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Zahlenbereiche und verwandte Begriffe.

Induction (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Induktion als Prinzip zum Definieren und Beweisen.

Proving Propositions (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Die Kunst des Beweisens, d.h., des wissenschaftlichen Argumentierens.

More on Functions 1 (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Weitere Begriffe, Abzählen von Mengen, Einbetten von Mengen.

More on Functions 2 (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Folgen und Reihen, spezielle Funktionen, asymptotische Schranken.

More on Relations 1 (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Äquivalenzrelationen, Klassen, Partitionen, modulare Arithmetik, Konstruktion von Zahlbereichen.

More on Relations 2 (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Partielle Ordnungen, Quasi-Ordnungen, totale Ordnungen, Hasse Diagramme.

More on Relations 3 (Online | PostScript 4->1.gz | PostScript.gz | PDF.gz)

Gerichtete Graphen, Pfade und Erreichbarkeit, Bäume.

Unterlagen (Errata | Online | HTML.zip | HTML.tar.gz | PostScript 2->1.gz | PostScript.gz | PDF.gz)

Bis auf Widerruf ist es ausschließlich den Studierenden der Lehrveranstaltung "Formale Grundlagen der Informatik 1" der Johannes Kepler Universität gestattet, die Files für den persönlichen Gebrauch zu laden und zu drucken.

Until further notice, permission to download and to print for personal use is granted exclusively to students of the course "Formal Foundations of Computer Science 1" at the Johannes Kepler University.

Logic Evaluator

Die in der Lehrveranstaltung verwendete Software.