Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Forum

Information

• Information zum Inhalt
• Ort und Zeit
• Information zu Übungen
• Information zur Klausur
• Zu Wikiversity

Vorlesungen

• 1 - Probleme

• 2 - Formale Sprachen

• 3 - Tautologien

• 4 - Vollständigkeit der Aussagenlogik

• 5 - Das Lemma von Zorn

• 6 - Prädikatenlogik

• 7 - Semantik der Prädikatenlogik

• 8 - Folgerungen

• 9 - Substitution

• 10 - Ableitungskalkül

• 11 - Quantorenregeln

• 12 - Natürliche Zahlen

• 13 - Peano-Arithmetik

• 14 - Satz von Henkin

• 15 - Der Vollständigkeitssatz

• 16 - Elementare Äquivalenz I

• 17 - Elementare Äquivalenz II

• 18 - Registermaschinen

• 19 - Das Halteproblem

• 20 - Arithmetische Repräsentierungen

• 21 - Die Unentscheidbarkeit der Arithmetik

• 22 - Der Fixpunktsatz

• 23 - Die Unvollständigkeitssätze

• 24 - Modallogik I

• 25 - Modallogik II

• 26 - Semantik der Modallogik

• 27 - Vollständigkeit der Modallogik

Arbeitsblätter

• Arbeitsblatt 1

• Arbeitsblatt 2

• Arbeitsblatt 3

• Arbeitsblatt 4

• Arbeitsblatt 5

• Arbeitsblatt 6

• Arbeitsblatt 7

• Arbeitsblatt 8

• Arbeitsblatt 9

• Arbeitsblatt 10

• Arbeitsblatt 11

• Arbeitsblatt 12

• Arbeitsblatt 13

• Arbeitsblatt 14

• Arbeitsblatt 15

• Arbeitsblatt 16

• Arbeitsblatt 17

• Arbeitsblatt 18

• Arbeitsblatt 19

• Arbeitsblatt 20

• Arbeitsblatt 21

• Arbeitsblatt 22

• Arbeitsblatt 23

• Arbeitsblatt 24

• Arbeitsblatt 25

• Arbeitsblatt 26

• Arbeitsblatt 27

Weitere Materialien

• Definitionsliste

• Definitionsabfrage

• Wichtigste Aussagen

• Aussagen (Abfrage)

• Kurze Einführung zur Logik

• Mächtigkeiten

• Relationen

• Äquivalenzrelationen

• Animierte Registermaschinen

• Beispielklausuren

Forum

Literatur

Links

Neuer Beitrag

Definition 4.1

In Definition 4.1 steht "Gamma^\vdash" (Gamma ausgeschrieben), müsste es nicht "\Gamma^\vdash" heißen?

Blatt 9, Aufgabe 19

Hallo, bei 9.19 fehlt eine Klammer.

Satz 12.2

Muss es hier nicht "für alle $n\in N$" heißen, statt "für alle $n\in \mathbb {N}$"?