Moses - Formal-mathematische Grundlagen

Zur Modulseite PDF generieren

Modul / Version
#41281 / #1

Gültigkeit
Seit SoSe 2026

Verfügbare Sprache(n)
Deutsch, Englisch

Titel des Moduls
Formal-mathematische Grundlagen

Leistungspunkte
6

Modulverantwortliche*r
Nestmann, Uwe

Benotung
Benotet

Prüfungsform
Schriftliche Prüfung

Lehrsprache(n)
Deutsch

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
EN 24

Ansprechpartner*in
Nestmann, Uwe

E-Mail-Adresse
fog@mtv.tu-berlin.de

Webseite

https://www.tu.berlin/mtv/lehre/module/bachelor-module/fog

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum Seit SoSe 2026.

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:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Formal-mathematische Grundlagen	VL		SoSe	de	2
Formal-mathematische Grundlagen	IV		SoSe	de	2

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Formal-mathematische Grundlagen (VL):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbereitung	15.0	2.0h	30.0h
			60.0h(~2 LP)

Formal-mathematische Grundlagen (IV):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbereitung	15.0	4.0h	60.0h
			90.0h(~3 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Prüfungsvorbereitung	1.0	30.0h	30.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

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

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

Sonstiges

Keine Angabe