| Titre : | Logique et informatique (2003) |
| Type de document : | Article : texte imprimé |
| Dans : | Tangente. Hors série (15, 15-28 février 2003) |
| Article : | 35 p. |
| Descripteurs : | |
| Mots-clés: | Curry-Howard |
| Résumé : |
Pour accomplir une tâche, une machine ne peut se fonder sur la logique humaine, la logique mathématique est nécessaire, c'est pourquoi l'informatique est née : Les circuits logiques, calculabilité, indécidabilité et complexité, programmer en logique: le Prolog, géométrie automatique, la logique floue, la correspondance de Curry-Howard, syntaxe et sémantique. |
| Nature du document : | documentaire |
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