Инструментальные средства трансформации схем алгоритмов и программ
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Инструментальные средства трансформации схем алгоритмов и программ
|
|
| Creator |
Мохница, А.С.
|
|
| Subject |
Формальні методи програмування
|
|
| Description |
Статья посвящена инструментарию трансформации схем алгоритмов и программ, разрабатываемому в рамках исследований по алгебраической алгоритмике. Демонстрируется его применение на доказательстве гипотезы о тождественности двух булевых функций. Paper is dedicated to the review of the toolkit for transformation of schemas of algorithms and programs, developed within the framework of studies on algebraic algorithmics. Use of the toolkit is demonstrated on the proof of hypothesis of Boolean functions equality. |
|
| Date |
2008-08-21T17:28:20Z
2008-08-21T17:28:20Z 2006 |
|
| Type |
Article
|
|
| Identifier |
Инструментальные средства трансформации схем алгоритмов и программ / А.С. Мохница // Проблеми програмування. — 2006. — N 2-3. — С. 377-382. — Бібліогр.: 9 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1536 681.3 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|