Zurück zur Übersicht

INFB  Informatik und Logik SG INF
Dozent : Prof. Dr.-Ing. Jochen Heinsohn    eMail
Prof. Dr.-Ing. habil. Michael Syrjakow    eMail
Semester 1
Einordnung : Informatik Bachelor SWS 4
Sprache : Deutsch/Englisch Art VÜ
Prüfungsart : PL  Credits 5 
Prüfungsform : Klausur 120 min 
Voraussetzungen :
Querverweise :  
Vorkenntnisse :  
Hilfsmittel und Besonderheiten : Studien- und Prüfungsleistungen:
Semesterbegleitende Leistungen können in die Bewertung einbezogen werden. 
Lehrziele : Die Studierenden lernen die Zusammenhänge zwischen wichtigen Teilgebieten der Informatik und Medien kennen, die Angewandte Logik nimmt dabei eine zentrale Rolle ein.
Sie erwerben die Fähigkeit, die Bedeutung der tragenden Informatikfächer sowie deren Zusammenhänge im Curriculum zu erkennen.
Sie beherrschen die Darstellung von Information und Zahlen in einem Rechner und erkennen die Bedeutung von Algorithmieren, Programmieren und Softwareentwicklung.
Die Studierenden entwickeln Fähigkeiten wie logisches Denken und kreatives Arbeiten und sind vertraut mit der Rolle der angewandten Logik im modernen Spektrum von Informatik und Medien. 
Lehrinhalte :

Einführung in die Informatik
Informatik und ihre Teilgebiete; Information und ihre Darstellung; Daten, Datentypen und Datenstruktu-ren; Zahlensysteme und Zahlendarstellung; prinzi-pieller Aufbau von Rechensystemen; Algorithmen; Programmiersprachen und Softwareentwicklung;
Angewandte Logik
a) Aussagenlogik: Formeln, Syntax und Semantik, Boolesche Funktionen, semantische Äquivalenzen, Vereinfachung von Formeln, DNF und KNF, Resolventenverfahren, Hornformeln, Logisches Folgern
b) 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.
c) Andere Logiken (nur Ausblick) 

Literatur : Rechenberg P.: Was ist Informatik? Eine allgemein­verständliche Einführung, 2. Auflage 2000.
Schneider U., Werner D.: Taschenbuch der Infor­matik, Fachbuchverlag Leipzig, 6. Auflage 2007.
Schöning U.: Logik für Informatiker, Spektrum-Verlag
Winter R.: Grundlagen der formalen Logik, Verlag Harri Deutsch, 2. Auflage 2001.  

Zurück zur Übersicht