| Dozent | Prof. Dr. Peter Thiemann, Prof. Dr. Wolfram Burgard |
| Mitwirkung | Matthias Neubauer, Dr. Georg Struth, Maren Bennewitz |
| Zeit | Di 11-13, Do 11-13 |
| Ort | Hörsäle 026/036, Gebäude 101, Universitätsgelände Flugplatz |
Die Vorlesung gibt eine Einführung in die Grundlagen der Informatik. Anhand den Programmiersprachen Scheme und Java werden Grundkonzepte der Programmierung erläutert. Dazu gehören prozedurale Programmierung, Datenabtraktion, datengesteuerte und objekt-orientierte Programmierung.
Des weiteren werden formale Grundlagen der Informatik vorgestellt, soweit sie für die Programmierung, für die Beschreibung von Programmiersprachen sowie für die Spezifikation von Programmen erforderlich sind. Hierzu zählen Grundbegriffe der Logik, der Mengenlehre und der abstrakten Algebra.
Die Vorlesung wird durch Tutorien begleitet, in denen Übungsaufgaben besprochen werden.