Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Арифметика с точки зрения логического программирования \
 

9.6.4.4.1. Термы, атомы,
программы и запросы

Начало см. здесь.
Агафонов В. Н., Борщев В. Б., Воронков А. А.
Логическое программирование в узком смысле.
В книге: "Логическое программирование" (сборник статей).
Пер. с англ., М.: Мир, 1988, сс. 302 — 303.
Раздел, посвященный логическому программированию, см. также здесь.




  К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Арифметика с точки зрения логического программирования \