Details
| Title | Модели и методы автоматической проверки решений задач: специальность 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук |
|---|---|
| Creators | Кацман Виктор Игоревич |
| Scientific adviser | Новиков Федор Александрович |
| Organization | Санкт-Петербургский политехнический университет Петра Великого |
| Imprint | Санкт-Петербург, 2022 |
| Electronic publication | Санкт-Петербург |
| Collection | Научные работы аспирантов/докторантов; Общая коллекция |
| Subjects | Вычислительная математика; Алгоритмы; символьные выражения; логические утверждения; цепочка преобразований; автоматическая проверка; язык математических выкладок |
| UDC | 519.6; 510.5; 004.421 |
| Document type | Author's Abstract |
| File type | |
| Language | Russian |
| Speciality code (OKSVNK) | 05.13.11 |
| Speciality group (OKSVNK) | 050000 - Технические науки |
| DOI | 10.18720/SPBPU/2/r22-58 |
| Rights | Доступ из локальной сети ИБК СПбПУ (чтение) |
| Record key | RU\SPSTU\edoc\68260 |
| Record create date | 5/16/2022 |
Allowed Actions
–
Action 'Read' will be available if you login or access site from another network
| Group | Anonymous |
|---|---|
| Network | Internet |
Работа посвящена моделям и методам автоматической пошаговой проверки решений учебных задач на преобразование формул. Разработаны алгоритм автоматической проверки и интерпретируемый язык записи цепочек символьных преобразований, поддерживающие итераторные функции, вывод дополнительных правил преобразования, а также системы и совокупности логических утверждений. Предложенный алгоритмы автоматической проверки основывается на комбинации эффективного перебора правил и метода вычислительных экспериментов. Реализация выполнена в рамках программного комплекса, предназначенного для автоматической пошаговой проверки решений учебных задач.
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | Anonymous |
|
Access count: 0
Last 30 days: 0
