inf961 - Fundamental Competencies in Computing Science II: Mathematics (Veranstaltungsübersicht)

inf961 - Fundamental Competencies in Computing Science II: Mathematics (Veranstaltungsübersicht)

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Wintersemester 2020/2021 Prüfungsleistung
Vorlesung
  • Kein Zugang 2.01.961 - Fundamental Competences in Computing Science II: Mathematics Lehrende anzeigen
    • Dr. Sandra Stein

    Dienstag: 08:00 - 10:00, wöchentlich (ab 20.10.2020)

  • Kein Zugang 5.01.951 - Vorlesung Diskrete Strukturen Lehrende anzeigen
    • Dr. Sandra Stein

    Donnerstag: 14:00 - 16:00, wöchentlich (ab 22.10.2020), Ort: (online)
    Freitag: 08:00 - 10:00, zweiwöchentlich (ab 23.10.2020), Ort: (online)
    Termine am Freitag, 30.10.2020, Freitag, 11.12.2020 08:00 - 10:00, Montag, 11.01.2021 18:00 - 20:00, Donnerstag, 14.01.2021, Donnerstag, 28.01.2021, Donnerstag, 04.02.2021 16:00 - 18:00, Mittwoch, 10.02.2021 16:00 - 20:00, Donnerstag, 11.02.2021 10:00 - 12:00, Freitag, 12.02.2021 10:00 - 14:00, Mittwoch, 17.02.2021 12:00 - 16:00, Donnerstag, 18.02.2021 10:00 - 12:00, Freitag, 19.02.2021 09:00 - 15:00, Dienstag, 23.02.2021, Dienstag, 23.02.2021 11:30 - 13:45 ...(mehr)
    Ort: A07 0-030 (Hörsaal G), A11 1-101 (Hörsaal B), A14 1-101 (Hörsaal 1) (+8 weitere)

Übung
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