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

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

Control Engineering Россия №2 2021 Control Engineering Россия №2 2021 250,00 руб
Вестник Московского университета. Серия 11. Право. №5 2020 Вестник Московского университета. Серия ... 200,00 руб
Вестник Университета имени О.Е. Кутафина (МГЮА) №7 2020 Вестник Университета имени О.Е. Кутафина... 231,00 руб
Россия в глобальной политике №3 2021 Россия в глобальной политике №3 2021 500,00 руб
Идентификация постагрогенных лесов в национальном парке «Кенозерский» Идентификация постагрогенных лесов в нац... 90,00 руб
Еженедельная газета научного сообщества ПОИСК №52 2023 Еженедельная газета научного сообщества ... 27,46 руб

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

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

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

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