25 - Theorie der Programmierung 2018

24 - Theorie der Programmierung 2018

23 - Theorie der Programmierung 2018

22 - Theorie der Programmierung 2018

21 - Theorie der Programmierung 2018

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

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;

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

Share Theorie der Programmierung 2018 (Audio)

Sign up to save your podcasts

Theorie der Programmierung 2018 (Audio)

FAQs about Theorie der Programmierung 2018 (Audio):

How many episodes does Theorie der Programmierung 2018 (Audio) have?

Theorie der Programmierung 2018 (Audio) episodes:

FAQs about Theorie der Programmierung 2018 (Audio):

How many episodes does Theorie der Programmierung 2018 (Audio) have?

More shows like Theorie der Programmierung 2018 (Audio)

Foundations of Quantum Mechanics 2013 (SD 640)

Lectures on the Geometric Anatomy of Theoretical Physics 2013/2014 (SD 640)

Lectures on the Geometric Anatomy of Theoretical Physics 2013/2014 (Audio)

Lineare Algebra I 2014/2015 (SD 640)

Lectures on Quantum Theory (Elite Graduate Programme) 2015 -Measurements (HD 1280)

Biomedizinische Signalanalyse 2017/2018 (Audio)

New@FAU (QHD 1920)

Quantum Computing 2019/2020 (QHD 1920)

ASC - Advanced Signal Processing and Communications Engineering (QHD 1920)

Einführung in das politische System der Bundesrepublik Deutschland (QHD 1920)