Функциональная алгебраическая модель для S-реализуемости
Article Sidebar
Опубликован:
16.01.2007
Main Article Content
Аннотация
Мы представляем здесь функциональную алгебраическую модель для так называемой «s-реализуемости», которая является модификацией известной реализуемости Клини.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Хаханян В. Функциональная алгебраическая модель для S-реализуемости // Логические исследования / Logical Investigations. 2007. Т. 13. C. 195-198.
Выпуск
Раздел
Статьи
Литература
Драгалин А.Г. Функциональные алгебраические модели // Семиотика и информатика. М.: ВИНИТИ, 1979. Т. XIII. С. 184-195.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979. С. 64, 215-218.
Хаханян В.Х. Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини // Математические заметки, 2004. Т. 75. Вып. 1. С. 155- 156.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979. С. 64, 215-218.
Хаханян В.Х. Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини // Математические заметки, 2004. Т. 75. Вып. 1. С. 155- 156.