Publication Date
In 2025 | 0 |
Since 2024 | 0 |
Since 2021 (last 5 years) | 0 |
Since 2016 (last 10 years) | 0 |
Since 2006 (last 20 years) | 3 |
Descriptor
Source
Mathematics Teacher | 2 |
Information Systems Education… | 1 |
International Journal for… | 1 |
International Journal of… | 1 |
Teaching Children Mathematics | 1 |
Author
Publication Type
Journal Articles | 6 |
Guides - Classroom - Teacher | 4 |
Reports - Descriptive | 3 |
Computer Programs | 1 |
Education Level
Higher Education | 1 |
Postsecondary Education | 1 |
Audience
Teachers | 6 |
Practitioners | 3 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
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
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
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

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

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)

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