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

9.6.4.4.4. Процедурная семантика_2

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

О теоретико-модельной семантике см. здесь.

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