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.
SEITE IN BEARBEITUNG!
Übungs- und Prüfungsergebnisse zum WS2009 (inkl. Prüfung 18.6.2010) gibt es auf https://ugm.logic.at
Ziel dieser Lehrveranstaltung ist die Vermittlung von Grundbegriffen der theoretischen Informatik und ihrer Methodik. Im Einzelnen werden folgende Themen behandelt.
Zum Einstieg: Learning mathematics - Some hints from the psychologists
(Wilfrid Hodges)
Folien 1–361 (alle Folien zusammen, außer Zusatzfolien)
Übungsblätter (im PDF-Format –
werden im Laufe des Semesters hier zur Verfügung gestellt):
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.
Übungs- und Prüfungsergebnisse zum WS2009 gibt es auf https://ugm.logic.at
| WS2009 | 21.01.2010 | 26.03.2010 | 07.05.2010 | 18.06.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.
