Maths et informatique : regards croisés

Dans le périodique : Tangente. Hors-série (Paris), n°052 (02/2014)
• Pages : p.23-40
• • Nature du document : documentaire
  • Note générale : Bibliographie, webographie.
  • 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.

• • Descripteurs : informatique
  • Mots-clés : mathématiques