|
Résumé :
|
Dossier consacré aux liens entre informatique et mathématiques. La mathématisation de la logique avec l'algèbre de Boole. Syllogismes et carré logique. De la récurrence en mathématiques à la récursivité en informatique, les fonctions récursives. Exemples d'expérimentations mathématiques grâce à l'informatique. Les automates cellulaires : le jeu de la vie de John Horton Conway. Les outils de la démonstration assistée par ordinateur : l'assistant de preuve (logiciel Coq), le démonstrateur automatique (Alt-Ergo), la preuve de programme (logiciel Why3). MATLAB, logiciel de calcul numérique interactif ; Cabri, logiciel de géométrie interactive. Langages rationnels et automates finis ; les applications linguistiques.
|
