Головна сторiнка
eng
Наукова бібліотека ім. М. Максимовича UNDP in Ukraine
Увага! Відтепер можна отримати пластиковий читацький квиток також за адресою:
проспект академіка Глушкова 2, кім. 217.

Подробиці читайте тут.
Список містить (0 документів)
Ваше замовлення (0 книжок)
Перегляд стану та історії замовлень
Допомога

Назад Новий пошук

Опис документа:

Автор: Nikitchenko M.S.
Назва: Properties of quasiary specification algebras
Рік:
Сторінок: Р. 114-119
Тип документу: Стаття
Головний документ: Київський Вісник Київського національного університету імені Тараса Шевченка / Київський, університет імені національний; редкол.: голов. ред. Анісімов А.В. ; Хусаінов Д.Я., Arturs Medvids, Miklos Ronto [та ін.]. - Київ, 2016
Анотація:   Вводяться спеціальні специфікаційні алгебри над класами квазіарних відображень. Ці алгебри відображають такі властивості програмних систем, як частковість даних, частковість та необмежена арність предикатів та функцій, чутливість до невизначених даних. Досліджено властивості побудованих алгебр та визначено нормальні форми термів у цих алгебрах. Запропоновані методи можуть бути корисними для побудови та дослідження алгебр та логік для доведення властивостей програм.
   Special program specification algebras defined for classes of quasiary mappings are introduced. These algebras reflect such features of software systems as partiality of data, partiality and unrestricted arity of predicate and functions, sensitivity to unassigned variables. For the constructed algebras their properties are studied and normal forms of their terms are defined. The proposed methods can be useful for construction and investigation of algebras and logics for program reasoning.
  



Пошук: заповніть хоча б одне з полів


Розділ:
Назва:
Будь ласка, пишіть 2-3 слова з назви БЕЗ ЗАКІНЧЕНЬ!
Так імовірніше знайти потрібний документ!
слова не коротші ніж 3 символів, розділені пробілами
Автор:
Будь ласка, пишіть прізвище автора без ініціалів!
не коротше ніж 2 символи
є повний текст
Рік видання:
Видавництво:
з     по  
Види документів:
 Книга  Брошура  Конволют (штучно створена збірка)  Рідкісне видання
 Автореферат  Дисертація
 Журнал  Газета
 Стаття  Складова частина документа
Новий тематичний пошук
       
      
        
Бібліотечний інформаційно-освітній портал  Polpred.com Цей сайт створено за спiльною програмою UNDP та
Київського нацiонального унiверситету iменi Тараса Шевченка
проект УКР/99/005

© 2000-2010 yawd, irishka, levsha,