250170 PS Introductory seminar on mathematical logic (2020S)
Continuous assessment of course work
Labels
Details
Language: English
Lecturers
Classes (iCal) - next class is marked with N
- Monday 09.03. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 16.03. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 23.03. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 30.03. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 20.04. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 27.04. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 04.05. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 11.05. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 18.05. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 25.05. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 08.06. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 15.06. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 22.06. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
- Monday 29.06. 10:30 - 11:55 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Information
Aims, contents and method of the course
Assessment and permitted materials
There will be weekly assignments, usually consisting of five exercises.
Minimum requirements and assessment criteria
Students are expected to present their solutions at least twice during the semester.
Examination topics
There will be no exam for the proseminar, but the proseminar will be used to help students prepare for the exam in "Introduction to Mathematical Logic."
Reading list
The reading list will be the same as the one for "Introduction to Mathematical Logic."
Association in the course directory
MLOL
Last modified: Mo 07.09.2020 15:21
"Introduction to Mathematical Logic." Concepts and theorems introduced in the lecture course will be considered in greater detail during the proseminar.