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

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

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

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

Автор: Нікітченко Н.С., Шкільняк С.С.
Назва: Принципи Е-рефлексії та Е-параметризації в логіках структурованих даних
Рік:
Сторінок: С. 169-179
Тип документу: Стаття
Головний документ: Вісник Київського університету імені Тараса Шевченка
Анотація:   Визначаються формалізми для опису функцій та предикатів над структурованими даними. Такі дані задаються за допомогою абстрактного предикату <-, що інтерпретується як відношення "частина - ціле". Розглядаються питання виразимості функцій та предикатів в мовах структурованих даних. Відомі принципи Е-рефлексії та Е-параметризації узагальнюються на випадок логіки структурованих даних.
   Formalisms for description of functions and predicates over structured data are defined. Such data are determined by an abstract predicate <-, which is interpreted as a "pan-whole" relation. Function and predicate expressibility in structured data languages arе studied. Well-known principles of Е-reflection and Е-parameterization аги generalized for logics of structured data.



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


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

© 2000-2010 yawd, irishka, levsha, alex