# Logic and Theoretical Computer Science (LTCS)

Lecturer:

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.