Logic and Theoretical Computer Science (LTCS)

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.