Syntax and semantics in algebra

Abstract : 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.
Type de document :
Communication dans un congrès
Proceedings of the 12th ICMI Study Conference. The University of Melbourne, 2001, Australia. 12 p., 2001
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00962023
Contributeur : Denis Bouhineau <>
Soumis le : mardi 25 mars 2014 - 14:59:45
Dernière modification le : jeudi 3 mai 2018 - 15:18:04
Document(s) archivé(s) le : mercredi 25 juin 2014 - 10:47:16

Fichier

2001_APLUSIX_ICMI2001.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00962023, version 1

Citation

Jean-François Nicaud, Denis Bouhineau, Jean-Michel Gélis. Syntax and semantics in algebra. Proceedings of the 12th ICMI Study Conference. The University of Melbourne, 2001, Australia. 12 p., 2001. 〈hal-00962023〉

Partager

Métriques

Consultations de la notice

273

Téléchargements de fichiers

209