Home

Seminar: Logic and Theoretical Computer Science

LecturerProf. Dr. Gerhard Jäger
Lecture NumberW6082
ECTS creditsdepend on students' majors.
StartSeptember 22, 2011
Time
  • Thursday, 13:30-15
Venue

Lecture room A97
Gebäude der Exakten Wissenschaften ("ExWi" building)
Sidlerstrasse 5

Content

Bachelor's and Master's students as well as members of the Research Group for Theoretical Computer Science and Logic (TIL) 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.

RepetitionEvery semester with varying contents.
Homepagehttp://iamwww.unibe.ch/~nemoto/autumnseminar2011.html