25 - Theorie der Programmierung 2018

<h4>Inhalt:</h4>

 

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

Education

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:

&nbsp;

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

Share 25 - Theorie der Programmierung 2018

Sign up to save your podcasts

25 - Theorie der Programmierung 2018

25 - Theorie der Programmierung 2018

More shows like Theorie der Programmierung

Public Theology - Religion - Education. Interreligious Perspectives

Medcast - Medizinische Podcast

Foundations of Quantum Mechanics

Lineare Algebra II

Quantum-optical phenomena in nanophysics

Pattern Recognition PR

Wirtschaftsstrafrecht

Lectures on the Geometric Anatomy of Theoretical Physics

Quantum Computing

ASC - Advanced Signal Processing and Communications Engineering Clip ID:10075