Theoretische Informatik II

 

 

Information zum Übungsbetrieb finden Sie hier.

 

 

Folien zur Vorlesung:

 

Einführung

Kapitel 1

Halbgruppen und Relationen

Kapitel 2

Termalgebren (a)

Kapitel 3a

Termalgebren (b)

Kapitel 3b

Formale Logik

Kapitel 4

Anmerkungen

Abstraktion