Uni Wien:Theoretische Informatik 1 VU (Brezany)

Im Rahmen der Studienplanänderung 2006 der Technischen Universität Wien wurde "Theoretische Informatik 1" in "Theoretische Informatik und Logik" umbenannt. Die beiden LVAs sind daher äquivalent. Studierende der TU, die im WS06 oder später mit ihrem Studium begonnen haben, können nur die LVA mit neuem Titel, sofern sie noch nach dem Vorlage:Studienplan TU ein Pflicht-/Wahlfach ist, für ihren Abschluss verwenden. Studierende der TU, die bereits vor dem WS06 inskribiert waren, müssen genau eine dieser beiden LVAs absolvieren. Studierende der Uni Wien finden Informationen in einem eigenen Banner über oder unter diesem Banner.

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Daten

• VortragendeR/LVA-LeiterIn: Prof. Dr. Peter Brezany [1]
• ECTS: 6 (SWS: 4)
• HP der LVA: http://www.par.univie.ac.at/~brezany/teach/theorInf1-07ss/50123.html
• Institut: Institut für Scientific Computing [2]
• Vorlage:53x
• Vorlage:522

Inhalt

Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; die Chomsky Hierarchie: Sprachen, Grammatiken, Automaten; Turing Maschinen; Aussagelogik, Elemente der Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation

Ablauf

4 Stunden Vorlesung am Stück, freiwilliges Rechnen der Übungsbeispiele an der Tafel.

Benötigte/Empfehlenswerte Vorkenntnisse

keine

Vortrag

sehr bemüht den Stoff wirklich rüberzubringen

Übungen

Übungsbeispiele werden freiwillig an der Tafel vorgerechnet und bringen Zusatzpunkte. Es ist aber SEHR freiwillig, sprich, wer sich nicht meldet, wird im Normalfall nicht drankommen. Das führt dazu, dass nur die wirklich fleißigen Mitstudierenden alle Beispiele rechnen, der Großteil wird sich mit 1 bis 2 (von 10) Beispielen pro Woche durch das Semester schwindeln.

Prüfung

Schriftlicher Test. Teststruktur: Theorie-Verständnisfragen (10 Punkte), praktische Beispiele (10 Punkte), mindestens 10 Punkte muss man erreichen, um den Test positiv zu absolvieren;

Zeitaufwand

moderat. sicher weniger aufwendig als auf der TU da keine Kreuzerlübung

Ähnliche und verwandte LVAs

• Theoretische Informatik 2: Die Nachfolger-LVA, welche bestimmte Themen aus dieser VU vertieft und ausweitet.
• Übersetzerbau: Setzt Kenntnisse über formale Sprachen, reguläre Ausdrücke, kontextfreie Grammatiken voraus, welche in dieser VU gelehrt werden.
• Optimierende Übersetzer

Weiters bilden Theoretische Informatik 1 und 2 die Grundlage, auf der alle weiteren Theorie-LVAs aufbauen, insbesondere fast alle Spezialveranstaltungen der Arbeitsgruppen E185/2 und E184/3.

Wo gibts Mitschriften, Skripten, Folien...

Folien sind online auf der oben angeführten Homepage verfügbar.

Hinweis

Anmeldung über PISWI erforderlich (100 freie Plätze)

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.