show episodes
 
Inhalt: Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik
 
Inhalt: Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik
 
Mit dem Telekolleg kannst Du Dich in den eigenen vier Wänden bis zur Fachhochschulreife weiterbilden. Das Telekolleg wird gemeinsam veranstaltet vom Bayerischen Staatsministerium für Unterricht und Kultus und dem Bayerischen Rundfunk. Der Lehrgang Mathematik im Telekolleg beeinhaltet drei Trimester à 13 Lehrsendungen.
 
Loading …
show series
 
Loading …

Kurzanleitung

Google login Twitter login Classic login