Automated Training System "Proof of Statements for the Set"
The issues of construction of automated training system "Proof of Statements for Sets" are investigated, which will allow the student to master one of the first topics of discipline "Discrete mathematics" and develop logical and mathematical thinking in this direction. The system...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
The Fund for Promotion of Internet media, IT education, human development «League Internet Media»
2019-12-01
|
| Series: | Современные информационные технологии и IT-образование |
| Subjects: | |
| Online Access: | http://sitito.cs.msu.ru/index.php/SITITO/article/view/549 |