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

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

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

- Анотація:

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

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

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

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



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