EN | RU    
Издательство научно-технической литературы
Поиск по сайту:

На главную»

Контакты»

Журналы»

Новости»

Оформление статей»

Реклама в журналах»

Обратная связь»

Книги»

О фирме»



 реклама



Промышленные АСУ и контроллеры

Аннотация к статье
<< Назад
Система верификации логических программ, основанная на трансформационном подходе, для электронного учебника языка Пролог
Д.П. БОГОЛЮБОВ, С.Г. ЧЕЛНОКОВ

В настоящей статье на примере языка Пролог рассматривается задача верификации логических программ экспертными обучающими системами. Под задачей верификации понимается задача доказательства правильности программ при всех входных данных, удовлетворяющих поставленной задаче. Для решения этой задачи предлагается использовать трансформационный подход, использующий алгебру логики первого порядка. Описывается алгоритм анализа программы, написанной обучаемым. Ключевые слова: верификация, логическая программа, трансформация, электронный учебник, язык логического программирования, автоматизированные обучающие системы. E-mail: bogolub@mail.ru E-mail: foofl@yandex.ru

 разделы

«О журнале

«Архив журнала

«Тематическая направленность журнала

«Правила оформления статей

«Этапы рассмотрения и публикации статей

«Правила рецензирования статей

«Редакционная и профессиональная этика

«Обнаружение плагиата

«Редакция и редакционная коллегия

«Новости журнала


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

Последние новости:

Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге

Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg

Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018»

ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы

Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018"

   Rambler's Top100 Rambler's Top100         


    Система управления разработана в: ananskikh.ru
© Издательство "НАУЧТЕХЛИТИЗДАТ", 2005-2020