Formale Grundlagen

Diese LVA ist für alle Studierenden 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 6, Übungen
Do, 14:30 - 15:15, HS 6, Vorlesung
Fr, 08:30 - 10:00, HS 5, Vorlesung

An den Zwickltagen Fr, 2.5.2014 und Fr, 30.5.2014 fällt die Vorlesung aus, dafür gibt es die zusätzlichen Termine

Fr, 9.5.2014, 10:15-11:45, HS 5
Fr, 23.5.2014, 10:15-11:45, HS 5

Die erste Klausur findet am Freitag, 4.7.2014, 13:45-15:15 in den Hörsälen HS18 und HS19 statt. (Zum Üben die Klausuren vom letzten Jahr - bitte beachten, dass der Stoff leicht von dem vom letzten Jahr abweicht: 1. Klausur, 2. Klausur, 3. Klausur) Die zweite Klausur wird am Montag, 29.9.2014, 15:30-17:00 im HS 18 stattfinden. Die dritte Klausur wird am Donnerstag, 27.11.2014, 15:30-17:00 im K012D stattfinden.

LVA-Leiterin: Veronika Pillwein

Inhalt der Vorlesung:

• Graphentheorie
• Formale Sprachen
• Automaten
• Berechenbarkeit
• Komplexität
• ...

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

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:

In der ersten Vorlesung am 6.3.2014 wird der Übungsmodus ausführlich erklärt. Die Eckdaten dazu sind hier zusammengefasst:

• 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 werden Musterlösungen präsentiert und ausserdem soll die Übung als Forum dienen um offenen Fragen zu behandeln.
• Das erste Übungsblatt wird am 7.3.2014 ausgegeben und am 13.3.2014 diskutiert.

Übungsleiter: Maximilian Jaroschek und Veronika Pillwein