Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

ШкільнякосШкільняк, О. С.
    Семантичні моделі та секвенційні числення транзиційних модальних логік [Текст] / О.С. Шкільняк // Компьютерная математика : сборник научных трудов. — Киев, 2013. — Вып. 1. — С. 141-150.

- Ключові слова:

комп"ютерна математика, компьютерная математика

- Анотація:

Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік. Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти.

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт