Seminar Logic and Theoretical Computer Science
Students as well as members of the Logic and Theory Research Group (LTG) present their current work. The main topics are: explicit mathematics and operational set theory, subsystems of second order arithmetic and set theory, systems of bounded arithmetic and bounded set theory, modal logics.
Details
Code |
41529 |
Type |
Seminar |
ECTS |
5 |
Site |
Bern |
Track(s) |
T4 – Logic
|
Semester |
S2023 |
Teaching
Schedules and Rooms
Period |
Weekly |
Schedule |
Thursday, 10:15 - 12:00 |
Location |
UniBE, ExWi |
Room |
A097 |
Evaluation
Evaluation type |
continuous evaluation |
Additional information
Comment |
First Lecture
The first lecture will be announced later.
|