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 Series ID:656

Public Theology - Religion - Education. Interreligious Perspectives Series ID:506

Medcast - Medizinische Podcast Series ID:205

Foundations of Quantum Mechanics Series ID:225

Lineare Algebra II Series ID:335

Quantum-optical phenomena in nanophysics Series ID:36

Pattern Recognition PR Series ID:173

Wirtschaftsstrafrecht Series ID:446

Lectures on the Geometric Anatomy of Theoretical Physics Series ID:242

Quantum Computing Series ID:846

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