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

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

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

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

Том: 4

Номер: 1

Год: 2011

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

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

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

URL:

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

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

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

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

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

Добавил в систему: