Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://dspace.wunu.edu.ua/handle/316497/8596
Назва: Логічне програмування
Ключові слова: логіка
математична логіка
предикат
квантори
семантичні мережі
фреймова модель, логічна модель
Дата публікації: 2013
Видавництво: Тернопіль
Бібліографічний опис: Логічне програмування [Електронний ресурс] : опорн. консп. лекцій. - Тернопіль : [б. в.], 2013. - 68 с.
URI (Уніфікований ідентифікатор ресурсу): http://dspace.tneu.edu.ua/handle/316497/8596
Розташовується у зібраннях:Курси лекцій

Файли цього матеріалу:
Файл Опис РозмірФормат 
Лекції.pdf546.47 kBAdobe PDFПереглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.