04-00-0144-vu Logik und Grundlagen

Kleingruppe: Logik und Grundlagen Übung 1 

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: - | 35

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: Plenumsveranstaltung anzeigen

  • 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]

    Diese Kleingruppe wird aktuell angezeigt.

  • 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 Do, 23. Apr. 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
9 Fr, 24. Apr. 2020* 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
10 Fr, 24. Apr. 2020* 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
11 Mo, 27. Apr. 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
12 Di, 28. Apr. 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
13 Di, 28. Apr. 2020* 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
14 Mi, 29. Apr. 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
15 Mi, 29. Apr. 2020* 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
16 Do, 30. Apr. 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
17 Mo, 4. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
18 Di, 5. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
19 Di, 5. Mai 2020* 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
20 Mi, 6. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
21 Mi, 6. Mai 2020* 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
22 Do, 7. Mai 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
23 Fr, 8. Mai 2020* 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
24 Fr, 8. Mai 2020* 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
25 Mo, 11. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
26 Di, 12. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
27 Di, 12. Mai 2020* 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
28 Mi, 13. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
29 Mi, 13. Mai 2020* 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
30 Do, 14. Mai 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
31 Fr, 15. Mai 2020* 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
32 Fr, 15. Mai 2020* 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
33 Mo, 18. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
34 Di, 19. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
35 Di, 19. Mai 2020* 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
36 Mi, 20. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
37 Mi, 20. Mai 2020* 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
38 Fr, 22. Mai 2020* 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
39 Fr, 22. Mai 2020* 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
40 Mo, 25. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
41 Di, 26. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
42 Di, 26. Mai 2020* 15:20 17:00 S214/24 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
43 Mi, 27. Mai 2020* 08:00 09:40 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
44 Mi, 27. Mai 2020* 11:40 16:00 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
45 Do, 28. Mai 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
46 Fr, 29. Mai 2020* 08:00 11:30 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
47 Fr, 29. Mai 2020* 13:30 15:10 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
48 Di, 2. Jun. 2020* 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
49 Do, 4. Jun. 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
50 Di, 9. Jun. 2020* 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
51 Do, 18. Jun. 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
52 Di, 23. Jun. 2020* 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
53 Do, 25. Jun. 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
54 Di, 30. Jun. 2020* 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
55 Do, 2. Jul. 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
56 Di, 7. Jul. 2020* 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
57 Do, 9. Jul. 2020 09:50 11:30 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
58 Di, 14. Jul. 2020* 15:20 17:00 >Digitaler Veranstaltungstermin Prof. Dr. rer. nat. Martin Otto; M.Sc. Jonathan Weinberger
59 Do, 16. Jul. 2020 09:50 11:30 S215/51 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
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  •  
Lehrende
Prof. Dr. rer. nat. Martin Otto
M.Sc. Jonathan Weinberger