Lehrveranstaltungsleiter: Bernhard Gramlich, Marion Oswald
Diese Lehrveranstaltung ist ein Pflichtfach in den Bakkalaureatsstudien der Informatik, im Bakkalaureatsstudium Informatikmanagement, im Universitätslehrgang Datentechnik, im Lehramtsstudium Informatik und Informatikmanagement, sowie im Bakkalaureatsstudium Wirtschaftsinformatik gemäß dem ab Wintersemster 2001/2002 gültigen Studienplan.
Übungs- und Prüfungsergebnisse zum WS2009 (inkl. Prüfung 21.1.2010) gibt es auf https://ugm.logic.at
Einsichtnahme in die Prüfung vom 21.1.: Freitag, 5.3.2010, 11.00 - 12.00 Uhr, am Institut
Die Anmeldung zur Prüfung am 26.3.2010 ist bis 25.3.2010 im TUWIS++ möglich.
Skriptum: Das Skriptum ist zu den Institutsstunden im Sekretariat des Arbeitsbereichs Theoretische Informatik und Logik des Instituts für Computersprachen, Favoritenstraße 9, 3.OG, Stiege 2 erhältlich. (Das Skriptum kostet 15 Euro.)
Antworten auf häufig gestellte Fragen gibt es hier.
Ziel dieser Lehrveranstaltung ist die Vermittlung von Grundbegriffen der theoretischen Informatik und ihrer Methodik. Im Einzelnen werden folgende Themen behandelt.
Der Vorlesungsteil findet geblockt zu folgenden Terminen statt:
Erste Vorlesung WS 2009: Donnerstag, 8. Oktober 2009, 18:15, Informatik Hörsaal.
Der Vorlesungsteil wird bereits im Dezember enden, sodass im Semesterschnitt
ein der Lehrveranstaltungsankündigung entsprechender Umfang erreicht wird.
ACHTUNG: Repetitorium eine Woche vor der Prüfung am 21.1.2010:
Zur Prüfungsvorbereitung bieten wir zwei Zusatztermine (zu den üblichen VO-Zeiten, ohne neuen Stoff) an, speziell für Fragen, zur Wiederholung von wichtigen Inhalten / Konzepten der Lehrveranstaltung sowie zum praktischen Üben anhand konkreter Beispiele und Aufgabenstellungen.
Konkrete Sondertermine (Repetitorium):
Der Übungsteil wird in Gruppen zu je 20 Studierenden abgehalten, die von TutorInnen betreut werden.
Die Anmeldung zu einer Übungsgruppe ist hier ab 9.10.2009, ca. 18:00, möglich (Zertifikat akzeptieren, TU-Passwort = TUWIS++ Passwort)
Erste Übungseinheit: 21.10. bzw. 22.10.2009.
Zum Einstieg: Learning mathematics - Some hints from the psychologists (Wilfrid Hodges)
Skriptum: Das Skriptum ist zu den
Institutsstunden im Sekretariat des Arbeitsbereichs
Theoretische Informatik und Logik des
Instituts für Computersprachen, Favoritenstraße 9, 3.OG, Stiege 2
erhältlich. (Das Skriptum kostet 15 Euro.)
Vorlesungsfolien (im PDF-Format –
werden im Laufe des Semesters hier zur Verfügung gestellt):
Folien 1–30 (Einleitung, reguläre Sprachen)
Folien 31–51 (Endliche Automaten, reguläres Pumping Lemma), Zusatz:
Das Pumping Lemma in Gedichtform
Folien 52–102 (Grammatiken, kontextfreie Sprachen)
Folien 103–140 (Chomsky-Hierarchie, Grenzen der Berechenbarkeit)
Folien 141–176 (Turingmaschinen, (Un)Entscheidbarkeit, L-Systeme),
Zusatzfolien: Turingmaschinen Beispiel (a^3b^3c^3)
Folien 177–206 (Syntax und Semantik von Termen, ..., Programmiersprachen)
Folien 207–219 (Logik - Einführung und Anwendungen)
Folien 220–238 (Aussagenlogik (AL) - Grundlagen und Grundbegriffe)
Folien 239–261 (AL - Sequentialkalkuel, Tableaux)
Folien 262–279 (AL - Resolution)
Folien 280–311 (Prädikatenlogik (PL) - Grundlagen, Tableaux),
Zusatzfolien:
PL - Ausdrucksstärke / Grenzen
Folien 312–361 (PL - Klauselform, Unifikation, Resolution),
Zusatzfolien:
Logik in der Informatik - Ausblick
Folien 1–361 (alle Folien zusammen, außer Zusatzfolien)
Übungsblätter (im PDF-Format –
werden im Laufe des Semesters hier zur Verfügung gestellt):
Blatt 10 (mit Lösungen) (13.1. bzw. 14.1.2010)
Blatt 9 (mit Lösungen) (16.12. bzw. 17.12.2009)
Blatt 8 (mit Lösungen) (9.12. bzw. 10.12.2009)
Blatt 7 (mit Lösungen) (2.12. bzw. 3.12.2009)
Blatt 6 (mit Lösungen) (25.11. bzw. 26.11.2009)
Blatt 5 (mit Lösungen) (18.11. bzw. 19.11.2009)
Blatt 4 (mit Lösungen) (11.11. bzw. 12.11.2009)
Blatt 3 (mit Lösungen) (4.11. bzw. 5.11.2009)
Blatt 2 (mit Lösungen) (28.10. bzw. 29.10.2009)
Blatt 1 (mit Lösungen) (21.10. bzw. 22.10.2009)
Weiterführende Literatur. Eine kommentierte Liste mit Literaturhinweisen finden Sie hier.
TU-Help-Forum: Bei Fragen zum Stoff können Ihnen vielleicht auch Ihre KollegInnen im TU-Help-Forum unter www.informatik-forum.at weiterhelfen.
Interaktive Übungshilfen: Java Formal Languages and Automata Package (JFLAP); Programme, z.B., zum Ableiten im Sequential- oder Tableaux-Kalkül gibt es hier.
Die Gesamtbeurteilung ergibt sich aus der in den Übungseinheiten erbrachten Leistung sowie aus dem Ergebnis der Prüfung über den Vorlesungsteil. Eine genaue Beschreibung finden Sie hier.
Die Beurteilung des Vorlesungsteiles erfolgt aufgrund einer schriftlichen Prüfung am Ende des Semesters. Im darauffolgenden Semester werden drei Ersatztermine angeboten, die bei Nichtbestehen oder Versäumen eines vorangehenden Termins oder auch zwecks Notenverbesserung wahrgenommen werden können. Für die endgültige Beurteilung wird der beste Antritt gewertet.
Bei der Prüfung zugelassene Unterlagen: Skriptum sowie Ausdruck der Vorlesungsfolien. KEINE gelösten Übungsbeispiele!
Für alle Termine ist eine Anmeldung über TUWIS++ bis einen Tag vor der Prüfung erforderlich! Überprüfen Sie vor der Anmeldung, ob Sie zur Teilnahme an der Prüfung berechtigt sind (siehe Beurteilungsmodus ).
Übungs- und Prüfungsergebnisse zum WS2008 gibt es auf https://ugm.logic.at
| WS2009 | 21.01.2010 | |||
|---|---|---|---|---|
| WS2008 | 20.01.2009 | 27.03.2009 | 08.05.2009 | 05.06.2009 |
| WS2007 | 15.01.2008 | 13.03.2008 | 05.05.2008 | 10.06.2008 |
Ältere Prüfungsangaben gibt es auch hier.
Wir möchten jedoch ausdrücklich darauf hinweisen, dass diese mitunter nur bedingt relevant sind, da
sich die in der LVA abgedeckten Stoffgebiete teilweise geändert haben.
