Einführung in die Logik 2022/23

Course title picture
TU Dresden | Wintersemester 2022 / 2023

Einführung in die Logik 2022/23

Einführung in die Logik 2022/23

 
Vorlesung:              Mittwochs 5.DS TRE/ Math/ H.         ab 12.10
 
 
Übung:                    Dienstags 5.DS WEB/ KLEM/ U       ab 11.10
 
 
Sprechstunde:        Montags, 17:00 BZW A423
 
 
Tutorium:               Einschreibungsbeginn 4.10
 
  • Catharina:          Mo. 4.DS BZW/A152/U       ab 17.10
  • Lena:                  Mi. 4.DS ASB 0328/ H         ab 19.10
  • Michelle:            Do. 5.DS ABS 0E04/U         ab 20.10
  • Charlotte:           Do. 6.DS SE1 0101/U           ab 20.10

Der Inhalt des Kurses ist eine Einführung in die Prädikatenlogik. Das ist eine Theorie der korrekten Verwendung von {und, oder, nicht, wenn-dann, für alle, und für manche} und abgeleiteter Worte in einer formalen Sprache. Vorausgesetzt wird nichts, allerdings wird Sie das Vokabular an Ihren Matheunterricht erinnern. Unser Ziel ist es nicht, daß Sie sich alle auf Logik spezialisieren, sondern, daß Sie ein paar sonst schlecht zugängliche Autoren und Diskussionen verfolgen können, und vielleicht den richtigen Verdacht haben, wenn Sie eine logisch fehlerhafte Argumentation sehen.

Es gibt eine Vorlesung (Sprachphilosophie, naive Mengenlehre, eine modelltheoretische Semantik und ein hübsches Beweisverfahren), eine Übung (da bekommen Sie gezeigt, wie das geht und tun das dann selbst) und Tutorien (hier werden ebenfalls Fragen beantwortet und Aufgaben gelöst). Am Ende steht eine Klausur, deren Ergebnis zu 70% in die Modulnote eingeht.

 

 

Display more information
Loading Assessment overview
Loading overview