Lehrveranstaltungsleiter: Gernot Salzer
Diese Lehrveranstaltungen sind Pflichtfächer des Studiums Informatik (1.Studienabschnitt, 4.Semester).
Diese Lehrveranstaltung wurde im Sommersemester 2002 zum letzten Mal angeboten. Die allerallerallerletzte Prüfung fand am 20.Mai 2005 statt.
Ergebnisse der Prüfung vom 20.5.2005:
Ersatzlehrveranstaltung:
Gemäß dem Äquivalenzkatalog neu/alt
können Studierende des Diplomstudiums Informatik (881)
statt den beiden Lehrveranstaltungen
3.0 VO Einführung in die Theorie der Informatik
1.0 UE Einführung in die Theorie der Informatik
auch die Lehrveranstaltung
4.0 VU Theoretische Informatik 1
absolvieren. Eine formale Anerkennung ist nicht notwendig,
die Lehrveranstaltung ist unter der Kennzahl 881 zu machen.
Ziel dieser Lehrveranstaltung ist die Vermittlung von Grundbegriffen der theoretischen Informatik und ihrer Methodik. Im einzelnen werde folgende Themen behandelt.
Vorlesung und Übung wurden im Sommersemester 2002 von mir zum letzten Mal angeboten. Prüfungstermine wird es bis Sommersemester 2004 geben.
Skripten: während
der Institutsstunden ist
am Institut
(Favoritenstr. 9/Stiege 2/3.Stock)
ein zweiteiliges Skriptum erhältlich,
das den Prüfungsstoff im Wesentlichen abdeckt.
Der Vorlesungsteil kostet EUR 10,- (173 Seiten, gebunden),
der Übungsteil EUR 5,- (83 Seiten, gebunden).
Zum Thema "Verwendbarkeit alter Skripten" sowie zur Frage
"Benötige ich das Übungsskriptum auch, wenn ich nur die
Vorlesungsprüfung machen möchte?" siehe
den Abschnitt Tipps weiter unten.
Bekannte Fehler in den Skripten werden auf der
Errata-Seite aufgelistet.
Vorlesungsfolien: Die in der Vorlesung verwendeten Folien werden im PDF-Format zur Verfügung gestellt.
Weiterführende Literatur. Eine kommentierte Liste mit Literaturhinweisen finden Sie hier. Ein Teil der Bücher ist in der Hauptbibliothek entlehnbar.
Prüfungsangaben. Angaben zu den Prüfungen und Übungstests der letzten Jahre sind als PDF-Datei weiter unten auf dieser Seite erhältlich.
Programme. Zur Veranschaulichung einiger Stoffgebiete gibt es Programme, die entweder lokal installiert oder über WWW benützt werden können.
Die Beurteilung erfolgt aufgrund einer schriftlichen Prüfung. Für eine positive Note sind 25 von maximal 50 Punkten erforderlich. Notenschlüssel:
00-24 Punkte: nicht genügend
25-30 Punkte: genügend
31-37 Punkte: befriedigend
38-44 Punkte: gut
45-50 Punkte: sehr gut
Die Beurteilung erfolgt aufgrund zweier schriftlicher Tests, bei denen jeweils 50 Punkte erreichbar sind. Für eine positive Note sind in Summe 51 der insgesamt 100 Punkte erforderlich. Notenschlüssel:
00-50 Punkte: nicht genügend
51-60 Punkte: genügend
61-70 Punkte: befriedigend
71-85 Punkte: gut
86-100 Punkte: sehr gut
Beim Nachtragstest kann jeder der beiden Tests wiederholt oder nachgemacht werden. Zur Teilnahme sind alle StudentInnen berechtigt, unabhängig davon, ob sie bei keinem, einem oder beiden der regulären Tests angetreten sind. Zur Berechnung der Endnote wird das jeweils beste Ergebnis in jedem der beiden Stoffgebiete (1./2.Test) herangezogen.
Für alle Prüfungen ist eine Anmeldung über die Seite www.logic.at/lvas/eti/anmeldung/vo.html bis 24 Stunden vor der Prüfung notwendig!
Letzter Termin: Fr, 20.Mai 2005, 14:00-16:00
Für alle Tests ist eine Anmeldung über die Seite
www.logic.at/lvas/eti/anmeldung/ue.html
bis 24 Stunden vor dem Test notwendig!
Bei den Nachtragsterminen kann einer der beiden regulären Tests
oder auch beide wiederholt werden.
Zur Teilnahme sind alle Studierenden berechtigt
unabhängig davon, ob sie bereits zu irgendwelchen anderen
Teiltests zum SS2002 angetreten sind.
Teilergebnisse des SS2002 aus den regulären
Tests oder den Nachtragstests bleiben bestehen.
Termine:
Eventuell finden weitere Termine bis 30.April 2005 statt. Schreiben Sie eine Email an salzer@logic.at, um Ihr Interesse zu bekunden.
Geben Sie Ihre Matrikelnummer ein und klicken Sie auf "Suchen", um Ergebnisse von Prüfungen und Tests der letzten 6 Monate abzufragen; ohne Matrikelnummer erhalten Sie eine Aufstellung der vorhandenen Ergebnislisten. Ältere Ergebnisse erhalten Sie auf Anfrage beim Lehrveranstaltungsleiter.
Siehe auch die Notenstatistik.
| 1997 | 17.1. | 18.4. | 25.6. | 8.10. | 3.12. | |
|---|---|---|---|---|---|---|
| 1998 | 14.1. | 11.3. | 22.4. | 26.6. | 16.10. | 4.12. |
| 1999 | 15.1. | 19.3. | 7.5. | 24.6. | 21.10 | 2.12. |
| 2000 | 13.1. | 16.3. | 11.5. | 28.6. | 19.10. | 7.12. |
| 2001 | 18.1. | 15.3. | 29.5. | 26.6. | 15.10. | 29.11. |
| 2002 | 17.1. | 14.3. | 2.5. | 28.6. | 31.10. | 6.12. |
| 2003 | 16.1. | 20.3. | 8.5. (1, 2) | 26.6. | 29.10. | |
| 2004 | 21.1. | 3.3. | 21.4. | 16.6. | 12.10. | 23.11. |
Lösung zum 31.10.2002:
Bsp 1,
Bsp 2,
Bsp 3,
Bsp 4,
Bsp 5
Lösung zum 6.12.2002:
Bsp 1,
Bsp 2,
Bsp 3,
Bsp 4,
Bsp 5
| 1.Test | 2.Test | Nachtragstests | |
|---|---|---|---|
| 1996 | 10.5. | 18.6. | 21.10. |
| 1997 | 12.5. | 23.6. | 7.10. |
| 1998 | 13.5. | 24.6. | 13.10. |
| 1999 | 10.5. | 21.6. | 18.10. |
| 2000 | 8.5. | 26.6. | 17.10. |
| 2001 | 9.5. | 27.6. | 12.10. |
| 2002 | 6.5. | 26.6. | 17.10. |
| 2003 | 21.1., 26.5., 22.10. | ||
| 2004 | 14.1., 2.3., 30.3., 20.4., 8.6. |
Verwendbarkeit alter Skripten.
Vorlesungsskripten mit dem Datum März 1999,
April 2000, März 2001 oder April 2002 sind
uneingeschränkt verwendbar; solche
mit dem Datum April 1997 oder April 1998
können weiterverwendet werden, sofern Sie den Teil
"Komplexitätstheorie" entweder
bei einer KollegIn kopieren oder
als PDF-Datei von hier laden.
Noch älteren Skripten fehlt zusätzlich
ein 45 Seiten starker Teil zum Thema "Automaten und formale Sprachen".
Übungsskripten ändern sich grundsätzlich
jedes Jahr ein wenig, da die Beispiele aktualisiert und mit den
Prüfungen abgestimmt werden. Von der Ausgabe März 2001 zur Ausgabe
April 2002 änderte sich die Darstellung der endlichen Automaten
ein wenig, während von der Ausgabe April 2000
zur Ausgabe März 2001 nur Fehlerkorrekturen statt fanden,
die auf der Errata-Seite
zusammengefasst sind. Inhaltlich gilt dasselbe
wie für die Vorlesung: Skripten mit dem Datum
März 1999, April 2000, März 2001 oder April 2002
decken den gesamten Stoff ab,
während solchen mit dem Datum April 1997 oder
April 1998 der Teil zur Komplexitätstheorie fehlt
(hier erhältlich).
Noch älteren Skripten fehlt
ein 15 Seiten starker Teil zum Thema "Automaten und formale Sprachen".
Benötige ich das Übungsskriptum auch, wenn ich nur die
Vorlesungsprüfung machen möchte?
Die Vorlesungsprüfung besteht
zu einem wesentlichen Teil aus "Rechenbespielen".
Der Prüfungsstoff ist zwar mit einzelnen Beispielen vollständig im Vorlesungsteil
des Skriptums erläutert, die Beispiele im Übungsteil erleichtern aber
im Allgemeinen doch das Verständnis. Aufgabe der Übung ist es ja unter anderem,
auf die Vorlesungsprüfung vorzubereiten.
Ich empfehle daher, das Übungsskriptum entweder selber zu kaufen oder
es sich auf anderem Wege zu Gemüte zu führen.
Negative Zeugnisse. Sollten Sie einem aktuellen Notenaushang entnehmen, dass Sie im Begriff sind Ihr drittes negatives Zeugnis zu erhalten, können Sie dessen Ausstellung vermeiden: kommen Sie umgehend mit Ihren beiden bisherigen negativen Zeugnissen oder einem Gesamtzeugnisausdruck in meine Sprechstunde. Die Verantwortung liegt allerdings bei Ihnen: ich führe nicht Buch über Ihre Antrittsversuche.
Gernot Salzer