Buchumschlag

Узагальнена композиційна модель символьної обробки

У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної обла...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2003
1. Verfasser:	Винник, В.Ю.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2003
Schlagworte:	Теоретические и методологические основы программирования
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/1065
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:	Узагальнена композиційна модель символьної обробки/ В.Ю. Винник // Проблеми програмування. — 2003. — N 1. — С. 31-36. — Бібліогр.: 18 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

УЗАГАЛЬНЕНА КОМПОЗИЦІЙНА МОДЕЛЬ СИМВОЛЬНОЇ ОБРОБКИ
von: Vinnik, V.Yu.
Veröffentlicht: (2015)

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

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

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

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

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

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

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

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

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

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

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: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

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

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

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

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

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

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

Термодинамические характеристики воды, слабо связанной с поверхностью слоистых силикатов
von: Тарасевич, Ю.И.
Veröffentlicht: (2013)

Влияние УФ-излучения на кинетику разложения катионных ПАВ озоном в водной среде
von: Гончарук, В.В., et al.
Veröffentlicht: (2007)

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

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

Динамика сорбции серной кислоты слабоосновными полиакриловыми анионитами, синтезированными на основе полиаминов
von: Мамченко, А.В., et al.
Veröffentlicht: (2008)

Моделирование погружных фотореакторов с оптимальными параметрами УФ-излучения для водоочистки
von: Самсони-Тодоров, А.О., et al.
Veröffentlicht: (2013)

Расчет фильтрования суспензий через многослойную загрузку при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2008)

Инженерный расчет фильтрования суспензии через двухслойную загрузку при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2011)

Фильтрование суспензии с убывающей скоростью при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2012)

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

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

Композиційна структура щедрівок
von: Панчук, О.
Veröffentlicht: (2005)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2003)

Логарифмічна обробка зображень. Частина 2: узагальнена модель
von: Воробель, Р.А.
Veröffentlicht: (2009)

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

Синтезаторы речи с MS SAPI интерфейсом для скринридеров
von: Юсим, Г.В.
Veröffentlicht: (2004)

Структурированные семантические сети в распределенной разработке многоязыковых словарей
von: Кульчицький, Б.Н., et al.
Veröffentlicht: (2004)

Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
von: Максимей, И.В., et al.
Veröffentlicht: (2003)

Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
von: Теленик, С.Ф., et al.
Veröffentlicht: (2004)

Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
von: Булавенко, О.Н., et al.
Veröffentlicht: (2004)