Die Studierenden kennen die Zusammenhänge zwischen wichtigen Teilgebieten der Informatik bzw. Informationsverarbeitung. Die angewandte Logik nimmt dabei eine zentrale Rolle ein.
Sie sind in der Lage, die Bedeutung der tragenden Informatikfächer sowie deren Zusammenhänge im Curriculum zu erkennen.
Die Studierenden beherrschen die Darstellung von Information und Zahlen in einem Rechner und erkennen die Bedeutung von Algorithmieren, Programmieren und Softwareentwicklung.
Sie haben Fähigkeiten wie logisches Denken und kreatives Arbeiten entwickelt und sind mit der Rolle der angewandten Logik im modernen Spektrum von Informatik und digitalen Medien vertraut.

• Einführung in die Informatik:
  • Informatik und ihre Teilgebiete; Information und ihre Darstellung; Daten, Datentypen und Datenstrukturen; Zahlensysteme und Zahlendarstellung; prinzipieller Aufbau von Rechensystemen; Algorithmen; Programmiersprachen und Softwareentwicklung
• Angewandte Logik:
  • Aussagenlogik: Formeln, Syntax und Semantik, Boolesche Funktionen, semantische Äquivalenzen, Vereinfachung von Formeln, DNF und KNF, Resolventenverfahren, Hornformeln, Logisches Folgern
  • Prädikatenlogik: Begriff der Formel, Formulieren von Sätzen in der Prädikatenlogik, Syntax und Semantik, Vereinfachen von Formeln der Prädikatenlogik, Unifikation und Resolution
  • Andere Logiken (nur Ausblick)

• Ernst H., Schmidt J., Beneken G.: Grundkurs Informatik: Grundlagen und Konzepte für die erfolgreiche IT-Praxis - Eine umfassende, praxisorientierte Einführung, Springer Vieweg, 8. Auflage 2023.
• Brookshear G.: Computer Science - An Overview, Pearson, 13. edition, 2019.
• Rechenberg P.: Was ist Informatik? Eine allgemein verständliche Einführung, 3. Auflage 2000.
• Schneider U., Werner D.: Taschenbuch der Informatik, Carl Hanser Verlag, 7. Auflage 2012.
• Schöning U.: Logik für Informatiker, Spektrum Akademischer Verlag, 5. Auflage 2000.
• Siefkes D.: Formalisieren und Beweisen: Logik für Informatiker, Vieweg+Teubner Verlag, 2. Auflage 2013.
• Winter R.: Grundlagen der formalen Logik, Verlag Harri Deutsch, 2. Auflage 2001.

Vorlesung mit gemischten Medien (Tafel, Beamer, etc.), Übungen an der Tafel

Deutsch

PL

Klausur

5

4