About this course
Gegenstand ist zum einen die natürliche Sprache und die Analyse ihrer Form und Gestalt und zum anderen die sog. Mathematische Logik. Die Studierenden lernen die Reichhaltigkeit der natürlichen Sprache kennen und auch die Grenzen ihrer Analyse. Sie erkennen, wie wichtig und hilfreich eine formale Grammatik (=Logik) sein kann, aber auch, dass es mehre Grammatiken gibt und jede gewissen Grenzen gehorchen muss. Schließlich stellt sich die Frage nach universellen Grammatiken oder Logiken. Basierend auf der Sprachanalyse wird ein Logikkalkül aufgebaut und seine Grenzen analysiert (Gödel'sche Sätze) und auch auf Fragen der Spezifikation und automatischer Theorembeweiser eingegangen.
Learning outcomes
Nach dem Kurs sollten Sie die folgenden Fragen beantworten können: a) Sprache und Logik, was haben diese gemeinsam, was grenzt diese ab? b) Argumentation und Form c) Gibt es nur eine Logik? d) Was ist propositionale Logik? e) Was sind Quantoren und Prädikate und wie viele gibt es davon? f) Was ist Beweistheorie und was macht sie? g) Was kann die Logik oder einzelne Logiken und was nicht?
Examination
Klausur
Resources
Activities
Gruppenarbeit, Projekte, Aufgaben, Plenumsvortrag und Einweisung
Additional information
- More infoCoursepage on website of Technical University of Munich
- Contact a coordinator
- CreditsECTS 3
- Contact hours per week2
- InstructorsStefania Centrone, Alfred Slanitz, Margarita Anishchenko, Gerson Brea, Oliver Deiser, Rainhard Bengez, Nikolaus Schatt
- Mode of instructionHybrid
Offering(s)
Start date
23 April 2025
- Ends25 July 2025
- Term *Summer 2025
- Instruction language
- Register between29 Oct - 29 Nov 2024
Enrolment openApply now