Logic and Theoretical Computer Science (LTCS)

ECTS: 5
Start: 2013-09-19
End: 2013-12-19
Venue: A97, Gebäude der Exakten Wissenschaften ("ExWi Building"), Sidlerstrasse 5
Repetition: Every semester with varying contents.
Lectures take place on:
  • Thursday from 13:30 to 15:00

Description:

Bachelor's and Master's students as well as members of the Logic and Theory Research Group (LTG) present their current work. The topics are:

  • explicit mathematics and operational set theory
  • systems of bounded arithmetic and bounded set theory
  • logic of proofs and justification logic
  • modal logic

Remarks:

Suitable for students interested in the foundations of mathematics, logic, and theoretical computer science.

Requirements:

Basic knowledge in mathematical logic and/or theoretical computer science.

References:

To be announced in the course of the seminar.