Grundlagen der Aussagenlogik und Mengenlehre

[Erica Simmons]

Ich freue mich sie als angehende Wissenschaftler hier in diesem Kurs für Erstsemester begrüssen zu dürfen.

Auch wenn ich davon ausgehe dass sie ein paar Vorkenntnisse aus ihrer Schulzeit mitbringen, wird ein grosser Teil dieser Vorlesung darauf abzielen sicherzustellen dass sie in der Lage sind formalisierte mathematische Sätze zu lesen und zu verstehen. Das ist im Grunde nicht weiter schwierig, erfordert aber sie mit einigen Symbolen und ihrer Bedeutung vertraut zu machen. In dem Zusammenhang werden wir auch einige elementare Begriffe der Aussagenlogik und Mengenlehre behandeln.