Lehrende: Prof. Dr. phil. nat. Ulrich Kohlenbach
Veranstaltungsart: Proseminar
Orga-Einheit: FB04 Mathematik
Anzeige im Stundenplan: Proseminar
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Credits: 4,0
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: We will assign to each participant a section of the book "D. Bridges and F. Richman: Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes 97. CUP 1987, 149pp." to give a one hour presentation as well as produce a short latex-document summarizing the content of the presentation.
Literatur: D. Bridges and F. Richman: Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes 97. CUP 1987, 149pp
Voraussetzungen: Analysis 1,2 und Lineare Algebra 1,2
Erwartete Teilnehmerzahl: 16
Weitere Informationen: Termin: Montags 13:30-15:10, S215/201. Beginn: 11.4.
Offizielle Kursbeschreibung: We will assign to each participant a section of the book "D. Bridges and F. Richman: Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes 97. CUP 1987, 149pp." to give a one hour presenation as well as produce a short latex-document summarizing the content of the presentation.