Presentation | 2008-10-17 A Development of CMS/Moodle Assignment Module for Interactive Mathematical Exercises by using Mizar Proof Checking System in Formalized Mathematics Tatsuo MIWA, Katsumi WASAKI, Noboru ENDO, Yasunari SHIDAMA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We have developed the module which is working on Moodle known as Open Source CMS(Course Management System) or LMS(Learning Management System), which aim to learn the formalized mathematics with Mizar language. This module helps students learning how to write Mizar article and fostering mathematical ability. In this article, we report the function of this module and making the sample question being used this module which is on the proof of the equivalent of digital circuit between two multiplication circuits. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | e-learning / distance learning / LMS Moodle / formalized mathematics / Mizar proof checker / assignment generation |
Paper # | ET2008-41 |
Date of Issue |
Conference Information | |
Committee | ET |
---|---|
Conference Date | 2008/10/10(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Educational Technology (ET) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Development of CMS/Moodle Assignment Module for Interactive Mathematical Exercises by using Mizar Proof Checking System in Formalized Mathematics |
Sub Title (in English) | |
Keyword(1) | e-learning |
Keyword(2) | distance learning |
Keyword(3) | LMS Moodle |
Keyword(4) | formalized mathematics |
Keyword(5) | Mizar proof checker |
Keyword(6) | assignment generation |
1st Author's Name | Tatsuo MIWA |
1st Author's Affiliation | Alphanet Corporation() |
2nd Author's Name | Katsumi WASAKI |
2nd Author's Affiliation | Shinshu University |
3rd Author's Name | Noboru ENDO |
3rd Author's Affiliation | Gifu National College of Technology |
4th Author's Name | Yasunari SHIDAMA |
4th Author's Affiliation | Shinshu University |
Date | 2008-10-17 |
Paper # | ET2008-41 |
Volume (vol) | vol.108 |
Number (no) | 247 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |