<h4>Inhalt:</h4><p> </p><ul><li>Termersetzungssysteme, Normalisierung, Konfluenz</li> <li> <p>Getypter und ungetypter Lambda-Kalkül</p> </li> <li> <p>Semantik von Programmiersprachen, Anfänge der Bereichstheorie</p> </li> <li> <p>Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion</p> </li> <li> <p>Programmverifikation, Floyd-Hoare-Kalkül</p> </li> <li> <p>Reguläre Sprachen und endliche Automaten</p> </li> <li> <p>Beschriftete Transitionssysteme, Bisimulation und Temporallogik</p> </li></ul>
