Generalised Explosion Principles

АБВ
АБВ
АБВ

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

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

по году

Тематика

19 мая 2026 г.

Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря

В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

18 мая 2026 г.

В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского

Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.

15 мая 2026 г.

В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций

Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.

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

Публикации

?

Generalised Explosion Principles

Studia Logica. 2025. Vol. 113. P. 1025–1060.

Basu S., Рой С.

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

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

An Axiomatization of Quantum Computational Logic

Васюков В. Л., Logical Investigations 2023 Vol. 29 No. 2 P. 148–162

One of the logical proposals that arise from quantum computation is the idea to use the quantum theoretical formalism to represent parallel reasoning. To this aim a quantum computation is considered by means of convenient unitary operators assuming arguments and values in particular sets of qubit systems. Isolating some important unitary operators that have a special role in quantum ...

Добавлено: 27 декабря 2024 г.

Логический плюрализм во Львовско-Варшавской школе

Васюков В. Л., Вопросы философии 2020 № 8 С. 204–214

Когда выдающийся представитель Львовско-Варшавской школы Ян Лукасевич упрекал великие философские системы Платона или Аристотеля, Декарта или Спинозы, Канта или Гегеля в туманности, непонятности, нестрогости рассуждений и доказательств, ложности логических теорий, лежащих в глубине этих систем, его рецепт преодоления этих недостатков сводился к тому, что философию необходимо перестроить, начиная с оснований, вдохнуть в нее научный метод и ...

Добавлено: 19 августа 2020 г.

An Axiomatization of Quantum Computational Logic

Васюков В. Л., , in: Двенадцатая международная конференция "Современная логика: проблемы теории, истории и применения в науке", 22-24 июня 2016.: СПб.: СПбГУ, 2016. P. 204–206.

Добавлено: 23 октября 2016 г.