Репозитарiй DSpace

Деякі аспекти формалізації та специфікації інформаційних зв'язків в алгоритмах

Показати скорочений опис матеріалу

dc.contributor.author Акуловський, В. Г.
dc.contributor.author Костенко, В. В.
dc.date.accessioned 2017-06-06T08:44:17Z
dc.date.available 2017-06-06T08:44:17Z
dc.date.issued 2017-06-06
dc.identifier.citation 1. Турский В. Методология программирования [Текст] / В. Турский.  М. : Мир, 1981.  264 с. 2. Ющенко Е. Л. Многоуровневое структурное проектирование программ: теоретические основы, инструментарий [Текст] / Е. Л. Ющенко, Г. Е. Цейтлин, В. П. Грицай, Т. К. Терзян.  М. : Финансы и статистика, 1989.  208 с. 3. Глушков В. М. Теория автоматов и формальные преобразования микропрограмм [Текст] / В. М. Глушков // Кибернетика. – 1965.  № 5.  С. 110. 4. Глушков В. М. Алгебра. Языки. Программирование [Текст] / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко.  К. : Наукова думка, 1978.  319 с. 5. Акуловский В. Г. Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов [Текст] / В. Г. Акуловский // Кибернетика и системный анализ.  2008.  № 6.  С. 170182. 6. Акуловський В. Г. Деякі аспекти формалізації архітектурного етапу розробки алгоритмів [Текст] / В. Г. Акуловський // Проблеми програмування.  2009.  № 2.  С. 311. uk_UA
dc.identifier.uri http://hdl.handle.net/123456789/2463
dc.description.abstract У рамках алгебри алгоритмів формалізовано дані й інформаційні зв’язки між Д-операторами, що утворюють регулярні схеми. Специфіковано інформаційні зв’язки між підсистемами, що утворюють деякі шари алгоритмів. Визначено та знайдено основні властивості даних і утворених ними інформаційних зв’язків. uk_UA
dc.language.iso uk uk_UA
dc.publisher Академія митної служби України uk_UA
dc.relation.ispartofseries Вісник Академії митної служби України. Сер. : Технічні науки;2009. - № 2.
dc.subject алгоритм uk_UA
dc.subject оператор uk_UA
dc.subject множина станів автомата uk_UA
dc.subject регулярна схема uk_UA
dc.subject композиція uk_UA
dc.subject декомпозиція uk_UA
dc.title Деякі аспекти формалізації та специфікації інформаційних зв'язків в алгоритмах uk_UA
dc.type Article uk_UA


Долучені файли

Даний матеріал зустрічається у наступних зібраннях

Показати скорочений опис матеріалу