Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель Общероссийская общественная организация "Академия инженерных наук им. А.М. Прохорова". Эл No. ФС77-51038. ISSN 2307-0609

Публикации с ключевым словом - автоматический синтез алгоритма

Найдено: 1
Место приёмов дедуктивной верификации в автоматическом синтезе алгоритмов
# 12, декабрь 2013
УДК: 004.421
Минашин Г. А.
В статье рассматривается задача автоматического синтеза алгоритма решения некоторой прикладной задачи на основе формализованного условия этой задачи. Отмечается, что методы автоматического синтеза алгоритмов будут полезны для создания класса декларативных языков программирования, универсальность и эффективность применения которых может быть аналогична этим же показателям современных флагманских императивных языков программирования общего назначения. В работе приводится формализация рассуждений, ведущих к построению алгоритма решения прикладной задачи. Формализация выполнена при помощи таких понятий дедуктивной верификации, как инвариант и ограничивающая функция. Представляется методика автоматического синтеза алгоритма для класса элементарных задач, связанных с перебором элементов массива. Делаются выводы о возможном развитии и обощении разработанной методики.
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА
18.12.2017
С 21 по 24 ноября 2017г. в МГТУ им. Н.Э. Баумана прошла XII Всероссийская инновационная молодежная научно-инженерная выставка «Политехника», посвященная 170-летию со дня рождения Н.Е. Жуковского в рамках Всероссийского инновационного молодежного научно-инженерного форума «Политехника».

11.10.2017
XII Всероссийская инновационная молодежная научно-инженерная выставка «ПОЛИТЕХНИКА», посвященная 170-летию со дня рождения Н.Е. Жуковского 21–24 ноября 2017 года г. Москва

25.05.2017
C 15 по 17 мая 2017г. в МГТУ им. Н.Э. Баумана прошел III этап (Всероссийский) Всероссийской студенческой олимпиады по физике (в технических вузах).

25.04.2017
С 12 по 14 апреля в МГТУ им. Н.Э. Баумана прошел Всероссийский этап Всероссийской олимпиады по безопасности жизнедеятельности.

4.04.2017
С 14 по 16 марта 2017г. в МГТУ им. Н.Э. Баумана прошел III (Всероссийский) тур Всероссийской студенческой олимпиады по иностранному языку (английский в технических вузах).




Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499)
  RSS
© 2003-2018 «Молодежный научно-технический вестник» Тел.: +7 (499)