Подсистема верификации в реализации SWI-PROLOG для электронного учебника логического программирования.

А. И. Парамонов

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

19 мая 2026 г.

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

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

18 мая 2026 г.

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

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

15 мая 2026 г.

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

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

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

Публикации

?

Подсистема верификации в реализации SWI-PROLOG для электронного учебника логического программирования.

С. 124–124.

Парамонов А. И.

В статье рассматривается подсистема верификации в реализации SWI-PROLOG.

Язык: русский

Ключевые слова: SWI-PROLOG подсистема верификации логическое программирование

В книге

Научно-техническая конференция студентов, аспирантов и молодых специалистов МИЭМ, посвященная 50-летию МИЭМ

М.: Московский государственный институт электроники и математики, 2012.

Логическое программирование

Петренко А. А., Суворов А. О., М.: Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М», 2025.

В учебнике рассмотрены вопросы, которые касаются языков логического программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков логического программирования. Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения. Для студентов высших учебных заведений, обучающихся по направлениям подготовки «Информационные технологии автоматизированных систем», «Программная инженерия», «Прикладная информатика, а также лиц, ...

Добавлено: 20 января 2025 г.

Функциональное и логическое программирование. Учебно-методическое пособие

Лесовская И. Н., Курак М. В., М.: Издательский дом ВВИА им. проф. Н.Е.Жуковского, 2005.

Добавлено: 24 ноября 2008 г.