back to table of content

MEDI  Introduction to Computer Science and Logic Course INF
Lecturers : Prof. Dr.-Ing. Jochen Heinsohn    eMail
Prof. Dr.-Ing. habil. Michael Syrjakow    eMail
Term 1
Course Classification : Medizininformatik CH 4
Language : Deutsch Type VÜ 
Type of examination : PL  Credits 5 
Method of evaluation : written examination 120 min 
Requirements :
Cross References :  
Previous knowledges :  
Aids and special features :  
Teaching aims : Students will learn about the relationships between important branches of informatics and media; applied logic plays a key role here.
They will be able to recognize the importance of the fundamentals of computer science and their relevance to the curriculum.
They will also be able to present information and figures on computers and recognize the importance of algorithms, programming and software development.
Students will develop skills, such as logical thinking and creative working methods and will be familiar with the role of applied logic in the modern spectrum of computer science and media. 
Contents :

Introduction to computer science
Informatics and branches thereof, information and its depiction, number systems and number depiction, logic, algorithms, programming languages and software development, data, types and structures of data
Applied logic
a) propositional calculus: formulas, syntax and semantics, Boolean functions, semantic equivalency, simplifying formulas, DNF and KNF, resolvent procedure, horn formulas, logical reasoning
b) predicate logic: definition of a formula, formulating sentences in predicate logic, syntax and semantics, simplifying predicate logic formulas, unification and resolution
c) other logic (overview only) 

Literature : 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.  

back to table of content