Arithmétique et systèmes de réécriture

St-Amant, Patrick (2007). « Arithmétique et systèmes de réécriture » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en mathématiques.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (9MB)

Résumé

Nous présentons un aperçu de la théorie des systèmes de réécriture et un survol de la littérature concernant la modélisation de l'arithmétique par des systèmes de réécriture de termes. Nous proposons deux nouveaux systèmes de réécriture pour l'arithmétique. Le premier système permet l'addition, la soustraction, la multiplication et la division de nombres rationnels pour une base arbitraire. Le deuxième système est un système orthogonal qui permet l'addition, la soustraction et la multiplication de nombres rationnels pour une base arbitraire. De plus, nous présentons un système de réécriture qui modélise un système de numération mixte.

Type:	Mémoire accepté
Informations complémentaires:	Le mémoire a été numérisé tel que transmis par l'auteur.
Directeur de thèse:	Bélair, Luc
Mots-clés ou Sujets:	Système de réécriture, Arithmétique
Unité d'appartenance:	Faculté des sciences > Département de mathématiques
Déposé par:	Service des bibliothèques
Date de dépôt:	27 oct. 2015 13:37
Dernière modification:	27 oct. 2015 13:37
Adresse URL :	http://archipel.uqam.ca/id/eprint/7363

Modifier les métadonnées (propriétaire du document)

Statistiques