ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ В ЛОГИЧЕСКОМ ПРОГРАММИРОВАНИИ

Ольга Петровна Бондарь

Анотація


Розглянуто взаємозв’язок  деяких  елементів  математичної  логіки  з  логічним програмуванням.

We consider  the  connection  between  elements  of mathematical  logic  and  elements  of logical programming.


Повний текст:

PDF

Посилання


Адаменко А., Кучуков А. Логическое программирование и Visual Prolog. – С.-Петербург.: 2003.

Братко И. Алгоритмы искусственного интеллекта на языке PROLOG. – М.: 2004.

Мендельсон Э. Введение в математическую логику. – М.: 1986.

Новиков П.С. Элементы математической логики. – М.: 1973.


Посилання

  • Поки немає зовнішніх посилань.