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

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

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

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

Том: 4

Номер: 1

Год: 2011

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

Издательство:

Местоположение издательства:

URL:

Проекты:

DOI:

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

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

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

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

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

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

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

Публикация в печати: 0