Jasper - a Javascript Proof Editor

dc.creator	Roger Stone
dc.date	2007-02-01T00:00:00Z
dc.date.accessioned	2015-07-20T22:14:53Z
dc.date.available	2015-07-20T22:14:53Z
dc.identifier	1473-7507
dc.identifier	https://doaj.org/article/ceb014f4d27b4c85938041de902624a9
dc.identifier.uri	http://evidence.thinkportal.org/handle/123456789/17191
dc.description	This paper discusses the construction and use of Javascript Gadgets for inclusion in web-based teaching materials. The term gadget is being used loosely to describe a tool that animates or allows interaction with some part of the teaching material that is being presented. In the context of HTML-based teaching material, the programming language Javascript is ideal for producing small client-side interactive gadgets that can be included inline with the teaching material. Jasper is a gadget which supports the user in applying equational reasoning. A series of steps using equational reasoning produces a proof and so the tool qualifies to be called a proof editor. Equational reasoning is loosely described as substituting "equals for equals" and so its rules are presented as equations. Jasper can be used in a wide variety of equational reasoning situations. At its simplest it can be used to teach or remind students about 'school' algebra (using rules like A+B = B+A). It can work with non-ASCII notation if the browser supports the relevant entities (e.g. in boolean algebra P ⇒ Q = ¬ P ∨ Q ). It can be applied in any formal situation where the rules can be expressed as equations.
dc.language	English
dc.publisher	Higher Education Academy Subject Network for Information & Computer Sciences
dc.relation	http://www.ics.heacademy.ac.uk/italics/vol6iss1/jasper.htm
dc.relation	https://doaj.org/toc/1473-7507
dc.source	ITALICS, Vol 6, Iss 1 (2007)
dc.subject	Javascript gadgets
dc.subject	web-based teaching materials
dc.subject	equational reasoning
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.subject	DOAJ:Education
dc.subject	DOAJ:Social Sciences
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.subject	DOAJ:Education
dc.subject	DOAJ:Social Sciences
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.title	Jasper - a Javascript Proof Editor
dc.type	article