LTG Logic and Theory Group

University of Bern

Home
Contact
Staff
Publications
Lectures
Research Projects
Student Projects
Links

Lectures %1

Other lectures can be found in the archive.

Bachelor

S6037 Diskrete Mathematik und Logik II
S6062 Datenbanken
S6063 Datenstrukturen und Algorithmen
S6065 Rechnerarchitektur
S6067 Anwendungssoftware
S6068 Datenbanken
S6068 Praktikum Software Engineering
S6070 Berechenbarkeit und Komplexität
S6071 Rechnerarchitektur
S6073 Anwendungssoftware
S6074 Praktikum Software Engineering
S6076 Berechenbarkeit und Komplexität
W6057 Einführung in die Informatik
W6058 Grundlagen der Technischen Informatik
W6059 Programmierung 1
W6061 Anwendungssoftware
W6063 Diskrete Mathematik und Logik
W6068 Mensch-Maschine-Schnittstelle
W6072 Einführung in die Informatik
W6073 Grundlagen der Technischen Informatik
W6074 Programmierung 1
W6076 Anwendungssoftware
W6078 Diskrete Mathematik und Logik I
W6083 Mensch-Maschine-Schnittstelle

Logic in Mathematics and Computer Science (Master)

S6048 Set Theory
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
S6092 Gödel's Incompleteness Theorems and Gentzen's Proof Theory
S6093 / SN121 Seminar: Logic and Algebra
S6094 Seminar: Theoretical Computer Science and Logic
S6095 Graduate Seminar: Logic and Information
SN105 Complexity Theory
W6054 Universal Algebra
W6080 Epistemic Logic
W6081 Seminar: Logic and Algebra
W6082 Seminar: Logic and Theoretical Computer Science
W6083 Graduate Seminar: Logic and Information
W6097 Proof Theory
W6098 Seminar: Logic and Algebra
W6099 Seminar: Logic and Theoretical Computer Science
W6100 Graduate Seminar: Logic and Information
WN111 Seminar: Logic and Games

Upcoming events

Start Spring Semester 2012(12 days)
Easter Break 2012(58 days)
End Spring Semester 2012(114 days)

Add to iCalendar

Search

Search this site: