Mathematik für Informatik 1
- Veranstalter: Dr. Oliver Rüthing
- Vorlesung (4 SWS)
- Ort: SRG1, H.001
- Zeiten:
- Termin 1: Dienstag 16.15-17.45 Uhr
- Termin 2: Donnerstag 10.15-11.45 Uhr
- Start: Dienstag, 10.10.2023
Kommentar
Die Veranstaltung stellt einige der für Studierende der Informatik notwendigen Grundlagen der Mathematik maßgeschneidert zur Verfügung. Behandelt werden insbesondere zunächst folgende allgemeine Themen: Mengen, Abbildungen und Relationen; Zahlbereiche; Logische Grundlagen und Beweistechniken. Weitere Themen des Moduls sind insbesondere: Grundlegendes aus der linearen Algebra (lineare Gleichungssysteme, lineare Abbildungen, Matrizen und Vektoren); Grundlegendes aus der Algebra (Gruppen, Körper). Dabei werden informatikspezifische Anwendungen sowie die für die Informatik wichtige Unterscheidung zwischen Syntax und Semantik exemplarisch hervorgehoben.
Wichtiger Hinweis
Die Vorlesung wird in diesem Semester wieder als Präsenzvorlesung angeboten. Eine generelle Aufzeichnung der Vorlesung ist nicht geplant.
Übungen
Die Übungen vertiefen die in der Vorlesung vermittelten Lehrinhalte durch selbständiges Nachvollziehen ausgewählter Aufgaben. Die Anmeldung zu den Übungen erfolgt via AsSESS (wird nach Vorlesungsstart aufgesetzt). Es werden vornehmlich Präsenz-Übungen angeboten. Materialien (Folien,Skript,Übungsaufgaben) und organisatorische Inhalte (Ankündigungen, Forum) werden in einem virtuellen Moodle-Arbeitsraum zur Verfügung gestellt (Anmeldung nur via LSF - elektronisches Vorlesungsverzeichnis). Nähere Informationen zum Ablauf der Übungen folgen in der ersten Vorlesung und im Moodle.
Helpdesk
Begleitend zu Vorlesung und Übungen wird online ein Helpdesk angeboten. Nähre Informationen sind später über die HelpCenter-Seite der Fakultät verfügbar.
Klausurtermine
- Erstklausur: Dienstag, 13.2.2024, 16:00 Uhr - ca. 19:15 Uhr
- Zweitklausur: Mittwoch, 3.4.2024, 08:00 Uhr - ca. 11:15 Uhr
Materialien
- Grundlagen der höheren Informatik, Band 1: Induktives Vorgehen via SpringerLink (Zugriff aus dem Uninetz erforderlich). Das Buch deckt inhaltlich ca. das erste Drittel der Vorlesung ab. Weiteres Material wird im Moodle zur Verfügung gestellt.
- Mathematical Foundations of Advance Informatics. Volume 1: Inductive Approaches via SpringerLink (Zugriff aus dem Uninetz erforderlich). Englischsprachige überarbeitete Version.