Constructing and Implementing Algorithms for the Teaching of Propositional Calculus by Computer.

Autor/in	Clark, Kevin Andrew
Titel	Constructing and Implementing Algorithms for the Teaching of Propositional Calculus by Computer.
Quelle	(1991), (35 Seiten) PDF als Volltext kostenfreie Datei Verfügbarkeit
Sprache	englisch
Dokumenttyp	gedruckt; online; Monographie
Schlagwörter	Algorithms; Calculus; College Mathematics; Computer Assisted Instruction; Computer Uses in Education; Higher Education; Mathematical Logic; Mathematics Education; Mathematics Instruction; Mathematics Skills; Programming; Proof (Mathematics); Skill Development + Suchen Sie Ihr Suchwort? Algorithm; Algorithmus; Analysis; Differenzialrechnung; Infinitesimalrechnung; Integralrechnung; Computer based training; Computerunterstützter Unterricht; Computernutzung; Hochschulbildung; Hochschulsystem; Hochschulwesen; Mathematical logics; Mathematische Logik; Mathematische Bildung; Mathematics lessons; Mathematikunterricht; Mathmatics achievement; Mathematics ability; Mathematische Kompetenz; Programmierung; Kompetenzentwicklung; Qualifikationsentwicklung
Abstract	The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the proof evaluation. This assistance exists in the form of correcting user input and giving hints that will lead to the correct evaluation of the proof. The program also has the ability to suggest the correct axiom to use in a line of proof. The program is able to evaluate any proof that uses the elementary rules of logic, such as logical equivalence, logical implication, and rules of inference. (Author)
Erfasst von	ERIC (Education Resources Information Center), Washington, DC