Скачать
FLP: Příprava k půlsemestrální zkoušce
Автор: Tomáš Kocourek
Загружено: 2024-02-21
Просмотров: 2260
Описание:
FLP: Příprava k půlsemestrální zkoušce. Definice pravdivostních spojek v lambda kalkulu. Pevný bod a rekurze v lambda kalkulu. Dokazování v Haskellu pomocí strukturální indukce. Práce s komplexními datovými strukturami v Haskellu.
0:00:00 - Předehra
0:00:13 - Úvod
0:01:31 - Definice pravdivostních spojek v lambda kalkulu
0:26:15 - Pevný bod a rekurze v lambda kalkulu
0:40:32 - Dokazování v Haskellu pomocí strukturální indukce
1:01:59 - Práce s komplexními datovými strukturami v Haskellu
1:52:33 - Závěr
1:53:11 - Dohra
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
