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

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

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

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

Материалы международной научно-практической конференции «Фундаментальные и прикладные аспекты кормления сельскохозяйственных животных», 13-16 июня 2018 г. Материалы международной научно-практичес... 700,00 руб
Материалы международной научно-практической конференции «Проблемы и перспективы развития современной репродуктивной технологии, криобиологии и их роль в интенсификации животноводства», 25-27 апреля 2017 г. Материалы международной научно-практичес... 1000,00 руб
ОСОБЫЕ ДЕТКИ. Разработка адаптированной образовательной программы дошкольного образования ОСОБЫЕ ДЕТКИ. Разработка адаптированной ... 290,00 руб
Экспериментальная и клиническая дерматокосметология Экспериментальная и клиническая дерматок... 19844,00 руб
Мир и мы №128 2013 Мир и мы №128 2013 169,40 руб
Кровельные и изоляционные материалы №2 2013 Кровельные и изоляционные материалы №2 2... 350,00 руб

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

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

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

p1e p2e pn rar rpr x1 xn отражающим важнейших чx
* - вычисляется автоматически