|
|
|
|
Информационная карта ЭР
| Регистрационный номер: | 4061 |
|---|
| Дата регистрации: | 22.05.2023 |
|---|
| Полное название: | Прикладная программа "Программа, реализующая построение матрицы предикатов" |
|---|
| Краткое название: | ПП "Predicate_matrix" |
|---|
| Версия: | 1.0 |
|---|
| Тип ЭР: | Прикладная программа |
|---|
| Размер дистрибутива (МБ): | 1 |
|---|
| Дата окончания разработки: | 15.05.2023 |
|---|
| Кол-во страниц в РТО: | 8 |
|---|
| Индекс УДК: | 004.4.421 |
|---|
| Рецензент: | Костин Владимир Николаевич, доцент кафедры программного обеспечения вычислительной техники и автоматизированных систем, доктор технических наук |
|---|
| Мотивированное заключение: | Кафедра программного обеспечения вычислительной техники и автоматизированных систем |
|---|
| Аннотация: | Прикладная программа "Программа, реализующая построение матрицы предикатов" является программным средством, выполняющим поиск области истинности предикатов, заданных пользователем, построение матрицы предикатов на заданном множестве чисел и поиск значений возможных предикатов с квантификациями. |
|---|
| Целевая аудитория (УГСН): | |
|---|
| Уровень образования: | Высшее образование |
|---|
| Ступени образования: | Бакалавр |
|---|
| Правообладатель: | Оренбургский государственный университет |
|---|
| Автор(ы): | Щудро Игорь Анатольевич, Волкова Алина Александровна, Четвергов Алексей Александрович |
|---|
| Дисциплины: | Программирование задач дискретной математики |
|---|
| Грифование: | |
|---|
| Внедрено: | Институт математики и информационных технологий |
|---|
| Мультимедиа: | |
|---|
| Зарегистрировано: | Дата регистрации: 10.07.2023, № государственной регистрации: 623071000061-4 |
|---|
| Область применения: | Физико-математические науки, Технические науки |
|---|
| Ключевые слова: | построение матрицы предикатов, область истинности, квантификации |
|---|
| Ссылка для скачивания: | Дистрибутив электронного ресурса |
|---|
форма поиска
|
|
|
