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

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

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

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

Россия и мусульманский мир №3 2016 Россия и мусульманский мир №3 2016 350,00 руб
Народное образование №6-7* 2018 Народное образование №6-7* 2018 200,00 руб
Посев №6 1970 Посев №6 1970 80,00 руб

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

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

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

iqc wn
* - вычисляется автоматически
Мы используем куки, чтобы сделать сайт удобней для вас. Подробнее
Хорошо