Poster un commentaire à la suite de l’article...

mercredi 27 mai 2015
par  Alain BUSSER , Florian TOBÉ

Construction du nombre en λ-calcul

Représenter le nombre 5 par 5 bâtons (comme ceci : ||||| ) peut être fait de plusieurs manières dans les fondements des mathématiques. Le λ-calcul quand à lui permet de modéliser la subitisation.

En réponse à...

Logo de eti
jeudi 29 avril 2021 à 12h45 - par  eti

Bonjour, même si je n’ai pas cherché à comprendre les crocodiles, j’ai enfin compris la représentation des nb entiers et du successeur. Bravo, malgré plusieurs cours, pdf et page web, c’est la première fois que c’est clair en terme de signification et de calcul. Merci

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.