Композиційно-номінативні логіки предикатів над даними з неповною інформацією
Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі логіки зб...
Збережено в:
Дата: | 2004 |
---|---|
Автори: | Нікітченко, М.С., Шкільняк, С.С. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2004
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2313 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003) -
Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003) -
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
за авторством: Панченко, Т.В.
Опубліковано: (2004) -
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003) -
Об одной геометрической модели временных параллельных процессов
за авторством: Ошевская, Е.С,
Опубліковано: (2004)