Прикладная программа "Программа, реализующая построение матрицы предикатов"
предикат матрица построение реализация программа
Прикладная программа "Программа, реализующая построение матрицы предикатов" является программным средством, выполняющим поиск области истинности предикатов, заданных пользователем, построение матрицы предикатов на заданном множестве чисел и поиск значений возможных предикатов с квантификациями.
в образовательной деятельности и научной сфере
Игорь
Щудро
Анатольевич
Доцент
Кандидат технических наук
Доцент
-
-
-
-
РОССИЯ
Сергей
Летута
Николаевич
Проректор по научной работе
РОССИЯ
20.15.05
Информационные службы, сети, системы в целом
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
Игорь
Щудро
Анатольевич
РОССИЯ
ОРЕНБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, ОГУ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ОРЕНБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
1025601802698
СЕРГЕЙ
МИРОШНИКОВ
АЛЕКСАНДРОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения
ОРЕНБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, ОГУ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ОРЕНБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
1025601802698
СЕРГЕЙ
МИРОШНИКОВ
АЛЕКСАНДРОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения