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

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

3 июля 2026 г.

Исследование НИУ ВШЭ: молодые россияне едут в крупные города за высшим образованием

За период с 2011 по 2021 год число переездов 18-летних россиян составило 1,2 млн человек. Из них 78% отправились в 160 крупных городов, что с большой долей вероятности связано с желанием получить высшее образование. Лидеры по формированию вузовских зон притяжения: Москва, Санкт-Петербург, Екатеринбург, Ростов-на-Дону, Краснодар, Новосибирск.

2 июля 2026 г.

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

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

1 июля 2026 г.

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

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

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

Публикации

?

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

С. 124–124.

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

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

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

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

В книге

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

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

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

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

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

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

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

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

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