Formale Grundlagen

Diese LVA ist für alle Studenten der Wirtschaftsinformatik verpflichtend und wird für das 2. Semester empfohlen.

Anmeldung via KUSSS. Spätere An- oder Abmeldungen sind möglich. Dazu senden Sie eine Email mit Betreff "Zuteilung Formale Grundlagen" mit Ihrem Namen und der Matrikelnummer und der Information, ob Sie an- oder abgemeldet werden wollen für Übung und/oder Vorlesung an mich.

Termine:

Do, 13:45 - 14:30, HS 4, Übungen
Do, 14:30 - 15:15, HS 4, Vorlesung
Fr, 08:30 - 10:00, HS 10, Vorlesung

Die Vorlesung beginnt am Donnerstag 7.3.2012 in der Übungseinheit von 13:45-14:30 in HS 4.

An folgenden Terminen finden die LVAs zur üblichen Zeit in anderen Hörsälen statt:

• Freitag, 8.3.2013, HS 9
• Donnerstag, 14.3.2013, HS 3
• Freitag, 24.5.2013, HS 9

An den folgenden Terminen finden zusätzliche Vorlesungen statt:

• Freitag, 3.5.2013, 10:15-11:45 in HS 9
• Freitag, 24.5.2013, 10:15-11:45 in HS 9

Dafür fällt die Vorlesung am Freitag, 10.5.2013 aus.

Die erste Vorlesungsklausur findet am Freitag, 21.6.2013 von 13:45-15:15 im HS 10 statt. (Zum Üben die Klausuren vom letzten Jahr - bitte beachten, dass der Stoff leicht von dem vom letzten Jahr abweicht: Probeklausur, 1. Klausur, 2. Klausur, 3. Klausur)

Die zweite Vorlesungsklausur findet am Freitag, 27.9.2013 von 13:45-15:15 im HS 10 statt. Die dritte Vorlesungsklausur findet am Donnerstag, 5.12.2013 von 16:15-17:45 im HS 7 statt. Ab Mitte November bis eine Woche vor der Klausur kann man sich im KUSSS an- bzw. abmelden.

LVA-Leiterin: Veronika Pillwein

Inhalt der Vorlesung:

• Wiederholung/Einführung Relationen, Funktionen, Homomorphismen
• Graphentheorie
• Formale Sprachen
• Automaten
• Berechenbarkeit
• Komplexität
• ...

Vorlesungsunterlagen, die die wesentlich Definitionen und Sätze enthalten stehen hier zum Download bereit und werden regelmässig aktualisiert.

• Tippfehler bei Definition 2.54 und bei Beispiel 2.57 korrigiert (22.3.2013)
• Definition 2.62: "Knoten mit Ausgangsgrad 0 heissen Blätter" und Definition 2.66: "ungerichteter" entfernt, d.h. die Definition gilt sowohl für gerichtete wie ungerichtete Graphen (12.4.2013)
• Tippfehler bei Definition 3.14 (kontextfrei zu kontextsensitiv bei Typ-1) und Tippfehler bei Beispiel 3.24 in der Angabe der Transition (26.4.2013)

Bücher, die sich mit dem Vorlesungsstoff überschneiden sind zum Beispiel:

• Mathematik für Informatiker - Band 1: Diskrete Mathematik und Lineare Algebra, Gerald Teschl, Susanne Teschl
• Theoretische Informatik, Dirk W. Hoffmann
• Lehrbuch der Software-Technik, Helmut Balzert
• Theoretische Informatik - kurzgefaßt, Uwe Schöning

Übungsmodus:

• Die Übungsblätter werden auf der Kursseite im JKU-moodle online gestellt und sind via moodle online zu stellen.
• Abgabeende ist immer Beginn der ersten Übungseinheit, in der das aktuelle Blatt besprochen wird.
• Die moodle-Zugangsdaten sind die gleichen wie fuer KUSSS, für die Kursseite muss das in der Vorlesung bekannt gegebene Passwort eingegeben werden (kann auch noch per Email an mich erfragt werden).
• Pro Übungsblatt werden 10 Punkte vergeben. Für einen positiven Schein müssen mindestens 50% der möglichen Gesamtpunkteanzahl erreicht werden.
• In den Übungseinheiten werde ich Musterlösungen präsentieren und noch weitere Beispiele rechnen. Ausserdem soll die Übung als Forum dienen um offenen Fragen zu behandeln.