Allgemeine Informationen
Veranstaltungsname | Vorlesung: Formalisierung von Wissen |
Untertitel | |
Veranstaltungsnummer | 6.018 |
Semester | SoSe 2021 |
Aktuelle Anzahl der Teilnehmenden | 3 |
erwartete Teilnehmendenanzahl | 15 |
Heimat-Einrichtung | Institut für Mathematik |
beteiligte Einrichtungen | Institut für Kognitionswissenschaft |
Veranstaltungstyp | Vorlesung in der Kategorie Offizielle Lehrveranstaltungen |
Erster Termin | Montag, 12.04.2021 16:15 - 17:00 |
Art/Form | |
Voraussetzungen |
Für die Teilnahme an der Veranstaltung sind mathematische Grundkenntnisse erforderlich. Ein besonderes Interesse an der Auseinandersetzung mit mathematischen Inhalten und Fragen zu Grundlagen der Mathematik ist für eine erfolgreiche Teilnahme an der Veranstaltung von Bedeutung. |
Leistungsnachweis |
Falls Sie diese Veranstaltung im Rahmen -- des KCL-Wahlpflichtmoduls belegen, gilt als Leistungsnachweis (1) eine erfolgreiche Bearbeitung der wöchentlichen Übungszettel. Ihre Lösungen zu den Aufgaben werden Sie im Rahmen der Übungsstunde vorstellen und erklären. Für den Leistungsnachweis müssen Sie in jedem Übungsblatt (mit Ausnahme von nur einem) mindestens 70% der Aufgaben korrekt gelöst haben und ausgewählte Lösungen in der Übungsgruppe erklären können. (2) und ein erfolgreich bestandenes mündliches Abschlusskolloquium zu den Inhalten der Vorlesung am Ende des Sommersemesters. Falls Sie diese Veranstaltungen im Rahmen -- des Wahlpflichtbereichs "Philosophy for Cognitive Science" oder -- des Moduls MATH-135 belegen, gelten als Leistungsnachweis (1) eine erfolgreiche Bearbeitung der wöchentlichen Übungszettel. Ihre Lösungen zu den Aufgaben werden Sie im Rahmen der Übungsstunde vorstellen und erklären. Für den Leistungsnachweis müssen Sie in jedem Übungsblatt (mit Ausnahme von nur einem) mindestens 70% der Aufgaben korrekt gelöst haben und ausgewählte Lösungen in der Übungsgruppe erklären können. (2) und eine erfolgreich bestandene online-Klausur am Ende des Sommersemesters. |
SWS | 2 |
Sprache | Deutsch |
Hinweise zur Veranstaltung |
Die Veranstaltung kann im Rahmen des Professionalisierungsbereichs, Modul: MATH-135, belegt werden. Im SoSe20 konnten Cognitiv-Science-Studierende diese Veranstaltung (Vorlesung und Übung) im Rahmen des Wahlpflichtbereichs "Philosophy for Cognitive Science" belegen (3SWS, 6 LP). Die Umrechnung der Leistungspunkte erfolgte intern in IKW. |
Literatur | wird in der Vorlesung genannt |
Sonstiges | Bereich: wissenschaftliche Veranstaltung |
ECTS-Punkte | 3 |