DeepAI AI Chat
Log In Sign Up

Teaching and learning mathematics with Prolog

08/23/2021
by   Tom Bensky, et al.
Cal Poly
0

Procedural computer languages have long been used in many aspects of mathematics pedagogy. In this work, we examine the use of Prolog, a declarative language for the same purpose. We find the facts+rules aspect of Prolog to be a novel platform for developing coding lessons to supplement the learning of mathematics. Specific examples are presented.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/22/2022

Conceptual Mathematics via Literate Programming

Recent developments in computer programming and in mathematics suggest t...
08/05/2018

Mathematics as information compression via the matching and unification of patterns

This paper describes a novel perspective on the foundations of mathemati...
08/30/2020

The prestige and status of research fields within mathematics

While the “hierarchy of science” has been widely analysed, there is no c...
04/17/2020

A review on mathematical strength and analysis of Enigma

In this review article, we discussed the Mathematics and mechanics behin...
07/03/2019

GeoGebra e situações que envolvem modelação numa abordagem STEAM

In order to implement a STEAM approach including the use of technology, ...
06/18/2019

The Mathematical Specification of the Statebox Language

This document defines the mathematical backbone of the Statebox programm...