04-00-0144-vu Logik und Grundlagen

Veranstaltungsdetails

Lehrende: Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger

Veranstaltungsart: Vorlesung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Logik und Grundlagen

Fach:

Anrechenbar für:

Semesterwochenstunden: 2

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

Digitale Lehre:
Die Vorlesung findet digital statt.

Lehrinhalte:
Elementare Logik: Aussagenlogik und Logik erster Stufe; Syntax, Semantik
und Beweiskalküle. Elementare axiomatische Mengenlehre; mengentheoretische
Modellierung mathematischer Objekte; Ordinalzahlen, Kardinalzahlen.
Berechenbarkeit, Entscheidbarkeit und Aufzählbarkeit anhand eines einfachen
Berechnungsmodells.

Literatur:
(Exemplarisch)
Forster, T.: Logic, Induction and Sets. CUP, 234pp., 2003

Kay, R.: The Mathematics of Logic. CUP, 204pp., 2007

Schindler, R.: Logische Grundlagen der Mathematik. Springer, 203pp., 2009.

Voraussetzungen:
allgemeines mathematisches Grundwissen aus dem 1. Fachsemester

Online-Angebote:
moodle

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt:

  • Logik und Grundlagen "Ich nehme nicht am Übungsbetrieb teil."

    Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger

    Kleingruppe anzeigen

  • Logik und Grundlagen Übung 1

    Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger

    Do, 16. Apr. 2020 [09:50]-Do, 16. Jul. 2020 [11:30]

    Kleingruppe anzeigen

  • Logik und Grundlagen Übung 2

    Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger

    Fr, 17. Apr. 2020 [15:20]-Fr, 17. Jul. 2020 [17:00]

    Kleingruppe anzeigen
Literatur
Termine
Datum Von Bis Raum Lehrende
1 Fr, 17. Apr. 2020 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
2 Fr, 17. Apr. 2020 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
3 Mo, 20. Apr. 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
4 Di, 21. Apr. 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
5 Di, 21. Apr. 2020 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
6 Mi, 22. Apr. 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
7 Mi, 22. Apr. 2020 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
8 Fr, 24. Apr. 2020 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
9 Fr, 24. Apr. 2020 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
10 Mo, 27. Apr. 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
11 Di, 28. Apr. 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
12 Di, 28. Apr. 2020 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
13 Mi, 29. Apr. 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
14 Mi, 29. Apr. 2020 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
15 Mo, 4. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
16 Di, 5. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
17 Di, 5. Mai 2020 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
18 Mi, 6. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
19 Mi, 6. Mai 2020 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
20 Fr, 8. Mai 2020 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
21 Fr, 8. Mai 2020 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
22 Mo, 11. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
23 Di, 12. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
24 Di, 12. Mai 2020 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
25 Mi, 13. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
26 Mi, 13. Mai 2020 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
27 Fr, 15. Mai 2020 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
28 Fr, 15. Mai 2020 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
29 Mo, 18. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
30 Di, 19. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
31 Di, 19. Mai 2020 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
32 Mi, 20. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
33 Mi, 20. Mai 2020 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
34 Fr, 22. Mai 2020 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
35 Fr, 22. Mai 2020 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
36 Mo, 25. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
37 Di, 26. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
38 Di, 26. Mai 2020 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
39 Mi, 27. Mai 2020 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
40 Mi, 27. Mai 2020 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
41 Fr, 29. Mai 2020 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
42 Fr, 29. Mai 2020 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
43 Di, 2. Jun. 2020 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
44 Di, 9. Jun. 2020 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
45 Di, 23. Jun. 2020 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
46 Di, 30. Jun. 2020 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
47 Di, 7. Jul. 2020 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
48 Di, 14. Jul. 2020 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  •  
  •  
Lehrende
Prof. Dr. rer. nat. Martin Otto
M.Sc. Jonathan Weinberger