Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2004
Hauptverfasser:	Цейтлин, Г.Е., Мохница, А.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2004
Schlagworte:	Теоретические и методологические основы программирования
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/2324
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Что такое алгебраическая алгоритмика?/Г.Е.Цейтлин, А.С. Мохница // Проблеми програмування. — 2004. — N 2,3. — С. 52-58. — Бiбліогр.:28 назв. - рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

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

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
von: Крывый, С.Л., et al.
Veröffentlicht: (2003)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Композиційні логіки номінативних даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

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

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

Аксиоматические модели и методы проектирования языковых трансляторов
von: Парасюк, И.Н., et al.
Veröffentlicht: (2003)

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

Экспликативный базис интеграционных сред
von: Редько, И.В.
Veröffentlicht: (2004)

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

Формальные модели компонентного программирования
von: Грищенко, В.Н.
Veröffentlicht: (2003)

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

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

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

Realistic correct systems implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

Процесологічні середовища моделювання
von: Редько, И.В.
Veröffentlicht: (2003)

Что такое радиохимия
von: Старик, И.Е.
Veröffentlicht: (2014)

Что такое Big Data
von: Резниченко, В.А.
Veröffentlicht: (2019)

Что такое солнечные факелы?
von: Костык, Р.И.
Veröffentlicht: (2013)

Что такое теория гиперслучайных явлений
von: Горбань, И.И.
Veröffentlicht: (2017)

Метод течеискания Spectroline — что это такое?
von: Козин, А.Н.
Veröffentlicht: (2003)

Простой сдвиг металлов: что это такое?
von: Бейгельзимер, Я.Е.
Veröffentlicht: (2010)

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

Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
von: Яценко, Е.А., et al.
Veröffentlicht: (2004)

Еще раз к вопросу: "Что такое общество?"
von: Бурлачук, В.
Veröffentlicht: (2006)

Что такое Gnophomyia tripudians Bergroth , 1891 (Diptera, Limoniidae)
von: Савченко, E.Н.
Veröffentlicht: (1982)

Инсерционное моделирование
von: Летичевский, А.Ад.
Veröffentlicht: (2012)

Что такое неолиберализм в контексте современной «экономикс» и экономики
von: Арсеенко, А.
Veröffentlicht: (2011)

Что такое экономика? Простые ответы на пока еще сложные вопросы
von: Львов, И.Г.
Veröffentlicht: (2000)

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

Система символьных вычислений для программирования динамических приложений
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

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

The Conception and Application of PFL: a Process Functional Programming Language
von: Kollar, Jan
Veröffentlicht: (2004)

Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
von: Стрельцова, Е.А., et al.
Veröffentlicht: (2008)

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

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

Теоретические проблемы устойчивости броуновских дисперсных систем
von: Мищук, Н.А.
Veröffentlicht: (2011)