Публікація:
Логика секвенциальных схем алгоритмов

Проста сторінка документа
dc.contributor.authorКашубин, С. П.
dc.date.accessioned2026-04-18T15:20:30Z
dc.date.issued2010
dc.description.abstractОписана новая теория, названная логикой секвенциальных схем алгоритмов, которая предназначена главным образом для программирования. В рамках теории исследуются вопросы доказательства правильности алгоритмов, их эквивалентные преобразования и распараллеливание.
dc.identifier.citationКашубин С. П. Логика секвенциальных схем алгоритмов // Бионика интеллекта. 2010. № 3(74). С. 120-128.
dc.identifier.urihttps://openarchive.nure.ua/handle/document/34018
dc.language.isoother
dc.publisherХНУРЭ
dc.subjectпредставлене знаний
dc.subjectдоказательство правильности алгоритма
dc.subjectэквивалентные преобразования
dc.subjectраспараллеливание
dc.subjectтеория программирования
dc.subjectсеквенциальная схема
dc.titleЛогика секвенциальных схем алгоритмов
dc.typeArticle
dspace.entity.typePublication

Файли

Оригінальний пакунок

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
3_74_120_128.pdf
Розмір:
205.63 KB
Формат:
Adobe Portable Document Format
Завантажити

Пакунок ліцензії

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
license.txt
Розмір:
10.74 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Біоніка інтелекту