Скачать
SZZ: Prolog - Unifikace a vyhodnocování
Автор: Tomáš Kocourek
Загружено: 2024-03-07
Просмотров: 1061
Описание:
Prolog - Unifikace a vyhodnocování. Úvod k Prologu. Termy, pravidla, fakta, programy v Prologu. Unifikace. Vyhodnocování. Vestavěné predikáty. Operátor řezu.
0:00:00 - Předehra
0:00:13 - Úvod
0:00:25 - Úvod k Prologu
0:02:25 - Termy, pravidla, fakta, programy v Prologu
0:06:38 - Unifikace
0:17:33 - Vyhodnocování
0:49:21 - Vestavěné predikáty
1:08:35 - Operátor řezu
1:26:19 - Závěr
1:26:45 - Dohra
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
