Syntax and semantics in algebra
Résumé
This paper is the first chapter of a cognitive, didactic and computational theory of algebra that presents, in a formal way, well known elements of mathematics (numbers, functions and polynomials) as semantic objects, and expressions as syntactic constructions. The link between syntax and semantics is realised by morphisms. The paper highlights preferred semantics for algebra and defines formally algebraic problems.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...