Инструментальные средства трансформации схем алгоритмов и программ
Статья посвящена инструментарию трансформации схем алгоритмов и программ, разрабатываемому в рамках исследований по
 алгебраической алгоритмике. Демонстрируется его применение на доказательстве гипотезы о тождественности двух булевых
 функций. Paper is dedicated to the review of the...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2006
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1536 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Инструментальные средства трансформации схем алгоритмов и программ / А.С. Мохница // Проблеми програмування. — 2006. — N 2-3. — С. 377-382. — Бібліогр.: 9 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862725516907249664 |
|---|---|
| author | Мохница, А.С. |
| author_facet | Мохница, А.С. |
| citation_txt | Инструментальные средства трансформации схем алгоритмов и программ / А.С. Мохница // Проблеми програмування. — 2006. — N 2-3. — С. 377-382. — Бібліогр.: 9 назв. — рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T18:52:44Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1536 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T18:52:44Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Мохница, А.С. 2008-08-21T17:28:20Z 2008-08-21T17:28:20Z 2006 Инструментальные средства трансформации схем алгоритмов и программ / А.С. Мохница // Проблеми програмування. — 2006. — N 2-3. — С. 377-382. — Бібліогр.: 9 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1536 681.3 Статья посвящена инструментарию трансформации схем алгоритмов и программ, разрабатываемому в рамках исследований по
 алгебраической алгоритмике. Демонстрируется его применение на доказательстве гипотезы о тождественности двух булевых
 функций. 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. ru Інститут програмних систем НАН України Формальні методи програмування Инструментальные средства трансформации схем алгоритмов и программ Toolkit for transformation of schemas of algorithms and programs Article published earlier |
| spellingShingle | Инструментальные средства трансформации схем алгоритмов и программ Мохница, А.С. Формальні методи програмування |
| title | Инструментальные средства трансформации схем алгоритмов и программ |
| title_alt | Toolkit for transformation of schemas of algorithms and programs |
| title_full | Инструментальные средства трансформации схем алгоритмов и программ |
| title_fullStr | Инструментальные средства трансформации схем алгоритмов и программ |
| title_full_unstemmed | Инструментальные средства трансформации схем алгоритмов и программ |
| title_short | Инструментальные средства трансформации схем алгоритмов и программ |
| title_sort | инструментальные средства трансформации схем алгоритмов и программ |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1536 |
| work_keys_str_mv | AT mohnicaas instrumentalʹnyesredstvatransformaciishemalgoritmoviprogramm AT mohnicaas toolkitfortransformationofschemasofalgorithmsandprograms |