Nous avions déjà attiré votre attention sur une très bonne introduction aux automates cellulaires parue sur le site Interstices. Voici un autre article remarquablement intéressant traitant de ce même sujet, toujours sur le site Interstices. "Les automates...

Qu'est-ce que la vie ? Certains phénomènes calculables peuvent-ils être considérés comme vivants ? Ce n'est pas l'objet de cet article que d'y répondre, mais de vous introduire à un domaine de l'informatique théorique qui se situe précisément à la limite...

Dans un très intéressant article publié sur le site d'Interstices, Michel Beaudouin-Lafon revient sur 40 ans de progrès en matière d'interfaces hommes-machines, abordant l'apparition de la souris en 1968, de l'interface graphique moderne avec l'ordinateur...

Si elle est complètement détaillée, une preuve se ramène à l'utilisation de règles logiques, dont la correction est précisément définie de manière syntaxique : c'est là une des caractéristiques du raisonnement mathématique. Réussir cette opération en...