Изменение пароля
Пользователь
anonymous
Текущий пароль
*
Новый пароль
*
Подтверждение
*
Запомнить меня
Забыли пароль?
Электронная библиотека (16+)
Впервые на сайте?
Вход
/
Регистрация
Национальный цифровой ресурс
Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 614535)
Для выхода нажмите Esc или
Вестник Московского университета. Серия 1. Математика. Механика
/
№4 2016
АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И ПРИМИТИВНО-РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ (60,00 руб.)
0
0
Первый автор
Коновалов
Страниц
5
60,00р
ID
427877
Аннотация
Доказывается, что семантика логики предикатов, основанная на абсолютной арифметической реализуемости, отлична от семантики, основанной на примитивно-рекурсивной реализуемости по Салехи.
УДК
510.25; 510.64
Коновалов, А.Ю. АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И ПРИМИТИВНО-РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ / А.Ю. Коновалов // Вестник Московского университета. Серия 1. Математика. Механика .— 2016 .— №4 .— С. 62-66 .— URL: https://rucont.ru/efd/427877 (дата обращения: 24.06.2025)
Вы уже смотрели
Армии и спецслужбы №25 2013
145,20 руб
Спорт-Экспресс №87 2001
20,00 руб
Пульс планеты: Азиатско-Тихоокеанский ре...
83,60 руб
Финансовые и бухгалтерские консультации
16800,00 руб
Социогенетические и политэкономические к...
56,00 руб
Спорт-Экспресс №81 1999
20,00 руб
Предпросмотр (выдержки из произведения)
Резюме документа
Доказывается, что
семантика
логики предикатов, основанная на абсолютной арифметической реализуемости, отлична от семантики, основанной на примитивно-рекурсивной реализуемости по Салехи.! <...>
Облако ключевых слов *
p1e
p2e
pn
rar
rpr
x1
xn
отражающим важнейших
чx
* - вычисляется автоматически
Мы используем куки, чтобы сделать сайт удобней для вас.
Подробнее
Хорошо