Что такое алгебраическая алгоритмика?
Даний огляд присвячено алгебраїчній алгоритміці (АА) - актуальній області комп'ютерної науки, що інтенсивно розвивається.
 Наведено обґрунтування напряму досліджень з алгебри алгоритміки в межах АА. Окреслено загальну характеристику та
 перспективи розвитку алгебри алгоритміки т...
Saved in:
| Date: | 2004 |
|---|---|
| Main Authors: | Цейтлин, Г.Е., Мохница, А.С. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2324 |
| 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: | Что такое алгебраическая алгоритмика?/Г.Е.Цейтлин, А.С. Мохница // Проблеми програмування. — 2004. — N 2,3. — С. 52-58. — Бiбліогр.:28 назв. - рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
by: Дорошенко, А.Е., et al.
Published: (2003)
by: Дорошенко, А.Е., et al.
Published: (2003)
Об одной геометрической модели временных параллельных процессов
by: Ошевская, Е.С,
Published: (2004)
by: Ошевская, Е.С,
Published: (2004)
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
by: Крывый, С.Л., et al.
Published: (2003)
by: Крывый, С.Л., et al.
Published: (2003)
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
by: Нікітченко, М.С., et al.
Published: (2004)
by: Нікітченко, М.С., et al.
Published: (2004)
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
by: Нікітченко, М.С., et al.
Published: (2003)
by: Нікітченко, М.С., et al.
Published: (2003)
Композиційні логіки номінативних даних
by: Нікітченко, М.С., et al.
Published: (2003)
by: Нікітченко, М.С., et al.
Published: (2003)
Теоретико-категорная характеризация развертки временных сетей Петри
by: Дубцов, Р.С.
Published: (2004)
by: Дубцов, Р.С.
Published: (2004)
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
by: Грибовская, Н.С.
Published: (2004)
by: Грибовская, Н.С.
Published: (2004)
Аксиоматические модели и методы проектирования языковых трансляторов
by: Парасюк, И.Н., et al.
Published: (2003)
by: Парасюк, И.Н., et al.
Published: (2003)
Концепція діалогових обчислень та деякі проблеми автоматизації програмування
by: Петрушенко, А.М., et al.
Published: (2004)
by: Петрушенко, А.М., et al.
Published: (2004)
Экспликативный базис интеграционных сред
by: Редько, И.В.
Published: (2004)
by: Редько, И.В.
Published: (2004)
Коалгебраическое исследование бисимуляционных паралельных процессов
by: Антонцева, М.Ф.
Published: (2004)
by: Антонцева, М.Ф.
Published: (2004)
Формальные модели компонентного программирования
by: Грищенко, В.Н.
Published: (2003)
by: Грищенко, В.Н.
Published: (2003)
О возможных основаниях немонотонного дедуктивного синтеза программ
by: Приходько, П.П.
Published: (2003)
by: Приходько, П.П.
Published: (2003)
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
by: Панченко, Т.В.
Published: (2004)
by: Панченко, Т.В.
Published: (2004)
Узагальнена композиційна модель символьної обробки
by: Винник, В.Ю.
Published: (2003)
by: Винник, В.Ю.
Published: (2003)
Realistic correct systems implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)
by: Goerigk, Wolfgang, et al.
Published: (2003)
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)
by: Goerigk, Wolfgang, et al.
Published: (2003)
Процесологічні середовища моделювання
by: Редько, И.В.
Published: (2003)
by: Редько, И.В.
Published: (2003)
Что такое радиохимия
by: Старик, И.Е.
Published: (2014)
by: Старик, И.Е.
Published: (2014)
Что такое Big Data
by: Резниченко, В.А.
Published: (2019)
by: Резниченко, В.А.
Published: (2019)
Что такое солнечные факелы?
by: Костык, Р.И.
Published: (2013)
by: Костык, Р.И.
Published: (2013)
Что такое теория гиперслучайных явлений
by: Горбань, И.И.
Published: (2017)
by: Горбань, И.И.
Published: (2017)
Метод течеискания Spectroline — что это такое?
by: Козин, А.Н.
Published: (2003)
by: Козин, А.Н.
Published: (2003)
Простой сдвиг металлов: что это такое?
by: Бейгельзимер, Я.Е.
Published: (2010)
by: Бейгельзимер, Я.Е.
Published: (2010)
Что такое наш «мусор», что такое его «уборка» и какие следствия из всего этого вытекают
by: Кордюм, В.А.
Published: (2002)
by: Кордюм, В.А.
Published: (2002)
Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
by: Яценко, Е.А., et al.
Published: (2004)
by: Яценко, Е.А., et al.
Published: (2004)
Еще раз к вопросу: "Что такое общество?"
by: Бурлачук, В.
Published: (2006)
by: Бурлачук, В.
Published: (2006)
Что такое Gnophomyia tripudians Bergroth , 1891 (Diptera, Limoniidae)
by: Савченко, E.Н.
Published: (1982)
by: Савченко, E.Н.
Published: (1982)
Инсерционное моделирование
by: Летичевский, А.Ад.
Published: (2012)
by: Летичевский, А.Ад.
Published: (2012)
Что такое неолиберализм в контексте современной «экономикс» и экономики
by: Арсеенко, А.
Published: (2011)
by: Арсеенко, А.
Published: (2011)
Что такое экономика? Простые ответы на пока еще сложные вопросы
by: Львов, И.Г.
Published: (2000)
by: Львов, И.Г.
Published: (2000)
Кислотозависимые заболевания верхних отделов пищеварительного тракта. Что же это такое?
by: Васильев, Ю.В.
Published: (2011)
by: Васильев, Ю.В.
Published: (2011)
Система символьных вычислений для программирования динамических приложений
by: Дорошенко, А.Е., et al.
Published: (2003)
by: Дорошенко, А.Е., et al.
Published: (2003)
«Что такое современное украинство?»: Агатангел Кримський про націю, космополітизм і федералізацію
by: Корольов, Г.
Published: (2015)
by: Корольов, Г.
Published: (2015)
The Conception and Application of PFL: a Process Functional Programming Language
by: Kollar, Jan
Published: (2004)
by: Kollar, Jan
Published: (2004)
Что такое интеллигенция и какова ее роль в переходные периоды жизни человечества?
by: Оконская, Н.Б.
Published: (2008)
by: Оконская, Н.Б.
Published: (2008)
Что такое жизнь? (В чем заключено главное различие между живой и косной природой?)
by: Львов, И.Г.
Published: (2000)
by: Львов, И.Г.
Published: (2000)
Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
by: Стрельцова, Е.А., et al.
Published: (2008)
by: Стрельцова, Е.А., et al.
Published: (2008)
Теоретические проблемы устойчивости броуновских дисперсных систем
by: Мищук, Н.А.
Published: (2011)
by: Мищук, Н.А.
Published: (2011)
Similar Items
-
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
by: Дорошенко, А.Е., et al.
Published: (2003) -
Об одной геометрической модели временных параллельных процессов
by: Ошевская, Е.С,
Published: (2004) -
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
by: Крывый, С.Л., et al.
Published: (2003) -
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
by: Нікітченко, М.С., et al.
Published: (2004) -
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
by: Нікітченко, М.С., et al.
Published: (2003)