 Нікітченко, М. С. Рубрикатор НБУВ: Шифр журнала: Анотація: Досліджено семантичні моделі першопорядкових логік V-квазіарних предикатів із 1-елементними предметними областями - V-сингулярні семантичні моделі. Описано квазіарні функції та предикати, задані на V-сингулярних іменних множинах, такі функції та предикати названі V-сингулярними. Розглянуто композиції V-сингулярних функцій та предикатів. Досліджено підкласи монотонних V-сингулярних функцій та предикатів, наведено особливості однозначних монотонних V-сингулярних предикатів. !oprip481_H.pft: FILE NOT FOUND! Дод. точки доступу: Шкільняк, С. С.; Шкільняк, О. С. |