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

О КОНСТРУКТИВНОЙ ТЕОРИИ ПЕРЕЧИСЛИМЫХ ВИДОВ (60,00 руб.)

0   0
Доступно в Google Play
Первый авторПлиско
Страниц7
60,00р
ID588402
АннотацияОпределяется конструктивная семантика языка теории множеств с атомами, основанная на интерпретации переменных по множествам как перечислимых видов. Полностью исследован вопрос о корректности аксиом теории множеств Цермело!Френкеля относительно введенной семантики
УДК510.25, 510.54
Плиско, В.Е. О КОНСТРУКТИВНОЙ ТЕОРИИ ПЕРЕЧИСЛИМЫХ ВИДОВ / В.Е. Плиско // Вестник Московского университета. Серия 1. Математика. Механика .— 2017 .— №2 .— С. 15-21 .— URL: https://rucont.ru/efd/588402 (дата обращения: 08.05.2025)

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

Спорт-Экспресс №126 2005 Спорт-Экспресс №126 2005 20,00 руб
Педагогические параметры тренировочных нагрузок футболистов Педагогические параметры тренировочных н... 190,00 руб
Высшее образование: методология и опыт проектирования Высшее образование: методология и опыт п... 550,00 руб
НЕКОТОРЫЕ СПОСОБЫ ВЫЧИСЛЕНИЯ ПАРАМЕТРОВ КРИВОЛИНЕЙНОГО РАВНОУСКОРЕННОГО ДВИЖЕНИЯ НЕКОТОРЫЕ СПОСОБЫ ВЫЧИСЛЕНИЯ ПАРАМЕТРОВ ... 60,00 руб
Изобретения стран мира. СПАСАТЕЛЬНАЯ СЛУЖБА; ПРОТИВОПОЖАРНЫЕ СРЕДСТВА (вып.9) Изобретения стран мира. СПАСАТЕЛЬНАЯ СЛУ... 299688,00 руб
Искусство обучать Искусство обучать 500,00 руб

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

Определяется конструктивная семантика языка теории множеств с атомами, основанная на интерпретации переменных по множествам как перечислимых видов. <...> Полностью исследован вопрос о корректности аксиом теории множеств Цермело! <...>

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

iqc wn
* - вычисляется автоматически