Abteilung Formale Konzepte

Universität Stuttgart Institut für Formale Methoden der Informatik Breitwiesenstr. 20/22 D-70565 Stuttgart

Lageplan
Stadtplan
Abteilung
Institut
Fakultät
Universität

Vorlesung: Formale Methoden (Wirtschaftsinformatik)

Pflichtbereich 3. Semester Wirtschaftsinformatik

Folien - Übungsblätter und aktuelle Informationen - Musterlösung

Vorlesung	2V+1Ü

Dozenten:	Claus
	N.N.

Termine:	Fr	10:15 bis 11:45	im 2.026	Vorlesung	ab 18.10.
Übungen:	Fr	12:15 bis 13:45	im 2.026	Übung 14-tägig	ab 01.11.

Beschreibung

Die detailierte Beschreibung (ps, pdf) wurde den Studenten ausgeteilt.

Voraussetzungen

Mathematische Grundkenntnisse aus einer mindestens 4-SWS-Mathematikvorlesung und die Informatikinhalte aus den Grundvorlesungen "Einführung in die Informatik I und II" (vor allem Programmierung und Datenstrukturen).

Ablauf der Vorlesung / Folien

18.10.	0. Vorbemerkungen 0.1 Zur Vorlesung 0.2 Mathematisches (Erinnerung und Zusammenfassung)
18.10. bis 29.11.	1. Berechnungsmodelle 1.1 Algorithmen 1.2 Mathematische Maschinen 1.3 Grammatiken 1.4 Churchsche These 1.5 Endliche Automaten
29.11. bis 20.12.	2. Nebenläufigkeit (Prozesse) 2.1 Prozesse 2.2 Petrinetze
10.01. bis 07.02.	3. Logik und Kalküle 3.1 Aussagenlogik 3.2 Grundbegriffe der Prädikatenlogik 3.3 Temporale Logik 3.4 (algebraischer Kalkül) CCS

Übungsblätter

Übungsblatt 1 (ps), (pdf)

Da höchstens 30 Teilnehmer(innen) erwartet werden, erfolgen die Verwaltung und Abgabe der Übungen in altem Stil mit Übungsblättern und Papierlösungen.

Sonstiges

Backtracking-Modul (ps), (pdf)
Musterlösung (DOC)

Impressum

Last modified: Mon Mar 24 16:04:05 CET 2003