GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (6)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Gilles Dowek, Auteur ; Jean-Jacques Lévy, Auteur | Palaiseau (Essonne) : Ecole polytechnique | Informatique | 2006Les différents outils qui permettent de penser, définir et implémenter les langages de programmation les plus utilisés sont présentés avec une vision unifiée des différents formalismes (sémantique opérationnelle à petits pas, à grands pas et sém[...]
texte imprimé
Une démonstration est un raisonnement construit à l'aide d'axiomes et de règles de déduction. Dans les années 1970, le raisonnement prend le pas sur le calcul, ce qui remet en cause la notion de démonstration. Celle-ci renouvelle le dialogue des[...]
texte imprimé
texte imprimé
Des connaissances indispensables pour lire et comprendre un sondage.
texte imprimé
Jean-Michel Alimi, Auteur ; Gilles Dowek, Auteur ; Laurence Rolland, Auteur ; Nayla Farouki, Metteur en scène, réalisateur | Paris : le Pommier | 1999Quelques moments forts de l'histoire de la science où les scientifiques ont dit : c'est impossible. Certains de ces impossibles ont fermé des portes à la recherche, d'autres en ont ouvert. Parfois, décréter qu'un impossible est possible change l[...]
texte imprimé
Sous forme de jeux, à pratiquer seul ou en famille, des problèmes : à quelle distance se trouve la ligne d'horizon ? Quelles figures géométriques peut-on former avec des coquillages ? Existe-t-il des bouées multicolores ? Une introduction aux th[...]
