Formale Modellierung
Vorlesungsfolien
Hier werden die Vorlesungsfolien zu finden sein.
Die Vorlesungsfolien sind jeweils verfügbar als ganzseitiges PDF zum Betrachten, oder als 8:1 Handzettel ohne Effekte zum Drucken:
- Alle Vorlesungen in einer Datei: [Folien] [Handzettel]
- Vorlesung vom 24.04.14: [Folien] [Handzettel]
- Vorlesung vom 28.04.14: [Folien] [Handzettel]
- Vorlesung vom 05.05.14: [Folien] [Handzettel]
- Vorlesung vom 12.05.14: [Folien] [Handzettel]
- Vorlesung vom 19.05.14: [Folien] [Handzettel]
- Vorlesung vom 26.05.14: [Folien] [Handzettel]
- Vorlesung vom 02.06.14: [Folien] [Handzettel]
- Vorlesung vom 05/12.06.14: [Folien] [Handzettel]
- Übung vom 16.06.2014: Infos zum Beweisen und Spezifizieren mittels konservativer Erweiterungen in Isabelle/HOL: Vorlesung20140616.thy
- Vorlesung vom 16.06.14: [Folien] [Handzettel]
- Vorlesung vom 23.06.14: [Folien] [Handzettel]
- Vorlesung vom 30.06.14: [Folien] [Handzettel]
- Vorlesung vom 07.07.14: [Folien] [Handzettel]
- Vorlesung vom 14.07.14: [Folien] [Handzettel]
- Vorlesung vom 21.07.14: [Folien] [Handzettel]