Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 617534)
Контекстум
Вестник Московского университета. Серия 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 (дата обращения: 11.09.2025)

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

Официальные документы в образовании №3 2025 Официальные документы в образовании №3 2... 1494,00 руб
Локальные методы анализа динамических систем Локальные методы анализа динамических си... 190,00 руб
Посев №13 1953 Посев №13 1953 80,00 руб
БЛТИ – БГИТА: Спорт за 75 лет (1930 – 2005) БЛТИ – БГИТА: Спорт за 75 лет (1930 – 20... 220,00 руб
Оптика атмосферы и океана №2 2012 Оптика атмосферы и океана №2 2012 752,40 руб
Экономические и гуманитарные науки №12 2015 Экономические и гуманитарные науки №12 2... 249,00 руб

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

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

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

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