inf961 - Fundamental Competencies in Computing Science II: Mathematics

inf961 - Fundamental Competencies in Computing Science II: Mathematics

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Wintersemester 2019/2020 Prüfungsleistung
Vorlesung
  • Kein Zugang 5.01.951 - Vorlesung Diskrete Strukturen Lehrende anzeigen
    • Dr. Sandra Stein

    Donnerstag: 14:00 - 16:00, wöchentlich (ab 17.10.2019), Ort: A11 1-101 (Hörsaal B)
    Freitag: 08:00 - 10:00, zweiwöchentlich (ab 18.10.2019), Ort: A11 1-101 (Hörsaal B)
    Termine am Freitag, 25.10.2019 08:00 - 10:00, Donnerstag, 16.01.2020 16:00 - 18:00, Freitag, 17.01.2020 08:00 - 10:00, Montag, 03.02.2020 10:00 - 15:00, Donnerstag, 06.02.2020 09:30 - 14:00, Freitag, 07.02.2020, Montag, 10.02.2020 - Dienstag, 11.02.2020 12:00 - 17:00, Mittwoch, 12.02.2020 09:00 - 13:30, Montag, 17.02.2020 12:00 - 19:00, Freitag, 21.02.2020 09:00 - 12:00, Freitag, 28.02.2020 14:00 - 16:00 ...(mehr)
    Ort: W04 1-172, W32 0-005, A11 1-101 (Hörsaal B) (+8 weitere)

Übung
  • Kein Zugang 5.01.952 - Übung Diskrete Strukturen Lehrende anzeigen
    • Dr. Sandra Stein

    Donnerstag: 16:00 - 17:00, wöchentlich (ab 17.10.2019), Ort: W02 1-148
    Donnerstag: 17:00 - 18:00, wöchentlich (ab 17.10.2019), Ort: W02 1-148
    Freitag: 08:00 - 10:00, zweiwöchentlich (ab 25.10.2019), Ort: A11 1-101 (Hörsaal B)
    Freitag: 12:00 - 13:00, wöchentlich (ab 18.10.2019), Ort: W01 0-015
    Freitag: 12:00 - 13:00, wöchentlich (ab 18.10.2019), Ort: W32 1-113
    Freitag: 12:00 - 13:00, wöchentlich (ab 18.10.2019), Ort: W32 1-112
    Freitag: 12:00 - 13:00, wöchentlich (ab 18.10.2019), Ort: W03 1-156
    Freitag: 12:00 - 13:00, wöchentlich (ab 18.10.2019), Ort: W02 1-128
    Freitag: 13:00 - 14:00, wöchentlich (ab 18.10.2019), Ort: W01 0-015
    Freitag: 13:00 - 14:00, wöchentlich (ab 18.10.2019), Ort: W32 1-112
    Freitag: 13:00 - 14:00, wöchentlich (ab 18.10.2019), Ort: W32 1-113
    Freitag: 13:00 - 14:00, wöchentlich (ab 18.10.2019), Ort: W03 1-156
    Freitag: 13:00 - 14:00, wöchentlich (ab 18.10.2019), Ort: W02 1-128
    Freitag: 14:00 - 15:00, wöchentlich (ab 18.10.2019), Ort: W01 0-015
    Freitag: 14:00 - 15:00, wöchentlich (ab 18.10.2019), Ort: W03 1-156, W03 1-154, W02 1-148
    Freitag: 15:00 - 16:00, wöchentlich (ab 18.10.2019), Ort: W01 0-015
    Termine am Freitag, 18.10.2019 13:00 - 15:00, Freitag, 01.11.2019 13:00 - 14:00, Freitag, 01.11.2019 14:00 - 15:00, Freitag, 24.01.2020 08:00 - 10:00, Ort: W16A 015/016, W03 1-154, ((HS B))

    in Parallelgruppen

Hinweise zum Modul
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

Nach oben