Название	Принцип резолюції у вирахуванні висловлень і логіку предикатів і його модифікації
Количество страниц	30
ВУЗ	КИЇВСЬКИЙ ПОЛІТЕХНІЧНИЙ ІНСТИТУТ
Год сдачи	2009
Содержание	Вступ...………………………………......……………………………...... 1. Основні виробники...…………………………………………......5 2. Історія виникнення й розвитку мови ПРОЛОГ...……......……...... 3. Вирахування висловлень...………………………………........………9 3. Вирахування предикатів...…………………………………………......1 3.2. Програмування на ПРОЛОЗІ...………………………………14 3. Принцип резолюцій...…………………………………......…………16 3. Пошук доказу в системі резолюцій...………………........18 Висновок...……………………………………………………………......2 Список літератури...……......…………………………………………......…24
Список литературы
Цена:	Договорная