Organisation der Veranstaltungen "INFORM (Informatik)"

Veranstalter Prof. Dr. H. Eirund (ZIMT 216)
Termin Mi. und Fr. (verzahnt mit PROG1)
Ort ZIMT 032c (Labor: 234)
Voraussetzung keine (oder besser: kein Nebenjob, kein Fernseher, Kneipentreffen nur noch mit der Lerngruppe, ...)
Inhalte

Lernziele der Veranstaltung sind:

  1. Verständnis der Begriffswelt der Informatik
  2. Basics der Logik (Aussagenlogik, Prädikatenlogik)
  3. Automaten
  4. formale Sprachen, Grammatiken

Gelegentlich gibt es auch Übungen (zusammen mit den PROG1-Aufgaben)
Prüfung Klausur (mind. 50% Punkte erreichen)
Literatur

Mein Skript (wird zeitnah zur jeweiligen Vorlesung als .ppt in Ilias gestellt, Aufgabenblätter ebenfalls!)

In handlicher Form wird das formale Handwerkszeug der Informatik (für diese Veranstaltung und das spätere Berufsleben) in Eirund, Müller, Schreiber; Formale Beschreibungsverfahren der Informatik - Ein Arbeitsbuch für die Praxis komplett abgedeckt. Viele Beispiele, Aufgaben (mit Lösungen), gut lesbar (... meinte die c't und wir).

Natürlich können auch die zahlreichen Werke zur "Theoretischen Informatik" etc. helfen. Allerdings brauchen sie in dieser VL nur etwa 14% aus diesen.