# Logic and Theoretical Computer Science (LTCS)

Lecturer:

Assistant:

- Dr. Dieter Probst

Lecture number:
101194-FS2013-0

ECTS:
5

Start:
2013-02-18

End:
2013-05-31

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.

KSL-Link: https://www.ksl.unibe.ch/KSL/kurzansicht?stammNr=101194&semester=FS2013&...

### Requirements:

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

### References:

To be announced in the course of the seminar.