Темпоральні процедури та алгоритми
Уводиться поняття темпоральної процедури та алгоритму як засобів подання функціональних співвідношень в абстрактних динамічних системах. Розглядається проблема синтезу та аналізу таких процедур та алгоритмів. The notions of temporal procedure and algorithm are proposed and studied. The periodical t...
Saved in:
| Date: | 2006 |
|---|---|
| Main Author: | Зубенко, В.В. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1636 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Темпоральні процедури та алгоритми / В.В. Зубенко // Проблеми програмування. — 2006. — N 2-3. — С. 53-59. — Бібліогр.: 4 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Двохкомпонентні алгоритми сортування
by: Шинкаренко, В.І., et al.
Published: (2022)
by: Шинкаренко, В.І., et al.
Published: (2022)
Ациклічність та замкненість макрокомпозицій
by: Вінник, В.Ю., et al.
Published: (2012)
by: Вінник, В.Ю., et al.
Published: (2012)
Виникнення та інтерпретація тризначних логік Кліні
by: Шишацька, О.В.
Published: (2010)
by: Шишацька, О.В.
Published: (2010)
Стабільність та монотонність програм щодо структурних трансформацій даних
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)
by: Шкільняк, О.С., et al.
Published: (2017)
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)
by: Лавріщева, К.М.
Published: (2010)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
by: Шкільняк, C.С.
Published: (2019)
by: Шкільняк, C.С.
Published: (2019)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
by: Буй, Д.Б., et al.
Published: (2010)
by: Буй, Д.Б., et al.
Published: (2010)
Структурний підхід до проблеми відтворення граматик
by: Ільман, В.М., et al.
Published: (2007)
by: Ільман, В.М., et al.
Published: (2007)
Дескриптивные системы: концептуальный базис
by: Редько, В.Н., et al.
Published: (2006)
by: Редько, В.Н., et al.
Published: (2006)
Дефинитологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2012)
by: Редько, В.Н., et al.
Published: (2012)
Конструкционно-продукционная модель структур данных на логическом уровне
by: Шинкаренко, В.И., et al.
Published: (2014)
by: Шинкаренко, В.И., et al.
Published: (2014)
Дескриптологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2010)
by: Редько, В.Н., et al.
Published: (2010)
Программологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2008)
by: Редько, В.Н., et al.
Published: (2008)
Швидка або якісна розробка?
by: Панченко, Т.В.
Published: (2014)
by: Панченко, Т.В.
Published: (2014)
Особливості практичного застосування показників обчислювальної складності алгоритмів
by: Шинкаренко, В.І.
Published: (2008)
by: Шинкаренко, В.І.
Published: (2008)
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
by: Панченко, Т.В.
Published: (2008)
by: Панченко, Т.В.
Published: (2008)
Конструктивное представление множественных объектов и их свойства
by: Ильман, В.М., et al.
Published: (2014)
by: Ильман, В.М., et al.
Published: (2014)
Интенсиональные основания дескриптивных сред
by: Редько, И.В.
Published: (2006)
by: Редько, И.В.
Published: (2006)
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
by: Шинкаренко, В.И.
Published: (2006)
by: Шинкаренко, В.И.
Published: (2006)
Функциональная эффективность нечетко специфицированных алгоритмов
by: Шинкаренко, В.И.
Published: (2006)
by: Шинкаренко, В.И.
Published: (2006)
NP-трудность задач оптимизации коллективного преследования
by: Пашко, С.В.
Published: (2014)
by: Пашко, С.В.
Published: (2014)
К-значная логика в расширенной алгебре алгоритмов
by: Акуловский, В.Г.
Published: (2008)
by: Акуловский, В.Г.
Published: (2008)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
Программирование и интеллект
by: Мейтус, В.Ю.
Published: (2009)
by: Мейтус, В.Ю.
Published: (2009)
Основы алгебры алгоритмов, базирующейся на данных
by: Акуловский, В.Г.
Published: (2010)
by: Акуловский, В.Г.
Published: (2010)
Экзистенциальный базис дескриптивных сред
by: Редько, И.В.
Published: (2008)
by: Редько, И.В.
Published: (2008)
DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
DS-теория. Научные аспекты и перспективы развития
by: Колесник, В.Г.
Published: (2017)
by: Колесник, В.Г.
Published: (2017)
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
by: Потиенко, С.В.
Published: (2008)
by: Потиенко, С.В.
Published: (2008)
DS-теория. Исследование факторов форматирования Р-данных
by: Колесник, В.Г.
Published: (2016)
by: Колесник, В.Г.
Published: (2016)
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
Некоторые аспекты формализации данных и декомпозиция Д-операторов
by: Акуловский, В.Г.
Published: (2009)
by: Акуловский, В.Г.
Published: (2009)
Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
by: Акуловский, В.Г.
Published: (2009)
by: Акуловский, В.Г.
Published: (2009)
Расширенная алгебра алгоритмов
by: Акуловский, В.Г.
Published: (2007)
by: Акуловский, В.Г.
Published: (2007)
Метод извлечения логики поведения из промышленного программного кода на языке Кобол
by: Губа, А.А., et al.
Published: (2016)
by: Губа, А.А., et al.
Published: (2016)
Композиційно-номінативні логіки з непрямим іменуванням
by: Россада, Т.В., et al.
Published: (2012)
by: Россада, Т.В., et al.
Published: (2012)
Similar Items
-
Двохкомпонентні алгоритми сортування
by: Шинкаренко, В.І., et al.
Published: (2022) -
Ациклічність та замкненість макрокомпозицій
by: Вінник, В.Ю., et al.
Published: (2012) -
Виникнення та інтерпретація тризначних логік Кліні
by: Шишацька, О.В.
Published: (2010) -
Стабільність та монотонність програм щодо структурних трансформацій даних
by: Нікітченко, М.С., et al.
Published: (2010) -
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)