| Titre : | Maths et informatique : regards croisés (2014) |
| Type de document : | Article : texte imprimé |
| Dans : | Tangente. Hors série (052, 02/2014) |
| Article : | p.23-40 |
| Note générale : | Bibliographie, webographie. |
| Langues: | Français |
| Descripteurs : | |
| 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 |
CDI Lycée Jeanne d'Arc
Bienvenue sur le portail PMB du CDI du lycée Jeanne d'Arc de Pontivy
Accueil
Se connecter
Adresse
CDI Lycée Jeanne d'Arc6, rue Théodore Botrel
Pontivy
France