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

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

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

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

програмування, программирование

- Анотація:

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

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

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

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



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