LTG Logic and Theory Group

University of Bern
  • Home
  • Contact
  • Staff
  • Publications
  • Lectures
  • Research Projects
  • Student Projects
  • Links
Home › Lectures fs12

Lectures fs12

Other lectures can be found in the archive.

Bachelor

  • S6062 Datenbanken
  • S6063 Datenstrukturen und Algorithmen
  • S6065 Rechnerarchitektur
  • S6067 Anwendungssoftware
  • S6068 Praktikum Software Engineering
  • S6070 Berechenbarkeit und Komplexität

Logic in Mathematics and Computer Science (Master)

  • S6082 Computability Theory
  • S6083 Lambda-Calculus and Applicative Theories
  • S6084 Seminar: Logic and Algebra
  • S6085 Seminar: Logic and Computer Science
  • S6086 Graduate Seminar: Logic and Information

Upcoming events

  • End Spring Semester 2012(16 days)
Add to iCalendar
more

Search