Formale Methoden der Informatik (WiWi)
础苍办眉苍诲颈驳耻苍驳
Die Einsicht der Nachlausur ist am Dienstag (22.4.08) von 10:00 bis 11:30 Uhr in O27/531 m枚glich.
笔谤眉蹿耻苍驳蝉迟别谤尘颈苍:
am 18.02. um 14:00 - 16:00 Uhr
18.2.2008: Die L枚sung zur Klausur
Die Pr眉fungsergebnisse gibt es hier: korrigierte Ergebnisse
Einige Personen haben sich zur Pr眉fung angemeldet, sind aber unentschuldigt nicht erschienen. Dies ergibt die Note 5,0.
Die Klausuren k枚nnen eingesehen werden. Der Termin hierzu wird noch hier bekanntgegeben.
7.2.08: Die Anmeldung zur Pr眉fung ist ab sofort m枚glich!
贬枚谤蝉补补濒-窜耻辞谤诲苍耻苍驳:
| Anfangsbuchstabe des Nachnahmen | 贬枚谤蝉补补濒 |
| A - E | H 1 |
| F - K | H 22 |
| L - O | H 20 |
| P - S | H 2 |
| T - Z | H 3 |
Keine Hilfsmittel erlaubt! Studenten deren Muttersprache nicht Deutsch ist, d眉rfen ein W枚rterbuch verwenden.
Inhalt
Von realen Systemen, samt aller betreffenden Einwirkungen und Auswirkungen, macht man sich formale Modelle, um diese im Computer speichern, bearbeiten, analysieren, weiter berechnen bzw. Voraussagen erm枚glichen zu k枚nnen. Solche Modelle k枚nnen sein: (Differential-) Gleichungen, Formeln, logische Aussagen, Graphen, Automaten, Grammatiken, Algorithmen, u.a.m. Informatiker haben ein Vielzahl derartiger Modelle, Konzepte, Beschreibungsmethoden f眉r komplexe Sachverhalte entwickelt, bzw. aus der Mathematik, Linguistik oder Elektrotechnik entlehnt. Diese Modellierungsm枚glichkeiten und die dahinter stehenden "algorithmischen Denkweisen" sollen in dieser Vorlesung behandelt werden. Im Einzelnen werden behandelt: Graphen, Grammatiken, Automaten, Berechenbarkeit, NP-Vollst盲ndigkeit, Anwendungen in der Kryptografie, formale Logik.
Literatur
- Uwe Sch枚ning: Ideen der Informatik, Oldenbourg Verlag.
脺产耻苍驳别苍
| Blatt | Vorlesungsstoff | Material / Links | 尝枚蝉耻苍驳蝉惫辞谤蝉肠丑濒补驳 |
| Blatt 1 | Graphen | L枚sung 1 | |
| Blatt 2 | Graphen | L枚sung 2 | |
| Blatt 3 | Graphen | L枚sung 3 | |
| Blatt 4 | Graphen | L枚sung 4 | |
| Blatt 5 | Graphen | L枚sung 5 | |
| Blatt 6 | Graphen,Petri-Netze | L枚sung 6 | |
| Blatt 7 | Grammatiken | L枚sung 7 | |
| Blatt 8 | Endliche Automaten | L枚sung 8 | |
| Blatt 9 | Konstruktionen mit endlichen Automaten | L枚sung 9 | |
| Blatt 10 | regul盲re Ausdr眉cke, Syntaxdiagramme | L枚sung 10 | |
| Blatt 11 | Entscheidbarkeit, Halteproblem | L枚sung 11 | |
| Blatt 12 | Aussagenlogik I | L枚sung 12 | |
| Blatt 13 | Aussagenlogik II | L枚sung 13 | |
| Blatt 14 | Codierungstheorie | L枚sung 14 | |
| Blatt 15 | Probeklausur |
Dozent
Vorlesungszeiten
Mittwoch 14:00 - 16:00 H22
Donnerstag 10:00 - 12:00 H20
脺产耻苍驳蝉濒别颈迟别谤
Tutorien
Alle R盲ume befinden sich in O27
| Termin | Raum | Semester |
| Mo 10-12 | 122 | 1 |
| Do 10-12 | 3211 | 3 |
| Di 08-10 | 2003 | 1 |
| Mi 10-12 | 121 | 3 |
| Do 10-12 | H20 | 3 |
| Fr 08-10 | H21 | 1 |
| Fr 12-14 | 123 | 1 |