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

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

В поисках Правды В поисках Правды 90,00 руб
Исчисление НДС при длительном производственном цикле Исчисление НДС при длительном производст... 50,00 руб
Электросвязь №10 2023 Электросвязь №10 2023 800,00 руб
Некоторые особенности учета программных продуктов Некоторые особенности учета программных ... 50,00 руб
Когнитивные вызванные потенциалы в нейрофизиологических исследованиях (обзор) Когнитивные вызванные потенциалы в нейро... 90,00 руб
Основы филологии. Антропоцентризм, языковая личность и прагмалингвистика текста Основы филологии. Антропоцентризм, языко... 1500,00 руб

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

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

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

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