?

Details
Table Card RUSMARC
Title: Алгоритм автоматической проверки правильности преобразований комбинаторных выражений: магистерская диссертация: 01.04.02
Creators: Кацман Виктор Игоревич
Scientific adviser: Новиков Федор Александрович
Organization: Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Imprint: Санкт-Петербург, 2017
Collection: Выпускные квалификационные работы; Общая коллекция
Subjects: Комбинаторика (мат. ); учебный процесс; символьные выражения; верификация
UDC: 004.588:519.1(043.3)
LBC: 74.027.9я031
Document type: Master graduation qualification work
File type: PDF
Language: Russian
Level of education: Master
Speciality code (FGOS): 01.04.02
Speciality group (FGOS): 010000 - Математика и механика
DOI: 10.18720/SPBPU/2/v17-3302
Rights: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key: RU\SPSTU\edoc\44563

Allowed Actions: –

Action 'Read' will be available if you login or access site from another network Action 'Download' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

Выполнен анализ возможностей применения автоматизации для улучшения учебного процесса. Продумана классификация задач, встречающихся студентам в образовательном процессе. Построена модель языка для задания выражений и переходов между ними. Введено понятие комбинаторных символьных выражений. Разработаны алгоритмы, позволяющие проверять корректность преобразований над комбинаторными символьными выражениями. Проведены эксперименты реализованной программы автоматической проверки правильности решения задач, обработаны результаты. Оценена степень понятности разработанного языка и применимость системы.

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users SPbPU Read Print Download
-> Internet Anonymous

Usage statistics

stat Access count: 233
Last 30 days: 7
Detailed usage statistics