Algorithmique algébrique / Naudin, P.

Public ISBD Titre : Algorithmique algébrique : avec exercices corrigés Type de document : texte imprimé Auteurs : Naudin, P. ; Quitté, C. Editeur : Paris : Masson Année de publication : 1992 Collection : Logique Mathématiques Informatique num. 08 Importance : xv - 469 p. ISBN/ISSN/EAN : 978-2-225-82703-7 Langues : Français Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 00-XX General:00AXX General and miscellaneous specific topics:00A07 Problem books 13-XX Commutative rings and algebras:13-01 Instructional exposition (textbooks, tutorial papers, etc.) Index. décimale : 104I Algorithmique algébrique : avec exercices corrigés [texte imprimé] / Naudin, P. ; Quitté, C. . - Paris : Masson, 1992 . - xv - 469 p.. - (Logique Mathématiques Informatique; 08) . ISBN : 978-2-225-82703-7 Langues : Français Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 00-XX General:00AXX General and miscellaneous specific topics:00A07 Problem books 13-XX Commutative rings and algebras:13-01 Instructional exposition (textbooks, tutorial papers, etc.) Index. décimale : 104I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11264	104I04	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible

Calcul formel : mode d'emploi / Gomez, Claude

Public ISBD Titre : Calcul formel : mode d'emploi : exemples en Maple Type de document : texte imprimé Auteurs : Gomez, Claude ; Paul Zimmermann ; Salvy, B. Editeur : Paris : Masson Année de publication : 1995 Collection : Logique Mathématiques Informatique num. 13 Importance : xii - 327 p. ISBN/ISSN/EAN : 978-2-225-84780-6 Langues : Français Index. décimale : 104I Calcul formel : mode d'emploi : exemples en Maple [texte imprimé] / Gomez, Claude ; Paul Zimmermann ; Salvy, B. . - Paris : Masson, 1995 . - xii - 327 p.. - (Logique Mathématiques Informatique; 13) . ISBN : 978-2-225-84780-6 Langues : Français Index. décimale : 104I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1777	104I01	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible
12616	104I01	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible
12652	104I01	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Exclu du prêt

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 : Éd. de l'École polytechnique Année de publication : 2010 Collection : Informatique Importance : 193 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 104I Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : Éd. de l'École polytechnique, 2010 . - 193 p. ; 24 cm. - (Informatique) . ISBN : 978-2-7302-1569-5 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 104I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21099	104I31	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible

Groupes finis / Berline, Nicole

Public ISBD Titre : Groupes finis : Journées mathématiques X-UPS 2000 Type de document : texte imprimé Auteurs : Berline, Nicole, Editeur scientifique ; Sabbah, Claude, Editeur scientifique Editeur : Ecole Polytechnique Année de publication : 2005 Importance : v - 95 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-0751-5 Langues : Français Mots-clés : groups  algorithms  programming Index. décimale : 104I Groupes finis : Journées mathématiques X-UPS 2000 [texte imprimé] / Berline, Nicole, Editeur scientifique ; Sabbah, Claude, Editeur scientifique . - [S.l.] : Ecole Polytechnique, 2005 . - v - 95 p. ; 24 cm. ISBN : 978-2-7302-0751-5 Langues : Français Mots-clés : groups  algorithms  programming Index. décimale : 104I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20088	104I24	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible
20089	104I24	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible
20090	104I24	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible

Guide du calcul / Connan, Guillaume

Public ISBD Titre : Guide du calcul : avec les logiciels libres, XCAS, Scilab, Bc, Gp, GnuPlot, Maxima, MuPAD Type de document : texte imprimé Auteurs : Connan, Guillaume ; Grognet, Stéphane Editeur : Paris : Dunod Année de publication : 2008 Importance : xii - 303 p. ISBN/ISSN/EAN : 978-2-10-051619-3 Langues : Français Mots-clés : logiciels libres Index. décimale : 104I Guide du calcul : avec les logiciels libres, XCAS, Scilab, Bc, Gp, GnuPlot, Maxima, MuPAD [texte imprimé] / Connan, Guillaume ; Grognet, Stéphane . - Paris : Dunod, 2008 . - xii - 303 p. ISBN : 978-2-10-051619-3 Langues : Français Mots-clés : logiciels libres Index. décimale : 104I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17870	104I14	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible
30032	LAREMA/CON	imprimé / autre	Fédération FR 2962 - Angers	Angers Ouvrages	Disponible

Introduction à Scilab / Grégoire Allaire

Permalink

Introduction à la théorie des langages de programmation / Gilles Dowek

Permalink

Maple sugar : une initiation progressive à Maple / Le Bris, Guy

Permalink

Matériel et logiciel T.1 / Nolin, Louis

Permalink

Matériel et logiciel T. 2 / Nolin, Louis

Permalink

Mathémathiques pour l'informatique / Arnold, André

Permalink

Mathematica. T. I / Jacqueline Zizi

Permalink

Mathématiques appliquées L3 / Jacques-Arthur Weil

Permalink

Mathématiques discrètes et informatique / Xuong, N. H.

Permalink

Mathématiques, physique et informatique au fil des TIPE / Laurent Decreusefond 

Permalink

---

page /3