Зображення обкладинки

Что такое алгебраическая алгоритмика?

Даний огляд присвячено алгебраїчній алгоритміці (АА) - актуальній області комп'ютерної науки, що інтенсивно розвивається. Наведено обґрунтування напряму досліджень з алгебри алгоритміки в межах АА. Окреслено загальну характеристику та перспективи розвитку алгебри алгоритміки т...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2004
Автори:	Цейтлин, Г.Е., Мохница, А.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2004
Теми:	Теоретические и методологические основы программирования
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/2324
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Что такое алгебраическая алгоритмика?/Г.Е.Цейтлин, А.С. Мохница // Проблеми програмування. — 2004. — N 2,3. — С. 52-58. — Бiбліогр.:28 назв. - рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

Об одной геометрической модели временных параллельных процессов
за авторством: Ошевская, Е.С,
Опубліковано: (2004)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
за авторством: Крывый, С.Л., та інші
Опубліковано: (2003)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Теоретико-категорная характеризация развертки временных сетей Петри
за авторством: Дубцов, Р.С.
Опубліковано: (2004)

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
за авторством: Грибовская, Н.С.
Опубліковано: (2004)

Аксиоматические модели и методы проектирования языковых трансляторов
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2003)

Концепція діалогових обчислень та деякі проблеми автоматизації програмування
за авторством: Петрушенко, А.М., та інші
Опубліковано: (2004)

Экспликативный базис интеграционных сред
за авторством: Редько, И.В.
Опубліковано: (2004)

Коалгебраическое исследование бисимуляционных паралельных процессов
за авторством: Антонцева, М.Ф.
Опубліковано: (2004)

Формальные модели компонентного программирования
за авторством: Грищенко, В.Н.
Опубліковано: (2003)

О возможных основаниях немонотонного дедуктивного синтеза программ
за авторством: Приходько, П.П.
Опубліковано: (2003)

Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
за авторством: Панченко, Т.В.
Опубліковано: (2004)

Узагальнена композиційна модель символьної обробки
за авторством: Винник, В.Ю.
Опубліковано: (2003)

Realistic correct systems implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

Процесологічні середовища моделювання
за авторством: Редько, И.В.
Опубліковано: (2003)

Что такое радиохимия
за авторством: Старик, И.Е.
Опубліковано: (2014)

Что такое Big Data
за авторством: Резниченко, В.А.
Опубліковано: (2019)

Что такое солнечные факелы?
за авторством: Костык, Р.И.
Опубліковано: (2013)

Что такое теория гиперслучайных явлений
за авторством: Горбань, И.И.
Опубліковано: (2017)

Метод течеискания Spectroline — что это такое?
за авторством: Козин, А.Н.
Опубліковано: (2003)

Простой сдвиг металлов: что это такое?
за авторством: Бейгельзимер, Я.Е.
Опубліковано: (2010)

Что такое наш «мусор», что такое его «уборка» и какие следствия из всего этого вытекают
за авторством: Кордюм, В.А.
Опубліковано: (2002)

Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
за авторством: Яценко, Е.А., та інші
Опубліковано: (2004)

Еще раз к вопросу: "Что такое общество?"
за авторством: Бурлачук, В.
Опубліковано: (2006)

Что такое Gnophomyia tripudians Bergroth , 1891 (Diptera, Limoniidae)
за авторством: Савченко, E.Н.
Опубліковано: (1982)

Инсерционное моделирование
за авторством: Летичевский, А.Ад.
Опубліковано: (2012)

Что такое неолиберализм в контексте современной «экономикс» и экономики
за авторством: Арсеенко, А.
Опубліковано: (2011)

Что такое экономика? Простые ответы на пока еще сложные вопросы
за авторством: Львов, И.Г.
Опубліковано: (2000)

Кислотозависимые заболевания верхних отделов пищеварительного тракта. Что же это такое?
за авторством: Васильев, Ю.В.
Опубліковано: (2011)

Система символьных вычислений для программирования динамических приложений
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

«Что такое современное украинство?»: Агатангел Кримський про націю, космополітизм і федералізацію
за авторством: Корольов, Г.
Опубліковано: (2015)

The Conception and Application of PFL: a Process Functional Programming Language
за авторством: Kollar, Jan
Опубліковано: (2004)

Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
за авторством: Стрельцова, Е.А., та інші
Опубліковано: (2008)

Что такое интеллигенция и какова ее роль в переходные периоды жизни человечества?
за авторством: Оконская, Н.Б.
Опубліковано: (2008)

Что такое жизнь? (В чем заключено главное различие между живой и косной природой?)
за авторством: Львов, И.Г.
Опубліковано: (2000)

Теоретические проблемы устойчивости броуновских дисперсных систем
за авторством: Мищук, Н.А.
Опубліковано: (2011)