104.571 AKLOG
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022S, SE, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to...

The primary purpose of this seminar is to get to know methods of scientific discourse such as indepedent reading, presentation and discussion of mathematical results in both written and in oral form. Beyond that, the seminar also provides an opportunity to get to know a topic in mathematical logic or theoretical computer science which goes beyond the areas covered by lectures.

Subject of course

We will read the book J. Krajicek: "Proof Complexity", Cambridge University Press, 2019 together.

Teaching methods

Presentation and discussion

Mode of examination

Written and oral

Additional information

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri13:15 - 14:4511.03.2022 Dissertantenraum, Freihaus, 8th floor, green areaorganisational meeting
Fri13:15 - 14:4518.03.2022 - 24.06.2022 Dissertantenraum, Freihaus, 8th floor, green areaseminar
AKLOG - Single appointments
DayDateTimeLocationDescription
Fri11.03.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaorganisational meeting
Fri18.03.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri25.03.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri01.04.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri08.04.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri29.04.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri06.05.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri13.05.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri20.05.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri03.06.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri10.06.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri17.06.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Fri24.06.202213:15 - 14:45 Dissertantenraum, Freihaus, 8th floor, green areaseminar

Examination modalities

Written seminar paper and oral presentation (on 1-2 chapters of the book)

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Not specified

Literature

A copy of the book will be provided.

Previous knowledge

The intended audience of this seminar are advanced students in mathematics. Therefore basic mathematical knowledge and maturity, approximately correspoding to a bachelor's degree, are expected.

For reading this book a solid foundation in mathematical logic, e.g., as taught in the VO+UE "Logik und Grundlagen der Mathematik", will be helpful.

 

Language

if required in English