Vorlesung und Übung (6 SWS/9 ECTS)
In dieser Vorlesung werden die grundlegenden formalen und logischen Konzepte der Mathematik behandelt, wie sie für das Information Engineering vorausgesetzt werden. Die Studierenden lernen vor allem den Umgang mit eindeutiger Notation sowie die Formulierung und den Beweis von Aussagen über formale Sachverhalte. Darüber hinaus werden aber auch grundlegende Techniken der Analysis and der Linearen Algebra vermittelt.
Termine
| Vorlesung: | Mittwoch, 10:00-11:30 Uhr, A 702 (Sven Kosub) |
| Donnerstag, 10:00-11:30 Uhr, A 702 (Sven Kosub) | |
| Übung: | Dienstag, 13:30-15:00, F 429 (A: Julian.Mueller @ uni.kn) |
| Mittwoch, 11:45-13:15, D 432 (B: Mereke van Garderen) | |
| Klausur: | Mittwoch, 18.02.2015, 10:00-12:00, M 629 (Ersttermin) |
| Mittwoch, 08.04.2015, 10:00-12:00, A 702 (Zweittermin) |
Übungsblätter
Die Bearbeitung der Übungsblätter erfolgt in den Übungen als Präsenzaufgaben.
Die Übungsblätter werden immer am Freitag auf der Vorlesungswebseite zur Verfügung gestellt. Sie können Ihre Lösungen elektronisch als eine aus LaTeX erzeugte PDF-Datei bis zum Sonntag der nächsten Woche 23:59 Uhr per Email bei Ihrem Tutor abgeben. Ihr Abgaben werden korrigiert und mit Punkten versehen zurückgegeben. Die erzielten Punkte werden jedoch nicht zusammengezählt.
Es bestehen keine Bedingungen für die Zulassung zur Klausur.
Themen
Folgende Inhalte werden in der Vorlesung behandelt:
- Logik
- Mengen
- Relationen
- Induktion
- Lineare Algebra
- Analysis
Skriptum
Im Laufe der Vorlesung wird ein Skript zur Vorlesung zur Verfügung gestellt werden. Die jeweils aktuelle Version finden Sie hier. Sollten Sie Anregungen zum Skript haben oder Fehler jeglicher Art finden, schreiben Sie bitte eine kurze Email.
Literatur
Ergänzendes und vertiefendes Material zu Vorlesung und Skriptum findet sich in folgenden Lehrbüchern:
- Christoph Meinel, Martin Mundhenk. Mathematische Grundlagen der Informatik. Mathematisches Denken und Beweisen. Eine Einführung. 3., überarbeitete und erweiterte Auflage. B. G. Teubner Verlag, Wiesbaden, 2006.
- Bernd Kreußler, Gerhard Pfister. Mathematik für Informatiker. Springer-Verlag, Berlin, 2009.
- David Makinson. Sets, Logic and Maths for Computing. Undergraduate Topics in Computer Science. 2. Auflage. Springer-Verlag, London, 2012.
- K A. Stroud, Dexter J. Booth. Engineering Mathematics. 7. Auflage. Palgrave Macmillan, 2013.