Medieninformatik an der TH Köln

Modulbeschreibungen, Prüfer:innenlisten und mehr :)

Theoretische Informatik 1

Modulverantwortlich
Prof. Dr. Florian Niebling
Kürzel
TI1
Studiensemester
1
Sprache
deutsch
Kreditpunkte
5
Weitere Informationen zum Modul
https://ilu.th-koeln.de/ilias.php?ref_id=71293&cmd=infoScreen&cmdClass=ilrepositorygui&cmdNode=xp&baseClass=ilRepositoryGUI
Studienleistungen
Schriftliche Prüfung: Prüfer:in Prof. Dr. Florian Niebling // Zweitprüfer bzw. Beisitzer Prof. Dr. Hans L. Stahl // Prüfungstermin: Wintersemester Woche 1, Anfang Februar

Lehrform/SWS

4 SWS: Vorlesung 2 SWS; Übung 2 SWS

Arbeitsaufwand

Gesamtaufwand 150h, davon

  • 36h Vorlesung
  • 36h Übung
  • 78h Selbstlernphase

Angestrebte Lernergebnisse

  • Grundsätzliches Ziel des Kurses ist eine Einführung in die Begriffe, Methoden, Modelle und Arbeitsweise der Theoretischen Informatik anhand der ausgewählten Teilgebiete.
  • Dabei lernen die Studierenden Probleme und Sachverhalte zu abstrahieren und zu modellieren (etwa logische und algebraische Kalküle, graphentheoretische Notationen, formale Sprachen und Automaten sowie spezielle Kalküle wie Petri-Netze)
  • Die Studierenden erwerben fundierte Kenntnisse der grundlegenden Themengebiete und eine wesentliche Basis und Vorbereitung für Veranstaltungen in höheren Semestern des Studiums.
  • In verschiedenen Grundlagengebieten der Informatik lernen die Studierenden Verfahrensweisen kennen, um den algorithmischen Kern eines Problems zu identifizieren und können passende Algorithmen entwerfen (Automaten, Turing Maschinen, Logik). Dabei können Sie bekannte Problemstellungen im Anwendungskontext erkennen und sind mit den zugehörigen Lösungsmustern vertraut (Modellierung mittels Automaten, Petri-Netzen, Boolescher Algebra, etc.).
  • Aufgaben zu den Lehrinhalten (s.u.) werden in kleinen Gruppen (Teamarbeit) selbständig gelöst. Die Lösungen sollen in den Übungsstunden vorgetragen und der Lösungsweg den Kommilitonen hierbei erläutert werden.

Inhalt

  • Mengen
  • Relationen
  • Graphen
  • Zahlensysteme
  • Zahlendarstellung
  • Numerische Aspekte
  • Codierung, Informationstheorie
  • Boolesche Algebra
  • Schaltnetze und Schaltwerke
  • Aussagenlogik
  • Prädikatenlogik

Literatur

  • Hoffmann, D. (2011): Theoretische Informatik, 2. Auflage
  • Hedtstück, U. ( 2004 ): Einführung in die Theoretische Informatik. Oldenbourg, München.
  • Kelly, J. ( 2003 ): Logik. Pearson Studium, München.
  • Ehrig, H. et al. (1999): Mathematisch-strukturelle Grundlagen der Informatik. Springer,  Heidelberg.
  • Beuth, K. (1992): Digitaltechnik. 9.Aufl.Vogel, Würzburg.