Automated Teaching System “Sets” (Research for Organizing the 1st Part of the Project)

DOI10.18255/1818-1015-2021-1-90-103OpenAlexW3138901634MaRDI QIDQ5870847

Maksim D. Kondakov, V. S. Rublev

Publication date: 24 January 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais737

zbMATH Keywords

discrete setscomputer learningset algebracorrectness controlformula derivationnumber of set elementsstatements for setsstep-by-step proof

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03) Sets, relations, set theory (educational aspects) (97E60)

Cites Work

• Unnamed Item
• Modern Computer Algebra
• Proof Technology in Mathematics Research and Teaching

This page was built for publication: Automated Teaching System “Sets” (Research for Organizing the 1st Part of the Project)