back to table of content

INFB  Computer Science and Logic Course INF
Lecturers : Prof. Dr.-Ing. habil. Michael Syrjakow    eMail
Prof. Dr. Emanuel Kitzelmann    eMail
Term 1
Course Classification : Bachelor Informatik CH 4
Language : Deutsch/Englisch Type VÜ 
Type of examination : PL  Credits 5 
Method of evaluation : written examination 120 min 
Requirements :
Cross References :  
Previous knowledges :  
Aids and special features : Mode of Assessment:
Additional assessments during the semester may be included in the final grading. 
Teaching aims : Students will learn about the relationships between important branches of informatics and media; applied logic plays a key role in computer science.
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 code and to represent numbers as well as relevant information in 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
a) informatics and branches thereof
b) information and its representation, data, types and structures of data, number systems and number depiction
c) major components and basic architecture of computer systems
d) algorithms, programming languages and software development (overview only)

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 : Brookshear G., Brylow D.: Computer Science: An Overview, Pearson, 12. Auflage, 2014.
Herold H., Lurz B., Wohlrab J., Hopf M.: Grundlagen der Informatik, Pearson Studium, 3. Auflage, 2017.
Ernst H., Schmidt J., Beneken G.: Grundkurs Informatik: Grundlagen und Konzepte für die erfolgreiche IT-Praxis - Eine umfassende, praxisorientierte Einführung, Springer Vieweg, 6. Auflage 2016.
Rechenberg P.: Was ist Informatik? Eine allgemein-verständliche Einführung, 3. Auflage 2000.
Schneider U., Werner D.: Taschenbuch der Infor-matik, Carl Hanser Verlag, 7. Auflage 2012.
Lee, S.-F.: Logic: A Complete Introduction, Teach Yourself, 2017.
Schöning U.: Logik für Informatiker, Spektrum Akademischer Verlag, 5. Auflage 2000.v 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.  

back to table of content