TU Wien:Theoretische Informatik 1 VU (Kuich)

From VoWi
Jump to navigation Jump to search
Similarly named LVAs (Resources):
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.
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 "Studienplan" 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.


Daten[edit | edit source]

Lecturers Werner Kuich
ECTS 6
Department Diskrete Mathematik und Geometrie
Zuordnungen
E033522 Pflichtmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME
E033531 Pflichtmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME
Bachelor Medieninformatik und Visual Computing Pflichtmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME
Bachelor Medizinische Informatik Pflichtmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME
Bachelor Software & Information Engineering Pflichtmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME
Bachelor Technische Informatik Pflichtmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME
E884 Pflichtmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME


Inhalt[edit | edit source]

  • Formale Sprachen und Spezifikationsweisen (reguläre Ausdrücke, Grammatiken)
  • Automaten
  • Aussagenlogik
  • Grundlagen der Programmanalyse und -verifikation

Ablauf[edit | edit source]

Ein Vorlesungsblock von drei Stunden und eine Übungsstunde pro Woche. Die Übungen werden von Prof. Urbanek abgehalten.

Benötigte/Empfehlenswerte Vorkenntnisse[edit | edit source]

Mathematik 1 ist für das Verstehen von Notationen sehr günstig.

Vortrag[edit | edit source]

Der Vortragsstil in den Vorlesungen ist nicht sonderlich gut. Der Stoff wird auf eine Art und Weise vorgetragen, dass man kaum mitkommt, auch wenn man den Stoff schon kennt und der Vortragende hat eine sehr unsympathische Art.

Übungen[edit | edit source]

Die Übungen werden von Prof. Urbanek abgehalten und sind wesentlich besser als die Vorlesung. Kreuzerlübung gibt es keine, die Beispiele werden vom Professor auf der Tafel sehr verständlich vorgerechnet.

Prüfung[edit | edit source]

Zwei schriftliche Prüfungen pro Semester, beide müssen positiv sein, die Übungen bauen zu den Prüfungen auf. Sollte eine Prüfung negativ ausfallen oder wird eine Prüfung versäumt, so gibt es die Möglichtkeit sich an einem 3. Termin auszubessern.

Bei beiden Prüfungen sind jeweils 12 Punkte zu erreichen, ab 6 Punkte gibt es eine positive Note. Zur Prüfung kommen nur praktische Beispiele, die den Beispielen aus den Übungen ähneln. Theoriefragen werden keine gestellt.

Literatur[edit | edit source]

Ein Skriptum wird angeboten, ist jedoch ähnlich miserabel wie die Vorlesung. Bibliotheksbücher oder das Skriptum von Salzer sind wesentlich besser.

Zeitaufwand[edit | edit source]

Relativ gering. Da die wöchentlichen Beispiele nicht nachgewiesen werden müssen, sondern vorgetragen und erklärt werden, kann man sich den Lernaufwand zeitlich individuell einteilen.

hilfreiche Links[edit | edit source]

Wo gibts Mitschriften, Skripten, Folien...[edit | edit source]

Das offizielle Skriptum ist leider nicht sehr empfehlenswert. Inoffiziell gibt es aber eine sehr gut erklärte Mitschrift zu den Übungsbeispielen, die ja auch zu den 2 Tests kommen.

Hier die Links:

Beispiele für Test 1

Beispiele für Test 2

Special Thanks to SpacecowboyJ ;)

Tipps[edit | edit source]

  • Am besten die Übung nie verpassen.