7 - Kategorien in der Programmierung [ID:10657]
50 von 1138 angezeigt

早安,我們現在繼續進行Colimities,我們還沒完結

我們將在下一個分鐘內結束Colimities

然後我們會繼續進行Colimities,就是我們將進行的

最初的Algebra-構成,Colimities 從綴線上

也許可以 va archives a little bit longer

在第三週後S needed more delivery

通用你是 rear Move人 January

還有 if you do do

然後

idad

什麼

這個

都是

最部分的深 premium还有最高 imperfect distorted多元旗来 편用

虽然!...

我没有新卷例子

方知你有新卷我也有一些 clarifyיים

给大家试试一下

我给你最好에요

最初我们一 excess

F和G的意思是,

在所有的D和G相同的地方,

首先,E和F是E和G,

然後,在所有的D和G相同的地方,

有一個H和G相同的地方,

在這裡,

這是一個,

這是一種宇宙的特質,

和D相同的特質。

這是一個結構,

然後我們看了一些例子,

例如,在數量上,

我們可以說,

C是B的一種對比,

也就是對比的等級,

就是這個條,這個小的對比,

由X和A相同的分別,

F和G的對比,

是在這個對比之中。

我們也看了一些圖片,

A和B是對比的,

我們再寫一下,

V、A、E、A,

然後兩種對比,

然後V、B、E、B,

我們現在要看對比,

就是數量上的圖片,

和角度上的角度,

就是對比的對比,

是V、A、V、A的對比,

Teil einer Videoserie :

Zugänglich über

Offener Zugang

Dauer

01:31:21 Min

Aufnahmedatum

2017-11-13

Hochgeladen am

2019-04-20 05:09:18

Sprache

de-DE

Die behandelten Themen bauen auf den Stoff von Algebra des Programmierens auf und vertieft diesen. 
Folgende weiterführende Themen werden behandelt:

  • Kategorie der CPOs; insbesondere freie CPOs, Einbettungen/Projektionen, Limes-Kolimes-Koinzidenz

  • Lokal stetige Funktoren und deren kanonische Fixpunkte; Lösung rekursiver Bereichsgleichungen insbesondere Modell des ungetyptes Lambda-Kalküls

  • freie Konstruktionen, universelle Pfeile und adjungierte Funktoren

  • Äquivalenzfunktoren

  • Monaden: Eilenberg-Moore und Kleisli-Kategorien; Freie Monaden; Becks Satz

  • evtl. Distributivgesetze, verallgemeinerte Potenzmengenkonstruktion und abstrakte GSOS-Regeln

  • evtl. Algebren und Monaden für Iteration

Lernziele und Kompetenzen:

 

Fachkompetenz Verstehen Die Studierenden erklären grundlegende Begriffe und Konzepte der Kategorientheorie und beschreiben Beispiele. Sie erklären außerdem grundlegende kategorielle Ergebnisse. Anwenden Die Studierenden wenden kategorientheoretische Konzepte und Ergebnisse an, um semantische Modelle für Programmiersprachen und Spezifikationsformalismen aufzustellen. Analysieren Die Studierenden analysieren kategorientheoretische Beweise, dieskutieren die entsprechende Argumentationen und legen diese schriftlich klar nieder. Lern- bzw. Methodenkompetenz Die Studieren lesen und verstehen Fachliteratur, die die Sprache der Kategorientheorie benutzt.
Sie sind in der Lage entsprechende mathematische Argumentationen nachzuvollziehen, zu erklären und selbst zu führen und schriftlich darzus
Einbetten
Wordpress FAU Plugin
iFrame
Teilen