Данные Dubline Core

DC.Title:
Использование SMT-решателя для генерации случайных параметров задач по линейной алгебре
DC.Title.Alternative
DC.Creator

Морозько Андрей Дмитриевич

DC.Subject
22.17
DC.Subject.keyword

линейная алгебра, Математика, SMT-решатель, MicrosoftZ3, генерация случайных чисел, генерация параметров задач, системы онлайн тестирования знаний, ББК 22.143

DC.Description.abstract

В работе описан метод генерации параметров математических задач на примере создания системы линейных уравнений. Описанный метод позволяет создавать задачи с псевдослучайными параметрами, удовлетворяющими заданным ограничением. Для получения значений используется SMT-решательMicrosoftZ3.

DC.Description.tableOfContents
DC.Publisher.CorporateName
Издательство ПетрГУ
DC.Publisher.CorporateName.Address
DC.Contributor
DC.Type
Text.Article
DC.Format
PDF
DC.Identifier
http://elibrary.petrsu.ru/books/37196
DC.Source
http://elibrary.petrsu.ru/books/37196
DC.Language
Русский
DC.Coverage

DC.Rights
Петрозаводский государственный университет