[article]
| Titre : |
Maths et informatique : regards croisés |
| Type de document : |
texte imprimé |
| Editeur : |
Archimède, 2014 |
| Article : |
p.23-40 |
| Note générale : |
Bibliographie, webographie. |
in Tangente. Hors-série (Paris) > 052 (02/2014)
| Descripteurs : |
informatique
|
| Mots-clés : |
mathématiques |
| 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. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article]
|
Maths et informatique : regards croisés
In Tangente. Hors-série (Paris), 052 (02/2014), p.23-40
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.
|
| |
Maths et informatique : regards croisés / Archimède (2014) in Tangente. Hors-série (Paris), 052 (02/2014)