Публікація: Логика секвенциальных схем алгоритмов
Завантаження...
Дата
Автори
Назва журналу
ISSN журналу
Назва тому
Видавець
ХНУРЭ
Анотація
Описана новая теория, названная логикой секвенциальных схем алгоритмов, которая предназначена главным образом для программирования. В рамках теории исследуются вопросы доказательства правильности алгоритмов, их эквивалентные преобразования и распараллеливание.
Опис
Ключові слова
представлене знаний, доказательство правильности алгоритма, эквивалентные преобразования, распараллеливание, теория программирования, секвенциальная схема
Цитування
Кашубин С. П. Логика секвенциальных схем алгоритмов // Бионика интеллекта. 2010. № 3(74). С. 120-128.