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

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

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

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

логіка, логика, logic ; Теоретичні та методологічні основи програмування ; рівність, равенство ; Проблеми програмування № 2-3-2016 ; предикат, предикат

- Анотація:

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

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

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

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



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