Инструментальные средства трансформации схем алгоритмов и программ
Статья посвящена инструментарию трансформации схем алгоритмов и программ, разрабатываемому в рамках исследований по алгебраической алгоритмике. Демонстрируется его применение на доказательстве гипотезы о тождественности двух булевых функций. Paper is dedicated to the review of the toolkit for tran...
Gespeichert in:
| Datum: | 2006 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2006
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1536 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Инструментальные средства трансформации схем алгоритмов и программ / А.С. Мохница // Проблеми програмування. — 2006. — N 2-3. — С. 377-382. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | Статья посвящена инструментарию трансформации схем алгоритмов и программ, разрабатываемому в рамках исследований по
алгебраической алгоритмике. Демонстрируется его применение на доказательстве гипотезы о тождественности двух булевых
функций.
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.
|
|---|---|
| ISSN: | 1727-4907 |