Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000401488<.>) |
Загальна кількість знайдених документів : 1
|
Месюра В. І. Математичні основи логічного програмування : [навч. посіб.] / В. І. Месюра, Н. В. Лисак, О. І. Суприган; Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2013. - 93 c. - Бібліогр.: с. 93 - укp.Пояснено зв'язок, що існує між математичною логікою та логічним програмуванням. Наведено приклад написання програми узагальненою мовою логічного програмування. Викладено основи логіки висловлень. Показано недостатність логіки висловлень і здійснюється перехід до числення предикатів першого порядку. Висвітлено правила побудови інтерпретації та нормалізації правильно побудованих формул числення предикатів. Приділено увагу автоматизації процедури логічного виведення за допомогою методу резолюцій, який є основою мов логічного програмування. Індекс рубрикатора НБУВ: З970.5-018 я73-1
Рубрики:
Шифр НБУВ: ВА774597 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|