Au-delà des mathématiques in Science & vie, 1013 (février 2002)

Public ISBD [article]  inScience & vie > 1013 (février 2002) Titre : Au-delà des mathématiques Type de document : texte imprimé Année : 2002 Article : p. 50-54 Descripteurs : langage algorithmique logique mathématique programmation Résumé : Explications sur la correspondance de Curry-Howard, qui affirme que certaines démonstrations mathématiques correspondent à des programmes informatiques. Les implications de ces recherches dans la compréhension du fonctionnement du cerveau humain. Nature du document : documentaire [article] Au-delà des mathématiques [texte imprimé] . - 2002 . - p. 50-54. in Science & vie > 1013 (février 2002) Descripteurs : langage algorithmique logique mathématique programmation Résumé : Explications sur la correspondance de Curry-Howard, qui affirme que certaines démonstrations mathématiques correspondent à des programmes informatiques. Les implications de ces recherches dans la compréhension du fonctionnement du cerveau humain. Nature du document : documentaire

Varia (en ligne). Logique / Xavier Hubaut / Xavier Hubaut (2002)  

Public ISBD Titre de série : Varia (en ligne) Titre : Logique Type de document : texte imprimé Auteurs : Xavier Hubaut, Auteur Editeur : Xavier Hubaut, 2002 Description : (env. 3p.) Descripteurs : logique mathématique Résumé : La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme). Nature du document : documentaire Niveau : Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm Varia (en ligne). Logique [texte imprimé] / Xavier Hubaut, Auteur . - Xavier Hubaut, 2002 . - (env. 3p.). Descripteurs : logique mathématique Résumé : La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme). Nature du document : documentaire Niveau : Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm

---

1 (1 - 2 / 2)