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