Moses - World of Proofcraft

Anzeigesprache

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SoSe 2023 - WiSe 2023/24. Die Version für das aktuelle Semester (SoSe 2024) finden Sie hier: Modulbeschreibung des SoSe 2024

Modul / Version:
#41087 / #1

Gültigkeit:
SoSe 2023 - WiSe 2023/24

Standard-Anzeigesprache:
Deutsch

Titel des Moduls:
World of Proofcraft

Leistungspunkte:
6

Modulverantwortliche*r:
Nestmann, Uwe

Benotung:
unbenotet

Prüfungsform:
Portfolioprüfung

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:
TEL 7-2

Ansprechpartner*in:
Karsten, Nadine

E-Mail-Adresse:
lehre@mtv.tu-berlin.de

Webseite:

https://www.mtv.tu-berlin.de/menue/lehre/

Lernergebnisse

Absolvent:innen dieses Moduls beherrschen die Grundlagen des logisch-mathematischen Beweisens. Einerseits besitzen sie die Fähigkeit, Beweise auf "klassische" Weise in einer Mischung von formaler und natürlicher Sprache zu führen. Andererseits sind sie in der Lage, Beweise mit Hilfe eines Beweisassistenten zu führen und zu formalisieren. Durch die Gegenüberstellung der Beweisarten entwickeln sie ein Bewusstsein für die verschiedenen Grade der Formalität von Beweisen und für den Transfer zwischen diesen. Weiterhin können die Absolvent:innen ihren eigenen Lernprozess darstellen. Sie sind in der Lage ihr Wissen zu kontextualisieren und methodisch zu reflektieren.

Lehrinhalte

- Aussagenlogik und Prädikatenlogik - Beweisassistenten - Beweistechniken - Diskrete Strukturen - Reflexionsmethoden

Modulbestandteile

Pflichtgruppe:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	VZ
World of Proofcraft	HS		k.A.	Deutsch	4

Arbeitsaufwand und Leistungspunkte

World of Proofcraft (HS):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	4.0h	60.0h
Vor-/Nachbereitung	15.0	4.0h	60.0h
Portfolio erstellen	15.0	2.0h	30.0h
Peer-Reviewing	15.0	1.0h	15.0h
			165.0h(~6 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Prüfungsvorbereitung	1.0	10.0h	10.0h
Reflexion	1.0	5.0h	5.0h
			15.0h(~1 LP)

Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Im Seminar werden abwechselnd fachliche Lehrinhalte erklärt und in Übungen umgesetzt. Beim Führen von Beweisen erhalten die Studierenden Unterstützung und Feedback von Lehrenden, anderen Studierenden und dem Beweisassistenten. Während der Präsenzveranstaltung reflektieren die Studierenden ihren Lernfortschritt. In Form eines Lernportfolios wird dieser Lernfortschritt festgehalten. Durch Peer-Reviewing der Portfolios geben sich die Studierenden auch untereinander Feedback.

Voraussetzungen für die Teilnahme / Prüfung

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

Grundwissen des Mathematikmoduls Analysis I und Lineare Algebra für Ingenieurwissenschaften

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

unbenotet

Prüfungsform

Portfolioprüfung

Art der Portfolioprüfung

100 Punkte insgesamt

Sprache

Deutsch

Prüfungselemente

Name	Punkte	Kategorie	Dauer/Umfang
(Ergebnisprüfung) Lernportfolio	40	schriftlich	20-25 Seiten
(Ergebnisprüfung) Peer-Reviewing	10	flexibel	15 Seiten
(Punktuelle Leistungsabfrage) Schriftlicher Test	50	schriftlich	60 Minuten

Notenschlüssel

Ab insgesamt 60 Portfoliopunkten bestanden.

Prüfungsbeschreibung (Abschluss des Moduls)

Keine Angabe

Dauer des Moduls

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

Dieses Modul kann in folgenden Semestern begonnen werden:
Unregelmässig.

Maximale teilnehmende Personen

Die maximale Teilnehmerzahl beträgt 15.

Anmeldeformalitäten

Interessenten melden sich über den jeweiligen ISIS-Kurs vorab an. Die Anmeldung zur Modulprüfung erfolgt im Prüfungsamt bzw. über Moses.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: nicht 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.

Sonstiges

Keine Angabe