NOUS AVONS LU
sur le Net
 

La gazette de l'INRIA n° 31

Avril 2015 (extrait).

- Construis ta propre machine à calcul universelle... en papier
Alan Turing, en 1936 jette les bases de ce qui deviendra la théorie de la calculabilité en répondant par la négative à la question de savoir si toute proposition peut-être démontrée dans un système formel. Pour cela, il imagina une machine à calcul universelle en papier. Sur le site de l'Espace-Turing, retrouve toutes les explications pour construire « cette machine »...

- MicroAlg, une solution alternative pour commencer à programmer
MicroAlg est un langage de programmation en français dédié à l'algorithmique et à son enseignement*, tout simple avec juste des parenthèses et des guillemets. Une des forces de MicroAlg est qu'elle est utilisable dans un navigateur. On l'utilise à partir d'une interface graphique ou textuelle, mais aussi depuis un éditeur de texte.

Gérer son abonnement (désabonnement|abonnement) : http://www.inria.fr/mecsci

___________________
Association EPI
Mai 2015