|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Деятельность
-
Доклады на конференциях
-
- 2014 Свойства дизъюнктивности и экзистенциальности и их усиления в конструктивных расширениях интуиционистской теории множеств (Устный)
- Автор: Смелянский Дмитрий Михайлович
- Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Россия, 20 февраля 2014
-
-
НИРы
-
- 1 января 2014 - 31 декабря 2015 Исследование моделей неклассических логик
- Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
- Руководитель: Шапировский И.Б. Участники НИР: Золин Е.Е., Кикоть С.П., Кудинов А.В., Осипов И.И., Рыбаков М.Н., Савельев Д.И., Скворцов Д.П., Смелянский Д.М., Чагров А.В.
-