Автоматизированная обучающая система "Доказательство утверждений для множеств"

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

Full description

Bibliographic Details

Published in:	Современные информационные технологии и IT-образование Vol. 15; no. 4
Main Authors:	Рублев, В.С., Вахмянин, Д.Р.
Format:	Journal Article
Language:	Russian
Published:	23.12.2019
ISSN:	2411-1473
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!