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

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

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

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

Автор: Нікітченко М., Шкільняк С.
Назва: Спектр композиційно-номінативних логік
Видавництво: ВПЦ "Київський університет"
Рік:
Сторінок: С. 44-48
Тип документу: Стаття
Головний документ: Вісник Київського національного університету імені Тараса Шевченка
Анотація:   Розглядаються композиційно-номінативні логіки часткових предикатів. Стосовно екстенсійного аспекту предметних областей пропонуються логіки квазіарних предикатів і логіки номінативних даних, стосовно інтенсійного аспекту - композиційно-номінативні модальні логіки. Наведено ієрархію композиційно-номінативних логік. Місце логіки в ієрархи визначається рівнем абстракції розгляду та обмеженнями класу предикатів.
   The composition nominative logics of partial predicates are considered. Concerning extensional aspects of subject domains, the logics of quasi-ary predicates and logics over nominative data are proposed. Intensional aspects are represented by composition nominative modal logics. The hierarchy of composition nominative logics is presented. The place of a logic in this hierarchy is determined by its abstraction level and by restrictions on classes of its predicates.



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


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

© 2000-2010 yawd, irishka, levsha, alex