Детальная информация
| Название | Модели и методы автоматической проверки решений задач: специальность 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук |
|---|---|
| Авторы | Кацман Виктор Игоревич |
| Научный руководитель | Новиков Федор Александрович |
| Организация | Санкт-Петербургский политехнический университет Петра Великого |
| Выходные сведения | Санкт-Петербург, 2022 |
| Электронная публикация | Санкт-Петербург |
| Коллекция | Научные работы аспирантов/докторантов ; Общая коллекция |
| Тематика | Вычислительная математика ; Алгоритмы ; символьные выражения ; логические утверждения ; цепочка преобразований ; автоматическая проверка ; язык математических выкладок |
| УДК | 519.6 ; 510.5 ; 004.421 |
| Тип документа | Автореферат |
| Язык | Русский |
| Код специальности ОКСВНК | 05.13.11 |
| Группа специальностей ОКСВНК | 050000 - Технические науки |
| DOI | 10.18720/SPBPU/2/r22-58 |
| Права доступа | Доступ из локальной сети ФБ СПбПУ (чтение) |
| Ключ записи | RU\SPSTU\edoc\68260 |
| Дата создания записи | 16.05.2022 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
Работа посвящена моделям и методам автоматической пошаговой проверки решений учебных задач на преобразование формул. Разработаны алгоритм автоматической проверки и интерпретируемый язык записи цепочек символьных преобразований, поддерживающие итераторные функции, вывод дополнительных правил преобразования, а также системы и совокупности логических утверждений. Предложенный алгоритмы автоматической проверки основывается на комбинации эффективного перебора правил и метода вычислительных экспериментов. Реализация выполнена в рамках программного комплекса, предназначенного для автоматической пошаговой проверки решений учебных задач.
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Анонимные пользователи |
|
- На правах рукописи
Количество обращений: 0
За последние 30 дней: 0
