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

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

004.42+510.69
Шкільняк, С. С.
    Секвенційні числення композиційно-номінативних логік квазіарних предикатів [Текст] / С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 33-43.

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

логіка предикатів, логика предикатов

- Анотація:

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

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

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

  • УДК // Математична логіка
  • УДК // Програмування комп’ютерів. Комп’ютерні програми



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Миколаївського національного університету імені В. О. Сухомлинського