back to table of content

INFB  Introduction to Computer Science and Logic CourseINF
Lecturers : Prof. Dr.-Ing. Jochen Heinsohn   eMail | Homepage
Prof. Dr.-Ing. habil. Michael Syrjakow   eMail
Prof. Dr. rer. nat. habil. Jörg Richard Weimar   eMail | Homepage
 Term1
Course Classification : Informatics BachelorCH4
Language : Deutsch Type L E
Type of examination : PL  Credits5 
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 : 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 

back to table of content