NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 6 results Save | Export
Peer reviewed Peer reviewed
Direct linkDirect link
Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro – International Journal for Technology in Mathematics Education, 2015
Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…
Descriptors: Mathematical Formulas, Problem Solving, Teaching Methods, Mathematical Logic
Peer reviewed Peer reviewed
PDF on ERIC Download full text
McMaster, Kirby; Sambasivam, Samuel; Hadfield, Steven; Wolthuis, Stuart – Information Systems Education Journal, 2013
In this paper, we describe how database instructors can teach Relational Algebra and Structured Query Language together through programming. Students write query programs consisting of sequences of Relational Algebra operations vs. Structured Query Language SELECT statements. The query programs can then be run interactively, allowing students to…
Descriptors: Algebra, Programming, Teaching Methods, Database Design
Peer reviewed Peer reviewed
Direct linkDirect link
Schmidt, Karsten – International Journal of Mathematical Education in Science and Technology, 2008
In this paper "Derive" functions are provided for the computation of the Moore-Penrose inverse of a matrix, as well as for solving systems of linear equations by means of the Moore-Penrose inverse. Making it possible to compute the Moore-Penrose inverse easily with one of the most commonly used Computer Algebra Systems--and to have the blueprint…
Descriptors: Programming Languages, Computer Uses in Education, Programming, Algebra
Peer reviewed Peer reviewed
Stover, Donald W. – Mathematics Teacher, 1994
Graphs equations in two variables using a BASIC screen-sweep program that generates solutions to equations by applying the intermediate value theorem. Provides suggestions for investigations that result in graphs of a butterfly, the Cheshire cat, the Trisectrix of Catalna, E. T. waving goodbye, a praying mantis, and others. (MDH)
Descriptors: Algebra, Computer Assisted Instruction, Graphs, High Schools
Peer reviewed Peer reviewed
Martignette-Boswell, Carol; Cuoco, Albert A. – Mathematics Teacher, 1995
Discusses a visual programming language, Function Machine Lab, which helps students with the concept of function using the function machine image. (MKR)
Descriptors: Algebra, Computer Uses in Education, Concept Formation, Functions (Mathematics)
Peer reviewed Peer reviewed
Clements, Douglas H.; Sarama, Julie – Teaching Children Mathematics, 1998
Uses three computer software programs to help students develop algebraic reasoning. Programs include spreadsheets, Logo programming language, and Teasers by Tobbs. (ASK)
Descriptors: Algebra, Computer Software, Computer Uses in Education, Educational Technology