An Arithmetical Interpretation of Verification and Intuitionistic Knowledge

T. I. Protopopescu

doi:10.1007/978-3-319-27683-0_22

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

2 июля 2026 г.

Ученые НИУ ВШЭ в Санкт-Петербурге создали микролазер размером с бактерию

Международная команда исследователей при участии НИУ ВШЭ в Санкт-Петербурге создала микролазеры, излучающие в диапазоне глубокого ультрафиолета — 255 нанометров. Устройства работают при комнатной температуре, а диаметр самого маленького из них — около двух микрометров, что сопоставимо с размером бактерии. Такие лазеры могут применяться для сенсоров, спектроскопических систем, фотонных чипов и устройств связи. Работа опубликована в журнале Optics & Laser Technology.

1 июля 2026 г.

Ученые НИУ ВШЭ выяснили, кто и почему в России питается вне дома

Около трети населения (31,3%) практически не едят вне дома и не покупают готовую еду. Ядро активных потребителей — тех, кто питается вне дома или покупает готовое почти ежедневно или несколько раз в неделю, — составляет всего около 9%. Таковы результаты исследования, проведенного Институтом социальной политики НИУ ВШЭ. Как отмечают авторы, питание вне дома в России перестало быть маркером высокого статуса.

30 июня 2026 г.

Аспирантка НИУ ВШЭ получила премию за выдающуюся научную статью

Международное научное общество по коллективному выбору и экономике благосостояния — Society for Social Choice and Welfare (SSCW) — присудило награду для молодых исследователей Ангелине Юдиной, аспирантке и преподавателю департамента математики ФЭН, младшему научному сотруднику Международного центра анализа и выбора решений НИУ ВШЭ. Ученые отметили ее статью, посвященную решениям задачи выбора наилучших альтернатив на основании результатов их попарных сравнений.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

An Arithmetical Interpretation of Verification and Intuitionistic Knowledge

P. 317–330.

Протопопеску Т. И.

Язык: английский

DOI

Текст на другом сайте

Ключевые слова: BHK Intuitionistic Epistemic Logic Verification Intuitionistic Knowledge

В книге

Symposium on Logical Foundations of Computer Science (LFCS 2016)

Vol. 9537: Logical Foundations of Computer Science. , Springer, 2016.

Simulation Model Validation Based on Ontological Engineering Methods

Замятина Е. Б., Denis Churin, Ланин В. В. и др., , in: Proceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - (Volume 2) KEODVol. 2: KEOD.: SciTePress, 2022. P. 237–244.

Добавлено: 24 октября 2022 г.

Making Weak Memory Models Fair

Lahav O., Namakonov E., Oberhauser J. и др., Proceedings of the ACM on Programming Languages 2021 Vol. 5 No. OOPSLA Article 98

Добавлено: 2 февраля 2022 г.

A Petri net extension for systems of concurrent communicating agents with durable actions

Mecheraoui K., Ломазова И. А., Belala N., Journal of Parallel and Distributed Computing 2021 Vol. 155 P. 14–23

Добавлено: 13 мая 2021 г.

Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko и др., / Series Computer Science "arxiv.org". 2020.

Добавлено: 30 октября 2020 г.

2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV)

Austin: IEEE Computer Society, 2018.

Добавлено: 3 июля 2019 г.

«Пороги» между доходными группами: результаты анализа рисков бедности

Слободенюк Е. Д., В кн.: Модель доходной стратификации российского общества: динамика, факторы, межстрановые сравнения.: Издательство Нестор-История, 2018. Гл. 1.4 С. 93–116.

Глава посвящена вопросу того, какой именно должна быть черта бедности в ее монетарном относительном выражении в доле от медианы среднедушевых доходов по стране. В западных исследованиях, посвященных проблематике доходной стратификации, используются различные величины, колеблющиеся в пределах 0,5 - 0,75 от медианы среднедушевого дохода. На основе данных о рисках бедности делается вывод о том, что черта ...

Добавлено: 16 апреля 2019 г.

2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)

IEEE, 2015.

Добавлено: 18 июля 2018 г.

2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV)

IEEE, 2017.

Добавлено: 18 июля 2018 г.