Les petits cailloux : une approche modèle-théorique de l'algorithmie / Bruno, Poizat [ Livre]

Auteur principal: Poizat, BrunoLangue: Français ; de l'oeuvre originale, Français.Publication : Lyon : Aléas, 1995Description : 219 pagesISBN: 2908016583.Collection: Nur al-Mantiq wal-Ma'rifah, 3Classification: F Informatique théoriqueRésumé: Nur-al-Mantiq wal-Ma'rifah croit au caractère universel des mathématiques ; c'est pour cela qu'elle publie des textes écrits dans des langues autres que celle où sont imprimés les dollars. Nur-al-Mantiq wal-Ma'rifah croit que la diversité des langues fait partie de patrimoine de l'humanité; c'est pour cela qu'elle oeuvre pour que cet héritage ne soit pas relégué au rang du folklore. Nur-al-Mantiq wal-Ma'rifah croit au caractère libérateur du discours rationnel ; c'est pour cette raison qu'elle combat l'imposition d'un idiome liturgique obligé, qui transforme la communauté des mathématiciens en une société bien-pensante et normalisée, encore plus réac que les cathos avant Vatican II. Les mecs, et les petites nanas, voilà le numéro trois ! 1. Quelques algorithmes 2. Termes et circuits booléens 3. Fonctions et relations : termes et formules libres 4. Calculs en temps polynomial 5. Problèmes booléens 6. Classes de complexité existentielles 7. Exemples 8. Questions d'espace.Sujet - Nom commun: Boole, Algèbre de | Algorithmes
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F POI (Browse shelf) Available F Informatique théorique 00000421

Nur-al-Mantiq wal-Ma'rifah croit au caractère universel des mathématiques ; c'est pour cela qu'elle publie des textes écrits dans des langues autres que celle où sont imprimés les dollars. Nur-al-Mantiq wal-Ma'rifah croit que la diversité des langues fait partie de patrimoine de l'humanité; c'est pour cela qu'elle oeuvre pour que cet héritage ne soit pas relégué au rang du folklore. Nur-al-Mantiq wal-Ma'rifah croit au caractère libérateur du discours rationnel ; c'est pour cette raison qu'elle combat l'imposition d'un idiome liturgique obligé, qui transforme la communauté des mathématiciens en une société bien-pensante et normalisée, encore plus réac que les cathos avant Vatican II. Les mecs, et les petites nanas, voilà le numéro trois !
1. Quelques algorithmes
2. Termes et circuits booléens
3. Fonctions et relations : termes et formules libres
4. Calculs en temps polynomial
5. Problèmes booléens
6. Classes de complexité existentielles
7. Exemples
8. Questions d'espace

Powered by Koha