Instructors: Prof. Dr. rer. nat. Reinhard Farwig; Prof. Dr. phil. nat. Ulrich Kohlenbach; PD Dr. Kersten Schmidt
Event type:
proseminar
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
Proseminar
Subject:
Crediting for:
Hours per week:
2
Language of instruction:
Englisch
Min. | Max. participants:
- | 30
Course Contents:
A simple topic is assigned to individual students or to small groups of students. The subject matter may vary with the instructor’s choice of a general theme. Each participant gives a one hour presentation to the seminar. Students give feedback on the methods of presentation employed by the speaker. Every student compiles his or her talk into a written paper.
The topic is an introduction to the so-called constructive analysis. We use selected parts from the books:
1) A.S. Troelstra, D. van Dalen: Constructivism in Mathematics, Vol 1. 1988. Buch. 355 S. Hardcover Elsevier Science & Technology. ISBN 978-0-444-70266-1
2) D. Bridges, F. Richman: Varieties of Constructive Mathematics. Cambridge University Press 1987 ISBN: 9780511565663.
Literature:
1) A.S. Troelstra, D. van Dalen: Constructivism in Mathematics, Vol 1. 1988. Buch. 355 S. Hardcover Elsevier Science & Technology. ISBN 978-0-444-70266-1
2) D. Bridges, F. Richman: Varieties of Constructive Mathematics. Cambridge University Press 1987 ISBN: 9780511565663.
Preconditions:
recommended: Analysis and Linear Algebra
Expected Number of Participants:
15
Further Grading Information:
Time and location: Thursdays 9:50-11:30, S251/201
|