 |
|
|
|
|
|
Преобразования алгоритмов вычисления дискретных функций в булевы уравнения И. В. Отпущенников, А. А. Семёнов Институт динамики систем и теории управления СО РАН, Иркутск Аннотация: Статья посвящена проблеме преобразования алгоритмических описаний дискретных функций в эквациональные описания, имеющие вид булевых уравнений. Основу развиваемого в работе аппарата составляют процедуры пропозиционального кодирования программ для двоичной машины с произвольным доступом. На базе этих процедур строятся преобразования высокоуровневых описаний алгоритмов вычисления дискретных функций в булевы уравнения. Ключевые слова: дискретные функции; булевы уравнения; машина с произвольным доступом.  Полный текст:
PDF файл (676 kB)
Список литературы:
PDF файл
HTML файл
Тип публикации: Статья УДК: 519.7 Образец цитирования: И. В. Отпущенников, А. А. Семёнов, “Преобразования алгоритмов вычисления дискретных функций в булевы уравнения”, Известия Иркутского государственного университета. Серия Математика, 4:1 (2011), 
Цитирование в формате AMSBIB
\RBibitem{OtpSem11}Образцы ссылок на эту страницу:
Citing articles on Google Scholar: Russian citations, English citations Related articles on Google Scholar: Russian articles, English articles |
|
||||||||||||||||||||||||||||||||||||||||
|
|
Обратная связь: |
 Пользовательское соглашение
|
Регистрация |
Логотипы |
|