1. Modulverzeichnis (MTS)
  2. Module
  3. Modulbeschreibung anzeigen

Formal-mathematische Grundlagen

Zur Modulseite PDF generieren

#41281 / #1

Seit SoSe 2026

Deutsch, Englisch

Formal-mathematische Grundlagen

6

Nestmann, Uwe

Benotet

Schriftliche Prüfung

Deutsch

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Keine Angabe

Kontakt


EN 24

Nestmann, Uwe

fog@mtv.tu-berlin.de

https://www.tu.berlin/mtv/lehre/module-und-veranstaltungen/bachelormodule/fog

Lernergebnisse

Absolventinnen und Absolventen dieses Moduls beherrschen einen Grundstock an formal-mathematischen und logischen Grundlagen der Informatik. Sie haben eine substanzielle Beweiskompetenz erworben, d.h., sie können zumindest die formale Korrektheit von Argumentationsmustern auf der Basis von Aussagen- und Prädikatenlogik bewerten. Sie besitzen im Idealfall zudem die Fähigkeit zur eigenständigen strukturierten und logisch korrekten Argumentation im Sinne grundlegender mathematischer Beweisführungen. Sie können dabei durch Abstraktion von konkreten Sachverhalten auf allgemeine Sachverhalte und auch wieder konkretisierend zurück wechseln. Sie sind sich der unterschiedlichen Ebenen von Objekt- und Metasprache bewusst. Entsprechende Aufgabenstellungen für alles bisher genannte können sie sowohl selbständig, insbesondere rechnergestützt, als auch in Kleingruppen bearbeiten.

Lehrinhalte

- Grundlagen der Mengenlehre - Inferenzregeln als definitorisches Prinzip - natürliches Schließen in Aussagen- und Prädikatenlogik - logische Äquivalenz, Beweisstrukturen und Beweisprinzipien - Objektsprache und Metasprache - grundlegende diskrete Strukturen (Relationen, Abbildungen, Äquivalenzen) - die informatische Bedeutung der (Über-)Abzählbarkeit - abstrakte und universelle Algebra - strukturelle Induktion und "pattern matching" - Induktion versus Rekursion - formale (Un-)Berechenbarkeit

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWS ISIS VVZ
Formal-mathematische GrundlagenVLSoSede2
Formal-mathematische GrundlagenIVSoSede2
ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Formal-mathematische Grundlagen (VL):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.02.0h30.0h
Vor-/Nachbereitung15.02.0h30.0h
60.0h(~2 LP)

Formal-mathematische Grundlagen (IV):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.02.0h30.0h
Vor-/Nachbereitung15.04.0h60.0h
90.0h(~3 LP)

Lehrveranstaltungsunabhängiger Aufwand:

AufwandbeschreibungMultiplikatorStundenGesamt
Prüfungsvorbereitung1.030.0h30.0h
30.0h(~1 LP)
Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Die VL ist eher klassisch angelegt. In ihr wird auch die Web-Anwendung ProofBuddy eingesetzt und deren Nutzung erklärt. In der IV, die im Stil einer Großübung durchgeführt wird, wechseln sich klassische Tafelübungen mit betreuter Rechnerzeit ab. Zusätzlich werden von Tutor*innen betreute Übungszeiten im Stile eines offenen Lernraums angeboten.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Kenntnisse vergleichbar zum Kombimodul "Analysis 1 und Lineare Algebra für Ingenieurwissenschaften"

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Voraussetzung
Leistungsnachweis »[MTV] Hausaufgaben (FoG)«

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Schriftliche Prüfung

Sprache(n)

Deutsch

Dauer/Umfang

3 Stunden

Prüfungsbeschreibung (Abschluss des Moduls)

Die Prüfung umfasst auch Beweisaufgaben. Die Prüfung wird so konzipiert, dass sie von guten Studierenden in 2 Stunden bearbeitet werden kann. Wir erlauben dennoch 3 Stunden Bearbeitungszeit, um gerade das Bearbeiten von Beweisaufgaben ohne zu großen Zeitdruck zu ermöglichen.

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Sommersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Kurzinformationen via ISIS-Kurs. Anmeldung via Moses.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit:  nicht verfügbar

 

Skript in elektronischer Form

Verfügbarkeit:  verfügbar

 

Literatur

Empfohlene Literatur
Keine empfohlene Literatur angegeben

Zugeordnete Studiengänge


Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
Informatik (B. Sc.)11SoSe 2026SoSe 2026

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Sonstiges

Keine Angabe