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

9.6.4.4. Арифметика с точки зрения логического программирования

Начало см. здесь.
Агафонов В. Н., Борщев В. Б., Воронков А. А.
Логическое программирование в узком смысле.
В книге: "Логическое программирование" (сборник статей).
Пер. с англ., М.: Мир, 1988, сс. 301 — 324.
9.6.4.4.1. Термы, атомы, программы и запросы     9.6.4.4.2. Теоретико-модельная семантика
9.6.4.4.3. Процедурная семантика_1     9.6.4.4.4. Процедурная семантика_2
9.6.4.4.1. Термы, атомы, программы и запросы     9.6.4.4.2. Теоретико-модельная семантика
9.6.4.4.4. Процедурная семантика_1     9.6.4.4.5. Процедурная семантика_2
К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \