Navigation

Skiplinks

Kontakt

InfoLine Studium

Telefon: +49(0)441 - 798-2728

Homepage

Fachstudienberaterinnen und Fachstudienberater

Homepage

International Student Office

Telefon: +49 (0)441 - 798-2478

Homepage

Semester:

4.03.232 Syntax und Semantik der Aussagen- und Prädikaten-Logik erster Stufe


Veranstaltungstermine

  • Mo , 05.02.2018 12:00 - 19:00
  • Mo , 26.02.2018 12:00 - 16:00
  • Montag: 12:00 - 14:00, wöchentlich

Beschreibung

Dieser Kurs zielt darauf ab, den Studierenden das formale Instrumentarium der elementaren Logik zur Verfügung zur stellen. Unter „elementarer Logik“ versteht man: die Aussagen- und die Prädikatenlogik erster Stufe. 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:
i) Aussagenlogik: Formale Sprache, Wahrheit und logische Folgerung, Korrektheit, Vollständigkeit
ii) Prädikatenlogik: Formale Sprache, Tarski-Semantik für die prädikatenlogische Sprache, Korrektheit, Vollständigkeit (Idee des Beweises)
iii) Kalkül des natürlichen Schließens für die Aussagen- und Prädikatenlogik erster Stufe

Skripte werden im STUDIP bereitgestellt.

DozentIn

Studienbereiche

  • Studium generale / Gasthörstudium

Für Gasthörende / Studium generale geöffnet:
Ja

Lehrsprache
deutsch

empfohlenes Fachsemester
--

Webmaster (Stand: 10.09.2018)