Zurück zur Übersicht

MEDI  Informatik und Logik SGINF
Dozent : Prof. Dr.-Ing. Jochen Heinsohn   eMail | Homepage
Prof. Dr.-Ing. habil. Michael Syrjakow   eMail
 Semester1
Einordnung : MedizininformatikSWS4
Sprache : Deutsch Art V Ü
Prüfungsart : PL  Credits5 
Prüfungsform : Klausur 120 min 
Voraussetzungen :  
Querverweise :  
Vorkenntnisse :  
Hilfsmittel und Besonderheiten :  
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; Zahlensysteme und Zahlendarstellung; Logik, Algorithmen, Programmiersprachen und Softwareentwicklung; Daten, Datentypen und Datenstrukturen
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 : U. Schneider, D. Werner: Taschenbuch der Informatik, Fachbuchverlag Leipzig, 5. Auflage 2004
U. Schöning: Logik für Informatiker, Spektrum-Verlag.
R. Winter, Verlag Harry Deutsch, Grundlagen der formalen Logik 

Zurück zur Übersicht