| Titre : | Maths et informatique : regards croisés (2014) |
| Type de document : | Article : texte imprimé |
| Dans : | Tangente. Hors-série (Paris) (052, 02/2014) |
| Article en page(s) : | p.23-40 |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Informatique [UNESCO] 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. |
| Note de contenu | Bibliographie, webographie. |
| Nature du document : | documentaire |
| Ancien numéro de notice : | MF14052811521855 |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 19875 | PER | Périodique | CDI | CDI- rdc | Disponible |