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

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

13 августа 2026 г.

Социальная интеграция: на перекрестках знаний и ценностей

Международная лаборатория исследований социальной интеграции (МЛИСИ) НИУ ВШЭ занимается изучением проблем уязвимых слоев населения и поиском методов их вовлечения в полноценную повседневную жизнь. Для поиска решений ученые лаборатории сочетают разработку передовых методов с практической работой «в поле». О деятельности лаборатории новостной службе «Вышка.Главное» рассказала ее заведующая Елена Ярская-Смирнова.

12 августа 2026 г.

Студенты Вышки, вероятно, обнаружили новый вид медузы во время практики на Сахалине

Учащиеся факультета биологии и биотехнологии НИУ ВШЭ стали первыми студентами, которые приехали в экспедицию на биостанцию «Анива» на острове Сахалин. Их целью было изучение морских полипов и медуз. Молодым ученым удалось получить неожиданные результаты: возможно, во время полевых работ они обнаружили новые для региона виды. Теперь часть находок привезут в Москву для детального изучения. Об экспедиции студентки рассказали «Вышке.Главное».

12 августа 2026 г.

«Я бы назвал атмосферу в лаборатории и в университете творческой и стимулирующей»

Научный сотрудник Международной лаборатории стохастического анализа и его приложений НИУ ВШЭ французский ученый Жан-Франсуа Жабир работает в НИУ ВШЭ с 2017 года. Его привлекла возможность вести исследования совместно с ведущими зарубежными и российскими учеными, свобода академических дискуссий и открытость университета. Своими впечатлениями о Вышке и Москве Жан-Франсуа Жабир поделился с новостной службой «Вышка.Главное».

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

Публикации

?

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

С. 124–124.

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

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

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

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

В книге

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

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

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

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

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

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

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

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

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