Home

Seminar: Theoretical Computer Science and Logic

LecturerProf. Dr. Gerhard Jäger
AssistantDr. Takako Nemoto
Lecture NumberS6094
ECTS creditsdepend on students' majors
StartFebruary 24, 2011
Time
  • Thursday, 13:30-15:00
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 logic and in the foundations of mathematics and/or computer science.

Requirements

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

References

To be announced

RepetitionEvery semester with varying contents.
Homepagehttp://www.iam.unibe.ch/~nemoto/springseminar2011.html