Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 620509)
Контекстум
Вестник Московского университета. Серия 1. Математика. Механика  / №4 2016

АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И ПРИМИТИВНО-РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ (60,00 руб.)

0   0
Скачайте из RuStore
Первый авторКоновалов
Страниц5
60,00р
ID427877
АннотацияДоказывается, что семантика логики предикатов, основанная на абсолютной арифметической реализуемости, отлична от семантики, основанной на примитивно-рекурсивной реализуемости по Салехи.
УДК510.25; 510.64
Коновалов, А.Ю. АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И ПРИМИТИВНО-РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ / А.Ю. Коновалов // Вестник Московского университета. Серия 1. Математика. Механика .— 2016 .— №4 .— С. 62-66 .— URL: https://rucont.ru/efd/427877 (дата обращения: 25.10.2025)

Вы уже смотрели

Совершенствование финансирования деятельности образовательных учреждений Совершенствование финансирования деятель... 200,00 руб
Пластикс: индустрия переработки пластмасс Пластикс: индустрия переработки пластмас... 34643,00 руб
Медицинский совет №1 2024 Медицинский совет №1 2024 245,00 руб
Спорт-Экспресс №199 2000 Спорт-Экспресс №199 2000 20,00 руб
Российская стоматология Российская стоматология 34094,80 руб
Свет безудержный Свет безудержный

Предпросмотр (выдержки из произведения)

Доказывается, что семантика логики предикатов, основанная на абсолютной арифметической реализуемости, отлична от семантики, основанной на примитивно-рекурсивной реализуемости по Салехи.! <...>

Облако ключевых слов *

p1e p2e pn rar rpr x1 xn отражающим важнейших чx
* - вычисляется автоматически
Мы используем куки, чтобы сделать сайт удобней для вас. Подробнее
Хорошо