Dozent

Prof. Dr. Sven Kosub

Termine (Vorlesung)

Mi 10:00 - 11:30 R 513
Do 10:00 - 11:30 R 513

Inhalt

Weitere Details zum Inhalt der Vorlesung auf der Webseite zur Vorlesung.
 


Termine / Dates & Video Recordings

2019-10-23 (Mi) - 0.) Organisatorisches

2019-10-24 (Do) - 1.) Mathematische Konstruktionen

2019-10-30 (Mi) - 2.) Elementare Logik 1

2019-10-31 (Do) - 2.) Elementare Logik 2 (2.2 Logische Verknüpfungen)

2019-11-06 (Mi) - 2.) Elementare Logik 3 (2.3 Rechnen mit logischen Verknüpfungen & 2.4 Aussageformen)

2019-11-07 (Do) - 2.) Elementare Logik 4 (2.5 Aussagen mit Quantoren)

2019-11-13 (Mi) - 2.) Elementare Logik 5 (Fortsetzung)

2019-11-14 (Do) - 2.) Elementare Logik 6 (2.6 Beweise) & 3.) Mengenlehre 1 (3.1 Mengen)

2019-11-20 (Mi)

2019-11-21 (Do)

2019-11-27 (Mi)

2019-11-28 (Do)

2019-12-04 (Mi)

2019-12-05 (Do)

2019-12-11 (Mi)

2019-12-12 (Do)

2019-12-18 (Mi)

2019-12-19 (Do)

2020-01-08 (Mi)

2020-01-09 (Do)

2020-01-15 (Mi)

2020-01-16 (Do)

2020-01-22 (Mi)

2020-01-23 (Do)

2020-01-29 (Mi)

2020-01-30 (Do)

2020-02-05 (Mi)

2020-02-06 (Do)

2020-02-12 (Mi)

2020-02-13 (Do)