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

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

11 июня 2026 г.

Время жизни популяций определяется законами математики

Исследователи НИУ ВШЭ и МГУ доказали универсальный закон, описывающий время исчезновения популяций в случайной среде. Анализ эволюции ветвящихся процессов — сложных вероятностных систем — показал, что вне зависимости от изначального числа особей процесс вымирания подчиняется строгим математическим закономерностям. Результаты опубликованы в Journal of Applied Probability.

8 июня 2026 г.

«За 12 лет на нашем счету почти 1000 операций с пробуждением»

В НИУ ВШЭ прошла XIII Летняя нейролингвистическая школа, организованная Центром языка и мозга при поддержке факультета гуманитарных наук НИУ ВШЭ. В центре внимания слушателей была совместная работа нейролингвистов, нейрохирургов и нейрофизиологов в операционной, стандартизация лингвистических парадигм и практические подходы к сохранению речевой функции пациентов.

5 июня 2026 г.

Аспирантка НИУ ВШЭ открыла «невидимую» планировку античного Париона

Исследовательница из НИУ ВШЭ Идиль Малгиль изучила с помощью дрона с лазерным сканером сверхвысокого разрешения древнеримский город Парион, расположенный на территории современной Турции. Благодаря высокой плотности сканирования удалось зафиксировать крошечные неровности рельефа, скрытые под землей и растительностью. Обнаружены следы целых кварталов, террасных систем и стен, которые невозможно было различить ни при обычных раскопках, ни с помощью аэрофотосъемки. Результаты исследованияо публикованы в международном научном журнале Ancient Civilizations from Scythia to Siberia.

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

Публикации

?

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

С. 124–124.

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

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

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

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

В книге

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

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

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

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

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

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

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

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

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