Logik 1. Aussagen- und Prädikatenlogik erster Stufe (Vorlesung) (Vorlesung)
Vortragende/r (Mitwirkende/r) | |
---|---|
Umfang | 2 SWS |
Semester | Sommersemester 2023 |
Unterrichtssprache | Deutsch |
Stellung in Studienplänen | Siehe TUMonline |
- 20.04.2023 12:00-13:30 Externer Ort (siehe Anmerkung)
- 27.04.2023 12:00-13:30 3707, Seminarraum
- 04.05.2023 12:00-13:30 3707, Seminarraum
- 11.05.2023 12:00-13:30 Externer Ort (siehe Anmerkung)
- 25.05.2023 12:00-13:30 3707, Seminarraum
- 01.06.2023 12:00-13:30 3707, Seminarraum
- 15.06.2023 12:00-13:30 3707, Seminarraum
- 22.06.2023 12:00-13:30 3707, Seminarraum
- 29.06.2023 12:00-13:30 3707, Seminarraum
- 06.07.2023 12:00-13:30 3707, Seminarraum
- 13.07.2023 12:00-13:30 3707, Seminarraum
- 20.07.2023 12:00-13:30 3707, Seminarraum
Teilnahmekriterien
Lernziele
keine
Beschreibung
Dieser Kurs wendet sich an Studierende aller Fächer, um das formale Instrumentarium der elementaren Logik zur Verfügung zu stellen. Logisches Schließen ist die methodische Grundlage sowohl in Mathematik und Informatik als auch Natur- und Technikwissenschaften, Sozial- und Geisteswissenschaften.
In diesem Kurs geht es zunächst nur um „elementarer Logik“ . Darunter versteht man die Aussagen- und die Prädikatenlogik erster Stufe. Vorkenntnisse und Voraussetzungen sind nicht notwendig. Im Seminar werden die Syntax und die Semantik der Aussagen- und Prädikatenlogik erster Stufe präzise erklärt.
Der Kurs ist folgendermaßen aufgebaut:
1. Formalisierung von Aussagen der natürlichen Sprache;
2. Traditionelle Logik
3. Aussagenlogik:
3.1. Begriff einer formalen Sprache
3.2. Kalkül des natürlichen Schließens für die klassische Aussagenlogik
3.3. Begriffe der (aussagenlogischen) Wahrheit und der logischen Folgerung
3.4. Korrektheit
3.5. Vollständigkeit
4. Prädikatenlogik erster Stufe:
4.1. Formale Sprache für die Prädikatenlogik erster Stufe
4.2. Kalkül des natürlichen Schließens für die Prädikatenlogik erster Stufe
4.3. Tarski-Semantik für die prädikatenlogische Sprache
4.4. Korrektheit
4.5. Vollständigkeit (Idee des Beweises).
In diesem Kurs geht es zunächst nur um „elementarer Logik“ . Darunter versteht man die Aussagen- und die Prädikatenlogik erster Stufe. Vorkenntnisse und Voraussetzungen sind nicht notwendig. Im Seminar werden die Syntax und die Semantik der Aussagen- und Prädikatenlogik erster Stufe präzise erklärt.
Der Kurs ist folgendermaßen aufgebaut:
1. Formalisierung von Aussagen der natürlichen Sprache;
2. Traditionelle Logik
3. Aussagenlogik:
3.1. Begriff einer formalen Sprache
3.2. Kalkül des natürlichen Schließens für die klassische Aussagenlogik
3.3. Begriffe der (aussagenlogischen) Wahrheit und der logischen Folgerung
3.4. Korrektheit
3.5. Vollständigkeit
4. Prädikatenlogik erster Stufe:
4.1. Formale Sprache für die Prädikatenlogik erster Stufe
4.2. Kalkül des natürlichen Schließens für die Prädikatenlogik erster Stufe
4.3. Tarski-Semantik für die prädikatenlogische Sprache
4.4. Korrektheit
4.5. Vollständigkeit (Idee des Beweises).
Lehr- und Lernmethoden
Der Kurs besteht aus einer Vorlesung (2 SWS) und einer Übung (2 SWS)
Studien-, Prüfungsleistung
Klausur (90 min)