-
Ключові слова:
розвиток, развитие ; Теоретичні та методологічні основи програмування ; Проблеми програмування № 2-3 2014 ; предикат, предикат ; квазіарні предикати, квазиарные предикаты ; інформаційні технології, ІТ, информационные технологии, ИТ
-
Анотація:
Досліджено першопорядкові композиційно-номінативні логіки часткових квазіарних предикатів.
-
Є складовою частиною документів:
-
Теми документа
-
УДК // Математична логіка
-
УДК // Програмування комп’ютерів. Комп’ютерні програми
|