Программа для моделирования таблиц истинности по курсу дискретной математики
| Наименование РИД | Программа для моделирования таблиц истинности по курсу дискретной математики |
|---|---|
| Реферат | Программный модуль предназначен для автоматического моделирования таблиц истинности логических выражений по заданным входным данным. Входной информацией является логическое выражение, представленное в виде строки, которое может содержать переменные (одиночные строчные латинские буквы) и стандартные логические операторы (отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, исключающее ИЛИ). Выходная информация – полная таблица истинности для введенного выражения, включающая значения всех переменных, промежуточных подвыражений и итоговый результат логической функции для каждой комбинации входных значений. |
| Возможные направления использования | Возможное направление использования: для автоматического моделирования таблиц истинности логических выражений по заданным входным данным. |
| Количество опытных образцов | 0 |
| Количество просмотров | 3 |
| Наличие дополнительных файлов | True |
| Использование РИД правообладателем | False |
| Внешнее использование РИД | False |
| НИОКТР (JSON) | {} |
| ИКСИ (JSON) | [] |
| ИКСПО (JSON) | [] |
| ОЭСР (JSON) | [] |
| Дата первого статуса | 2025-10-27T09:51:57.680467+00:00 |
| Предполагаемый тип результата | Программа для ЭВМ |
| Ожидаемая роль | Исполнитель |
| Заказчик | ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "БАШКИРСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ ИМ. М. АКМУЛЛЫ" |
| Руководитель работы | Филиппова Анна Сергеевна |
| Руководитель организации | Сагитов Салават Талгатович |
| Регистрационный номер НИОКТР | — |
| Последний статус | Подтверждена, 625110100124-9, 2025-11-01 12:02:58 UTC |
| ОКПД | Услуги в области высшего образования прочие - бакалавриат |
| Ключевые слова | программный модуль; таблица истинности; отрицание; конъюнкция; дизъюнкция; импликация; эквиваленция |
| Исполнители | ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "БАШКИРСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ ИМ. М. АКМУЛЛЫ" |
| Авторы | Филиппова Анна Сергеевна; Биишев Сынбулат Салаватович; Берденев Есен Русланович |
| Коды тематических рубрик | 14.35.09 - Методика преподавания учебных дисциплин в учреждениях высшего профессионального образования |
| OESR | Образование общее (в том числе обучение, педагогика, дидактика) |
| Приоритеты научно-технического развития | Отсутствует |