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

lundi 22 mars 2010
par  Alain BUSSER

Stage de logique

Notes prises lors du stage de logique animé par René Cori en décembre 2009.

En réponse à...

Logo de Marc JAMBON
mercredi 10 novembre 2010 à 16h54 - par  Marc JAMBON

Il est dommage d’imposer d’emblée la logique classique, on aurait pu préférer la logique intuitionniste ou constructive bien mieux adaptée

pour la géométrie :
voir page 91 à 94
http://www.reunion.iufm.fr/Recherch...

pour la définition du « calculable » :
voir page page 1 et 2
http://www.reunion.iufm.fr/Recherch...

et enfin pour la défintion de la « droite réelle » :
http://www.reunion.iufm.fr/Recherch...

Concernant le plus petit entier d’un ensemble non vide, voir Aritmétique en terminale S
commentaire du 31 octobre 2010 :
http://www.reunion.iufm.fr/Recherch...

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.