Страница публикации

Преобразования алгоритмов вычисления дискретных функций в булевы уравнения

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Отпущенников И.В., Семенов А.А.

Журнал: Известия Иркутского гос. ун-та. Сер. Математика

Язык публикации: russian

Том: 4

Номера страниц: 83–96

Количество страниц: 14

Номер: 1

Год публикации: 2011

Отчетный год: 2011

Аннотация: Статья посвящена проблеме преобразования алгоритмических описаний дискретных функций в эквациональные описания, имеющие вид булевых уравнений. Основу развиваемого в работе аппарата составляют процедуры пропозиционального кодирования программ для двоичной машины с произвольным доступом. На базе этих процедур строятся преобразования высокоуровневых описаний алгоритмов вычисления дискретных функций в булевы уравнения.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет