Theoretische Informatik 1
Prof. Dr. Florian Niebling
- Kreditpunkte
- 5
- Studiensemester
- 1
- Sprache
- deutsch
- Kürzel
- TI1
- Voraussetzungen nach Prüfungsordnung
- keine
- Prüfung
Einzelleistung: Schriftliche Prüfung Bewertung durch Prof. Dr. Florian Niebling- Weitere Informationen
- https://ilu.th-koeln.de/ilias.php?ref_id=71293&cmd=infoScreen&cmdClass=ilrepositorygui&cmdNode=xp&baseClass=ilRepositoryGUI
Empfohlene Voraussetzungen
Einfache Kenntnisse der naiven Mengenlehre, wie sie in der Schule vermittelt und bei der mathematischen Begriffsbildung verwendet werden.
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.