20 - 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 20 - Theorie der Programmierung 2018

Sign up to save your podcasts

20 - Theorie der Programmierung 2018

20 - Theorie der Programmierung 2018

More shows like Theorie der Programmierung

Public Theology - Religion - Education. Interreligious Perspectives

Lectures on the Geometric Anatomy of Theoretical Physics Clip ID:3648

Lineare Algebra I

Foundations of Quantum Mechanics

Die deutsche Königswahl (1125-1411)

Einführungsvorlesung Mittelalter

ZKI AK CM 12/10

Lectures on the Geometric Anatomy of Theoretical Physics

Quantum Computing

Deep Learning - Plain Version