Данные Dubline Core

DC.Title: Использование SMT-решателя для генерации случайных параметров задач по линейной алгебре  
DC.Title.Alternative  
DC.CreatorМорозько Андрей Дмитриевич
 
DC.Subject.keywordлинейная алгебра, Математика, SMT-решатель, MicrosoftZ3, генерация случайных чисел, генерация параметров задач, системы онлайн тестирования знаний,  
DC.Subject4
22.1
 
DC.Description.abstractВ работе описан метод генерации параметров математических задач на примере создания системы линейных уравнений. Описанный метод позволяет создавать задачи с псевдослучайными параметрами, удовлетворяющими заданным ограничением. Для получения значений используется SMT-решательMicrosoftZ3.  
DC.Description.tableOfContents  
DC.Publisher.CorporateNameИздательство ПетрГУ  
DC.Publisher.CorporateName.Address  
DC.Contributor  
DC.TypeData
 
DC.FormatPDF
 
DC.Identifierhttp://elibrary.karelia.ru/book.shtml?id=37196
DC.Sourcehttp://elibrary.karelia.ru/book.shtml?id=37196
DC.LanguageРусский
 
DC.Coverage  
DC.RightsПетрозаводский государственный университет