Les démonstrations et les algorithmes / Gilles Dowek

Public ISBD Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : les Éd. de l'École polytechnique Année de publication : impr. 2010 ISBN/ISSN/EAN : 978-2-7302-1569-5 Note générale : La 4ème de couv. porte : "Informatique" Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Mots-clés : Logique symbolique et mathématique  Algorithmes Index. décimale : 511 Principes généraux des mathématiques Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : les Éd. de l'École polytechnique, impr. 2010. ISBN : 978-2-7302-1569-5 La 4ème de couv. porte : "Informatique" Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Mots-clés : Logique symbolique et mathématique  Algorithmes Index. décimale : 511 Principes généraux des mathématiques

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9782730215695MIT001	511/077	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9782730215695MIT002	511/077	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9782730215695MIT003	511/077	Livre	Maths&Informatique	Fonds mathématiques	Disponible

---

1 (1 - 1 / 1)