| INFB Informatik und Logik | SG | INF | |
|---|---|---|---|
| Dozent : |
Prof. Dr.-Ing. habil. Michael Syrjakow
eMail
Prof. Dr. Emanuel Kitzelmann eMail |
Semester | 1 |
| Einordnung : | Bachelor Informatik | SWS | 4 |
| Sprache : | Deutsch/Englisch | Art | VÜ |
| Prüfungsart : | PL | Credits | 5 |
| Prüfungsform : | Klausur 120 min | ||
| Voraussetzungen : | |||
| Querverweise : | |||
| Vorkenntnisse : | |||
| Hilfsmittel und Besonderheiten : | Studien- und Prüfungsleistungen: Semesterbegleitende Leistungen können in die Bewertung einbezogen werden. | ||
| 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 | ||
| Literatur : | 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. 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. | ||