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

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

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

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

КОНЕЧНО-ЭЛЕМЕНТНЫЙ АНАЛИЗ ОБОЛОЧЕК ВРАЩЕНИЯ ПРИ ИСПОЛЬЗОВАНИИ ВЫСОКОТОЧНОГО ТРЕУГОЛЬНОГО ЭЛЕМЕНТА ДИСКРЕТИЗАЦИИ С КОРРЕКТИРУЮЩИМИ МНОЖИТЕЛЯМИ ЛАГРАНЖА КОНЕЧНО-ЭЛЕМЕНТНЫЙ АНАЛИЗ ОБОЛОЧЕК ВРАЩЕ... 60,00 руб
К ВЫВОДУ УРАВНЕНИЙ ГРАВИТАЦИОННОГОПОЛЯ В f (R) ГРАВИТАЦИИ С КИНЕТИЧЕСКИМ СКАЛЯРОМ КРИВИЗНЫ К ВЫВОДУ УРАВНЕНИЙ ГРАВИТАЦИОННОГОПОЛЯ В... 100,00 руб
СОБСТВЕННЫЕ ХАРАКТЕРИСТИКИ СИСТЕМЫ ОТСЧœТА КАК 4-ИНВАРИАНТЫ СОБСТВЕННЫЕ ХАРАКТЕРИСТИКИ СИСТЕМЫ ОТСЧœ... 60,00 руб
ПОСТРОЕНИЕ БАЗИСА ДЛЯ ОДНОМЕРНЫХ КРАЕВЫХ ЗАДАЧ В СИСТЕМАХ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ ПОСТРОЕНИЕ БАЗИСА ДЛЯ ОДНОМЕРНЫХ КРАЕВЫХ... 100,00 руб
АНАЛИЗ УРАВНЕНИЙ ДЕВИАЦИИ ГЕОДЕЗИЧЕСКИХ В МЕТРИКЕ ШВАРЦШИЛЬДА АНАЛИЗ УРАВНЕНИЙ ДЕВИАЦИИ ГЕОДЕЗИЧЕСКИХ ... 60,00 руб
Полимерные оптические материалы Полимерные оптические материалы 1320,00 руб

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

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

erar l+1 n+1 p1e p2e rar x1 xjn xn арифметическая базисная отражающим важнейших
* - вычисляется автоматически