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

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

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

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

Автор: Шкільняк С.С.
Назва: Композиційно-номінативні логіки квазіарних предикатів
Видавництво: ВПЦ "Київський університет"
Рік:
Сторінок: С. 246-254
Тип документу: Стаття
Головний документ: Вісник Київського національного університету імені Тараса Шевченка
Анотація:   Досліджені фінітарні логіки часткових предикатів над іменними множинами. Розглянута ієрархія таких логік. Для логік кванторного та функціонально-екваційного рівня побудовані секвенційні числення без обмежень різнокванторності, доведені теореми повноти.
   The finitary logics of partial predicates over named sets are investigated The hierarchy of such logics is considered. For logics of the quantifier level and of the functional-equation level the sequential calculi without different-quantifier restrictions are constructered. The completeness theorems are proved.
  


З 31.12.2014 по 01.03.2015 Наукова бібліотека
читачів не обслуговує.



Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин

Цей сайт створено за спiльною програмою UNDP та
Київського нацiонального унiверситету iменi Тараса Шевченка
проект УКР/99/005

© 2000-2010 yawd, irishka, levsha, alex