|
Vorlesung
|
-
5.01.951 - Vorlesung Diskrete Strukturen
Donnerstag: 14:00 - 16:00, wöchentlich (ab 19.10.2017), Ort: A11 1-101 (Hörsaal B)
Freitag: 08:00 - 10:00, zweiwöchentlich (ab 20.10.2017), Ort: A11 1-101 (Hörsaal B)
Termine am Mittwoch, 10.01.2018 - Donnerstag, 11.01.2018 18:00 - 20:00, Freitag, 19.01.2018 08:00 - 10:00, Mittwoch, 24.01.2018 10:00 - 12:00, Mittwoch, 24.01.2018 12:00 - 14:00, Donnerstag, 25.01.2018 18:00 - 20:00, Freitag, 26.01.2018 08:00 - 10:00, Mittwoch, 31.01.2018 10:00 - 12:00, Mittwoch, 31.01.2018 12:00 - 14:00, Montag, 05.02.2018 16:00 - 21:00, Donnerstag, 08.02.2018 10:30 - 12:30, Montag, 12.02.2018 09:30 - 11:30, Montag, 12.02.2018 13:00 - 15:00, Dienstag, 13.02.2018 16:30 - 18:30, Dienstag, 13.02.2018 18:30 - 20:30, Mittwoch, 14.02.2018 16:30 - 18:30, Freitag, 16.02.2018 14:30 - 16:30, Freitag, 16.02.2018 17:00 - 19:00, Dienstag, 20.02.2018 10:00 - 12:00, Dienstag, 27.02.2018 14:00 - 15:00, Montag, 26.03.2018 10:00 - 12:00, Dienstag, 27.03.2018 10:00 - 12:30 ...(mehr)
Ort: A07 0-030 (Hörsaal G), A11 1-101 (Hörsaal B), A10 1-121 (Hörsaal F) (+7 weitere)
|
|
|
Übung
|
-
5.01.952 - Übung Diskrete Strukturen
Donnerstag: 16:00 - 18:00, wöchentlich (ab 26.10.2017), Übung, Ort: W06 0-008
Freitag: 08:00 - 10:00, zweiwöchentlich (ab 27.10.2017), Ort: A11 1-101 (Hörsaal B)
Freitag: 10:00 - 12:00, wöchentlich (ab 20.10.2017), Ort: W01 0-011
Freitag: 12:00 - 14:00, wöchentlich (ab 20.10.2017), Ort: W06 0-008
Freitag: 12:00 - 14:00, wöchentlich (ab 20.10.2017), Ort: W02 1-148
Freitag: 12:00 - 14:00, wöchentlich (ab 20.10.2017), Ort: W01 0-006, W02 1-146
Freitag: 12:00 - 14:00, wöchentlich (ab 27.10.2017), Übung, Ort: W01 0-015
Freitag: 14:00 - 16:00, wöchentlich (ab 20.10.2017), Ort: W01 0-011
Termine am Montag, 19.03.2018 12:00 - 16:00, Mittwoch, 21.03.2018 14:00 - 16:00, Ort: W03 1-156
in Parallelgruppen
|
|
| Teilnahmevoraussetzungen |
Keine Teilnehmervoraussetzungen |
| Hinweise |
Dieser Kurs ist Teil des Basiscurriculums des MSc-Programms "Engineering of Socio-Technical Systems". Er vermittelt Studierenden mit einem Hintergrund in Psychologie die grundlegenden Kompetenzen in mathematischer Formalisierung, die für die Beherrschung nachfolgender Kurse in Informatik notwendig sind. Dieser Kurs ist nicht für Studierende mit Informatikhintergrund gedacht. |
| Prüfungszeiten |
At the end of the lecture periods |
| Prüfungsleistung Modul |
written exam or oral exam |
| Kompetenzziele |
Die Kurse bieten eine Einführung in die grundlegenden Methoden der mathematischen Formalisierung und Beweisführung sowie in die zentralen Konzepte der Graphentheorie, der elementaren Zahlentheorie und der Algebra. Die Auswahl der Themen richtet sich nach ihrer besonderen Relevanz für die Informatik und verwandte Disziplinen. Im Rahmen des Curriculums des MSc EngSTS vermittelt dieser Kurs Studierenden mit einem BSc in Psychologie oder verwandten Fächern die Fähigkeiten in mathematischer Formalisierung, die für die Bewältigung nachfolgender Kurse in Informatik notwendig sind.
Berufliche Kompetenzen
Die Studierenden:
- lernen die der modernen Mathematik zugrunde liegenden Formalismen und Denkweisen kennen und sind in der Lage, diese auf konkrete Probleme anzuwenden
- verstehen die zentralen Konzepte und Methoden der Graphentheorie, der elementaren Zahlentheorie und der Algebra, die für die Informatik und verwandte Disziplinen relevant sind
Methodenkompetenzen
Die Studierende:
- sind in der Lage, grundlegende Methoden der mathematischen Formalisierung und Argumentation auf konkrete Problemstellungen anzuwenden
- sind in der Lage, die aus einer solchen formalen Argumentation resultierenden Urteile abzurufen und im Hinblick auf die ursprüngliche, informelle Problembeschreibung zu interpretieren.
Soziale Kompetenzen
Die Studierenden:
- sind in der Lage, sich gegenseitig mathematische Formalisierungen zu erklären und deren Begründungen zu diskutieren
Selbstkompetenzen
Die Studierenden:
- sind in der Lage, die Angemessenheit ihrer Formalisierungs- und Verifikationsversuche zu reflektieren
|
|
