| INFB Introduction to information processing | Course | INF | |
|---|---|---|---|
| Lecturers : |
Prof. Dr.-Ing. habil. Michael Syrjakow
eMail
|
Term | 1 |
| Course Classification : | Bachelor Informatik | CH | 4 |
| Language : | Deutsch | Type | VÜ |
| Type of examination : | PL | Credits | 5 |
| Method of evaluation : | |||
| Requirements : | |||
| Cross References : | |||
| Previous knowledges : | |||
| Aids and special features : | |||
| Teaching aims : | * The students understand the relationships between key areas of computer science and information processing, with applied logic playing a central role. * They are capable of recognizing the significance of foundational computer science disciplines and their interconnections within the curriculum. * The students master the representation of information and numbers in a computer and appreciate the importance of algorithm development, programming, and software engineering. * They have developed skills such as logical thinking and creative working and are familiar with the role of applied logic within the modern spectrum of computer science and digital media. | ||
| Contents : | Introduction to Computer Science: Computer science and its subfields, information and its representation, data, data types and data structures, number systems and number representation, basic structure of computing systems, algorithms, programming languages and software development. Applied Logic: * Propositional logic: formulas, syntax and semantics, boolean functions, semantic equivalences, simplification of formulas, disjunctive normal form (DNF) and conjunctive normal form (CNF), resolution procedure, Horn clauses, logical reasoning * Predicate logic: concept of a formula, formulating sentences in predicate logic, syntax and semantics, simplification of predicate logic formulas, unification and resolution * Other logics (overview only) | ||
| Literature : | Ernst H., Schmidt J., Beneken G.: Grundkurs Informatik: Grundlagen und Konzepte für die erfolgreiche IT-Praxis - Eine umfassende, praxisorientierte Einführung, Springer Vieweg, 8. Auflage 2023. Brookshear G.: Computer Science - An Overview, Pearson, 13. edition, 2019. Rechenberg P.: Was ist Informatik? Eine allgemein verständliche Einführung, 3. Auflage 2000. Schneider U., Werner D.: Taschenbuch der Informatik, Carl Hanser Verlag, 7. Auflage 2012. Schöning U.: Logik für Informatiker, Spektrum Akademischer Verlag, 5. Auflage 2000. 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. | ||