>>> Strona główna
>>> Uczelnia
>>> O Uczelni
>>> Galeria
>>> Wideogaleria
>>> Metody matematyczne w semantyce języków ...
Metody matematyczne w semantyce języków ...
Metody matematyczne w semantyce języków programowania cz.2
00:39:16
Wykład dotyczy następujących tematów: kategorii kartezjańsko zamkniętych i lambda rachunku, koalgebr, koindukcji i bisymulacji, teorii dziedzin i jej roli w semantyce języków funkcyjnych, a także związków teorii dziedzin z topologią i logiką. Omówione zostaną fundamentalne pojęcia teorii kategorii: funktory, transformacje naturalne, równoważność kategorii, zasada dualności, granice i kogranice.
Tagi tematyczne:
Materiały o zbliżonej tematyce:
Materiały najwyżej oceniane:
08. Panel dyskusyjny – Kariery w IT z udziałem przedstawicieli czołowych firm z tej branży
Średnia ocena: 4.67
09. Moja droga do kariery w IT
Średnia ocena: 4.58
Hurtownie danych cz.1
dr hab. inż. Maciej Zakrzewicz
Politechnika Poznańska
Średnia ocena: 4.45
Ochrona komputerów przed atakami z sieci Internet - dobre praktyki
Mariusz Szczęsny
NASK
Średnia ocena: 4.44
Hurtownie danych cz.2
dr hab. inż. Maciej Zakrzewicz
Politechnika Poznańska
Średnia ocena: 4.36