A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. Bibliothèque de la Faculté des Sciences
Mathématique > Sciences Ouvrages généraux, Théorie, Philosophie, Voyages et relevés scientifiques > Mathématiques Ouvrages généraux, Théorie, Machines à calculer, Calcul > Logique mathématique, Jeux mathématiques
Complexité et algorithmique avancée / Lavallée, Ivan
Titre : Complexité et algorithmique avancée Type de document : texte imprimé Auteurs : Lavallée, Ivan, Auteur Editeur : Paris : Hermann Année de publication : 2008 Importance : 330p. Présentation : ILL Format : 24x16cm ISBN/ISSN/EAN : 978-2-7056-6726-9 Note générale : bibliographi Langues : Français (fre) Mots-clés : Complexité de calcul (informatique) Complexité et algorithmique avancée [texte imprimé] / Lavallée, Ivan, Auteur . - Paris : Hermann, 2008 . - 330p. : ILL ; 24x16cm.
ISBN : 978-2-7056-6726-9
bibliographi
Langues : Français (fre)
Mots-clés : Complexité de calcul (informatique) Exemplaires
Code-barres Cote Support Localisation Section Disponibilité FS2013/00202 511.8 LAV Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt 46582 08-10-017 Ouvrage Bibliothèque Universitaire Centrale Informatique Exclu du prêt Les démonstrations et les algorithmes / Gilles Dowek
Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek Editeur : Palaiseau : les Éd. de l'École polytechnique Année de publication : 2011 Importance : 193p Présentation : couv. ill. en coul Format : 24x17 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Note générale : Bibliogr Langues : Français (fre) Mots-clés : Logique mathématique Algorithmes Résumé : Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même. Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek . - Palaiseau : les Éd. de l'École polytechnique, 2011 . - 193p : couv. ill. en coul ; 24x17 cm.
ISBN : 978-2-7302-1569-5
Bibliogr
Langues : Français (fre)
Mots-clés : Logique mathématique Algorithmes Résumé : Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité ISA 0650 04-01-245 Ouvrage Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV) Mathématique Disponible ISA 0652 04-01-245 Ouvrage Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV) Mathématique Disponible ISA 0651 04-01-245 Ouvrage Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV) Mathématique Disponible ISA 0649 04-01-245 Ouvrage Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV) Mathématique Disponible ISA 0647 04-01-245 Ouvrage Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV) Mathématique Exclu du prêt ISA 0648 04-01-245 Ouvrage Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV) Mathématique Disponible FS2011/0247-1 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt FS2011/0247-2 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible FS2011/0247-3 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible FS2011/0247-4 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible FS2011/0247-5 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC2014/4522-4 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC2014/4522-5 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC2014/4522-6 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC2014/4522-7 511.3 DOW Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC2014/4522-1 BC.04-06-021 Ouvrage Bibliothèque Universitaire Centrale Mathématique Exclu du prêt BC2014/4522-2 BC.04-06-021 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible BC2014/4522-3 BC.04-06-021 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible Éléments de théorie des graphes / Alain, Bretto
Titre : Éléments de théorie des graphes Type de document : texte imprimé Auteurs : Alain, Bretto, Auteur ; Alain, Faisant, Auteur ; François, Hennecart, Auteur Editeur : Berlin. Heidelberg [etc.] : Springer Année de publication : 2012 Collection : Collection IRIS Importance : 1 vol. (XIX-371 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0280-0 Prix : 55 EUR Note générale : Bibliogr. p. 357. Index Langues : Français (fre) Mots-clés : Graphes, Théorie des Index. décimale : 511.5 BRE Résumé : Cet ouvrage constitue une introduction à la théorie des graphes. La plupart des notions élémentaires et classiques y sont introduites selon une approche originale, précise et rigoureuse. La quasi-totalité des résultats énoncés font l'objet de démonstrations détaillées. L'aspect topologique et l'aspect algébrique, derniers avatars de cette théorie, ont été développés de manière approfondie. La variété des thèmes abordés a pour objectif de conduire le lecteur à appréhender les graphes dans toute leur diversité afin d'en percevoir la puissance en tant qu'outil mathématique.
L'accent a également été mis sur les structures de données et les algorithmes associés aux graphes permettant la programmation d'applications pratiques. Ce livre peut être d'usage courant pour les étudiants en informatique ou en mathématiques du niveau licence et master, en université et en écoles d'ingénieurs. Il pourra aussi être utile aux chercheurs et aux ingénieurs voulant s'approprier rapidement le domaine de la théorie des graphes.Note de contenu : CONCEPTS FONDAMENTAUX
QUELQUES GRAPHES REMARQUABLES
(DI)GRAPHES ET STRUCTURES DE DONNEES
CONNEXITE ET FLOTS DANS LES RESEAUX
GRAPHES PLANAIRES
THEORIE ALGEBRIQUE
COLORATION
COUPLAGE ET FACTORISATION
AUTOMORPHISMES - THEORIE SPECTRALE
AUTRES PERSPECTIVESÉléments de théorie des graphes [texte imprimé] / Alain, Bretto, Auteur ; Alain, Faisant, Auteur ; François, Hennecart, Auteur . - [S.l.] : Berlin. Heidelberg [etc.] : Springer, 2012 . - 1 vol. (XIX-371 p.) : ill., couv. ill. en coul. ; 24 cm. - (Collection IRIS) .
ISBN : 978-2-8178-0280-0 : 55 EUR
Bibliogr. p. 357. Index
Langues : Français (fre)
Mots-clés : Graphes, Théorie des Index. décimale : 511.5 BRE Résumé : Cet ouvrage constitue une introduction à la théorie des graphes. La plupart des notions élémentaires et classiques y sont introduites selon une approche originale, précise et rigoureuse. La quasi-totalité des résultats énoncés font l'objet de démonstrations détaillées. L'aspect topologique et l'aspect algébrique, derniers avatars de cette théorie, ont été développés de manière approfondie. La variété des thèmes abordés a pour objectif de conduire le lecteur à appréhender les graphes dans toute leur diversité afin d'en percevoir la puissance en tant qu'outil mathématique.
L'accent a également été mis sur les structures de données et les algorithmes associés aux graphes permettant la programmation d'applications pratiques. Ce livre peut être d'usage courant pour les étudiants en informatique ou en mathématiques du niveau licence et master, en université et en écoles d'ingénieurs. Il pourra aussi être utile aux chercheurs et aux ingénieurs voulant s'approprier rapidement le domaine de la théorie des graphes.Note de contenu : CONCEPTS FONDAMENTAUX
QUELQUES GRAPHES REMARQUABLES
(DI)GRAPHES ET STRUCTURES DE DONNEES
CONNEXITE ET FLOTS DANS LES RESEAUX
GRAPHES PLANAIRES
THEORIE ALGEBRIQUE
COLORATION
COUPLAGE ET FACTORISATION
AUTOMORPHISMES - THEORIE SPECTRALE
AUTRES PERSPECTIVESExemplaires
Code-barres Cote Support Localisation Section Disponibilité FS2013/0073-2 511.5 BRE Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible Ensembles, relations / C. Jeulin
Titre : Ensembles, relations Type de document : texte imprimé Auteurs : C. Jeulin, Auteur Editeur : Paris : Vuibert Année de publication : 1981 Collection : Le Champ mathématique num. 1 Importance : 138 p. Format : 21 x 16 cm ISBN/ISSN/EAN : 978-2-7117-1213-7 Prix : 10.52 EUR Langues : Français (fre) Mots-clés : mathématiques Index. décimale : 515 Analyse Ensembles, relations [texte imprimé] / C. Jeulin, Auteur . - Paris : Vuibert, 1981 . - 138 p. ; 21 x 16 cm. - (Le Champ mathématique; 1) .
ISBN : 978-2-7117-1213-7 : 10.52 EUR
Langues : Français (fre)
Mots-clés : mathématiques Index. décimale : 515 Analyse Exemplaires
Code-barres Cote Support Localisation Section Disponibilité GA1984/3246-05 04-01-063 Ouvrage Bibliothèque de la Faculté de Génie Civil et d’Architecture Mathématique Disponible GA1984/3246 G.A 04-01-063 Ouvrage Bibliothèque de la Faculté de Génie Civil et d’Architecture Mathématique Disponible BC03246G3 511.3 JEU Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt BC03246G4 511.3 JEU Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible 3246/01 04-01-063 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible 3246/02 04-01-063 Ouvrage Bibliothèque Universitaire Centrale Mathématique Exclu du prêt Ensembles, relations, applications, dénombrement / Bertrand Cintract
Titre : Ensembles, relations, applications, dénombrement : L1, L2, L3, classes préparatoires Type de document : texte imprimé Auteurs : Bertrand Cintract, Auteur ; Jean-Jacques Colin (1942-....), Auteur ; Jean-Marie Morvan (1953-....), Auteur ; Rémi Morvan, Collaborateur Editeur : Toulouse : Cépaduès-éd. Année de publication : DL 2009 Collection : Bien débuter en mathématiques Importance : 1 vol. (153 p.) Présentation : ill., couv. ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-85428-881-0 Prix : 17 EUR Note générale : Index Langues : Français (fre) Mots-clés : Ensembles, Théorie des Problèmes et exercices Nombres naturels Analyse combinatoire énumérative Index. décimale : 511.307 6 Ensembles, relations, applications, dénombrement : L1, L2, L3, classes préparatoires [texte imprimé] / Bertrand Cintract, Auteur ; Jean-Jacques Colin (1942-....), Auteur ; Jean-Marie Morvan (1953-....), Auteur ; Rémi Morvan, Collaborateur . - Toulouse : Cépaduès-éd., DL 2009 . - 1 vol. (153 p.) : ill., couv. ill. ; 21 cm. - (Bien débuter en mathématiques) .
ISBN : 978-2-85428-881-0 : 17 EUR
Index
Langues : Français (fre)
Mots-clés : Ensembles, Théorie des Problèmes et exercices Nombres naturels Analyse combinatoire énumérative Index. décimale : 511.307 6 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC36588/3 511.3 CIN Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt BC36588/4 511.3 CIN Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC36588/5 511.3 CIN Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible 36588/01 04-01-223 Ouvrage Bibliothèque de l’Institut d’Education Physique et Sportive Management Exclu du prêt 36588/02 04-01-223 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible Introduction à la logique / René David
Titre : Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés Type de document : texte imprimé Auteurs : René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur Editeur : Paris : Dunod Année de publication : 2001 Collection : Sciences sup Sous-collection : Mathématiques Importance : XII-332 p. Format : 24 x 17 cm ISBN/ISSN/EAN : 978-2-10-004892-2 Prix : 28.5 EUR Note générale : Bibliogr. Index
Langues : Français (fre) Mots-clés : logique symbolique et mathématique manuels d'enseignement supérieur Index. décimale : 445 (Manuels de grammaire, de conjugaison et d'orthographe, Vocabulaire général) Résumé : Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet.
Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés [texte imprimé] / René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur . - Paris : Dunod, 2001 . - XII-332 p. ; 24 x 17 cm. - (Sciences sup. Mathématiques) .
ISBN : 978-2-10-004892-2 : 28.5 EUR
Bibliogr. Index
Langues : Français (fre)
Mots-clés : logique symbolique et mathématique manuels d'enseignement supérieur Index. décimale : 445 (Manuels de grammaire, de conjugaison et d'orthographe, Vocabulaire général) Résumé : Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC.03144/2 511.3 DAV Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt 3144/1 04-11-008 Ouvrage Bibliothèque Universitaire Centrale Mathématique Exclu du prêt Introduction aux mathématiques discrètes. / yablonski .s
Titre : Introduction aux mathématiques discrètes. Type de document : texte imprimé Auteurs : yablonski .s, Auteur Editeur : Moscou : Mir Année de publication : 1983 Importance : 285 p. Présentation : figures Format : 22 x 14 cm Note générale : index Langues : Français (fre) Langues originales : Russe (rus) Mots-clés : mathématiques, discrètes Introduction aux mathématiques discrètes. [texte imprimé] / yablonski .s, Auteur . - Moscou : Mir, 1983 . - 285 p. : figures ; 22 x 14 cm.
index
Langues : Français (fre) Langues originales : Russe (rus)
Mots-clés : mathématiques, discrètes Exemplaires
Code-barres Cote Support Localisation Section Disponibilité GA1984/3127-01 04-01-056 Ouvrage Bibliothèque de la Faculté de Génie Civil et d’Architecture Mathématique Exclu du prêt GA1984/3127-02 04-01-056 Ouvrage Bibliothèque de la Faculté de Génie Civil et d’Architecture Mathématique Disponible BC03127G3 511.06 YAB Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt BC03127G5 511.06 YAB Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible 3127 04-01-056 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible 3127/4 04-01-056 Ouvrage Bibliothèque Universitaire Centrale Mathématique Exclu du prêt Introduction aux mathématiques modernes. / Albert Monjallon
Titre : Introduction aux mathématiques modernes. : ensembles. opérations sur les ensembles. propositions. Type de document : texte imprimé Auteurs : Albert Monjallon, Auteur Editeur : Paris : Vuibert Année de publication : 1969 Importance : 180 p. Présentation : figures; Format : 25 x 15 cm Note générale : index; Langues : Français (fre) Mots-clés : calculs des propositions. axiomatique.mathématique Introduction aux mathématiques modernes. : ensembles. opérations sur les ensembles. propositions. [texte imprimé] / Albert Monjallon, Auteur . - Paris : Vuibert, 1969 . - 180 p. : figures; ; 25 x 15 cm.
index;
Langues : Français (fre)
Mots-clés : calculs des propositions. axiomatique.mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité ISA 5951/5 04-01-005 Ouvrage Bibliothèque de Faculté des Sciences de la Nature et de la Vie (FSNV) Mathématique Exclu du prêt GA1984/466-02 04-01-005 Ouvrage Bibliothèque de la Faculté de Génie Civil et d’Architecture Mathématique Exclu du prêt BC00466G9 511.3 MON Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt BC00466G7 511.3 MON Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC00466G3 511.3 MON Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC00466G4 511.3 MON Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC00466G8 511.3 MON Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible BC00341G3 511.3 MON Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible 5954/5 04-01-005 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible 5950/05 04-01-005 Ouvrage Bibliothèque Universitaire Centrale Mathématique Exclu du prêt 341/2 04-01-005 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible Mathématica - Le livre (3èm édition) / Stephen Wolfram
Titre : Mathématica - Le livre (3èm édition) : Référence absolus de mathématica par le créateur du système Type de document : texte imprimé Auteurs : Stephen Wolfram, Auteur ; Thierry Dubois, Traducteur Editeur : Paris : International Thomson publishing France Année de publication : 1997 Importance : 1499p Présentation : ill.; Format : 23.5*21.5cm ISBN/ISSN/EAN : 978-2-84180-137-4 Langues : Français (fre) Mots-clés : Mathématica Résumé : Voici la documentation complète sur la récente version 3 de Mathematica. L'auteur, Stephen Wolfram, fondateur de l'Institut de recherche Wolfram Research et principal architecte de Mathematica, nous offre ici une véritable bible. La première partie de ce volume présente Mathematica sous tous les angles à partir de cas applicatifs concrets. La seconde partie constitue le guide de référence de Mathematica 3.
Ce livre s'adresse aux utilisateurs de Mathematica non seulement pour la maîtrise de ce puissant logiciel, mais également pour la résolution de problèmes dans le domaine des mathématiques, des sciences pures et appliquées et de l'ingénierie.Mathématica - Le livre (3èm édition) : Référence absolus de mathématica par le créateur du système [texte imprimé] / Stephen Wolfram, Auteur ; Thierry Dubois, Traducteur . - Paris : International Thomson publishing France, 1997 . - 1499p : ill.; ; 23.5*21.5cm.
ISBN : 978-2-84180-137-4
Langues : Français (fre)
Mots-clés : Mathématica Résumé : Voici la documentation complète sur la récente version 3 de Mathematica. L'auteur, Stephen Wolfram, fondateur de l'Institut de recherche Wolfram Research et principal architecte de Mathematica, nous offre ici une véritable bible. La première partie de ce volume présente Mathematica sous tous les angles à partir de cas applicatifs concrets. La seconde partie constitue le guide de référence de Mathematica 3.
Ce livre s'adresse aux utilisateurs de Mathematica non seulement pour la maîtrise de ce puissant logiciel, mais également pour la résolution de problèmes dans le domaine des mathématiques, des sciences pures et appliquées et de l'ingénierie.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité GA2009/29585-03 04-11-128 Ouvrage Bibliothèque de la Faculté de Génie Civil et d’Architecture Mathématique Exclu du prêt BC29585/2 511.8 WOL Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt BC2009/29585-4 BC.04-07-012 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible Mathematical Methods and Algorithms for signal processing / Todd K.Moon
Titre : Mathematical Methods and Algorithms for signal processing Type de document : texte imprimé Auteurs : Todd K.Moon, Auteur ; wynn C. Stirling, Auteur Editeur : Pearson Année de publication : 2007 Importance : 961p. Présentation : ill; Format : 25*20cm ISBN/ISSN/EAN : 978-81-317-1335-8 Langues : Français (fre) Mathematical Methods and Algorithms for signal processing [texte imprimé] / Todd K.Moon, Auteur ; wynn C. Stirling, Auteur . - [S.l.] : Pearson, 2007 . - 961p. : ill; ; 25*20cm.
ISBN : 978-81-317-1335-8
Langues : Français (fre)Exemplaires
Code-barres Cote Support Localisation Section Disponibilité GA2009/34590-02 04-13-047 Ouvrage Bibliothèque de la Faculté de Génie Civil et d’Architecture Mathématique Exclu du prêt BC34590/3 511.8 MOO Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt Recherche opérationnelle / Jean-Michel Helary
Titre : Recherche opérationnelle : exercices corrigés Type de document : texte imprimé Auteurs : Jean-Michel Helary, Auteur ; René Pedrono, Auteur Editeur : Paris : Hermann Année de publication : 1983 Importance : 462 P Présentation : table Format : 22/15 cm ISBN/ISSN/EAN : 978-2-7056-5954-7 Note générale : index Langues : Français (fre) Mots-clés : recherche opérationnelle ,exercices. Recherche opérationnelle : exercices corrigés [texte imprimé] / Jean-Michel Helary, Auteur ; René Pedrono, Auteur . - Paris : Hermann, 1983 . - 462 P : table ; 22/15 cm.
ISBN : 978-2-7056-5954-7
index
Langues : Français (fre)
Mots-clés : recherche opérationnelle ,exercices. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC01274H5 511.5 HEL Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt 1274/4 04-01-045 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible 1274/3 04-01-045 Ouvrage Bibliothèque Universitaire Centrale Mathématique Exclu du prêt 1274/2 04-01-045 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible Réseaux de Petri: théorie et pratique / G. W. Brams
Titre : Réseaux de Petri: théorie et pratique : 02 : Modélisation et application Type de document : texte imprimé Auteurs : G. W. Brams, Auteur Editeur : Issy-les-Moulineaux (Hauts-de-Seine) : Masson Année de publication : 1983 Importance : 160 p. Format : 15 x 22 cm ISBN/ISSN/EAN : 978-2-903607-13-5 Prix : 15.7 EUR Langues : Français (fre) Index. décimale : 515 Analyse Réseaux de Petri: théorie et pratique : 02 : Modélisation et application [texte imprimé] / G. W. Brams, Auteur . - Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1983 . - 160 p. ; 15 x 22 cm.
ISBN : 978-2-903607-13-5 : 15.7 EUR
Langues : Français (fre)
Index. décimale : 515 Analyse Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC02404G2 511.5 BRA Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt BC02404G3 511.5 BRA Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible 2404/01 08-03-077 Ouvrage Bibliothèque Universitaire Centrale Informatique Disponible 2404/4 08-03-077 Ouvrage Bibliothèque Universitaire Centrale Informatique Exclu du prêt the nature of mathematical modeling
Titre : the nature of mathematical modeling Type de document : texte imprimé Editeur : Cambridge : Cambridge University Press Année de publication : 1998 Importance : 344P Format : 25/15 ISBN/ISSN/EAN : 978-0-521-57095-4 Langues : Français (fre) the nature of mathematical modeling [texte imprimé] . - Cambridge : Cambridge University Press, 1998 . - 344P ; 25/15.
ISBN : 978-0-521-57095-4
Langues : Français (fre)Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC.00053/2 511.8 GER Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt 53/4 04-01-156 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible 53/01 04-01-156 Ouvrage Bibliothèque Universitaire Centrale Mathématique Exclu du prêt 53/03 04-01-156 Ouvrage Bibliothèque Universitaire Centrale Mathématique Disponible Théorie des automates / Patrice Séébold
Titre : Théorie des automates : méthodes et exercices corrigés Type de document : texte imprimé Auteurs : Patrice Séébold, Auteur Editeur : Paris : Vuibert informatique Année de publication : 1999 Collection : Passeport pour l'informatique Importance : X-198 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-8630-5 Prix : 159 F Note générale : La couv. porte en plus : "classes préparatoires, 1er et 2e cycles universitaires"
IndexLangues : Français (fre) Mots-clés : Automates mathématiques , Théorie des Manuels d'enseignement supérieur Problèmes et exercices Index. décimale : 511.3 Théorie des automates : méthodes et exercices corrigés [texte imprimé] / Patrice Séébold, Auteur . - Paris : Vuibert informatique, 1999 . - X-198 p. : ill., couv. ill. en coul. ; 24 cm. - (Passeport pour l'informatique) .
ISBN : 978-2-7117-8630-5 : 159 F
La couv. porte en plus : "classes préparatoires, 1er et 2e cycles universitaires"
Index
Langues : Français (fre)
Mots-clés : Automates mathématiques , Théorie des Manuels d'enseignement supérieur Problèmes et exercices Index. décimale : 511.3 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC99/3 511.35 SEE Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Exclu du prêt 099/1 08-08-013 Ouvrage Bibliothèque Universitaire Centrale Informatique Exclu du prêt Théorie des graphes / Olivier, Cogis
Titre : Théorie des graphes Type de document : texte imprimé Auteurs : Olivier, Cogis, Auteur ; Claudine, Schwartz, Auteur Mention d'édition : 2e éd. Editeur : Paris : Cassini Année de publication : 2018 Collection : Collection L num. 4 Importance : 1 vol. (280 p.) Présentation : ill Format : 19 cm ISBN/ISSN/EAN : 978-2-84225-189-5 Prix : 15 EUR Note générale : Bibliogr. p. 267-270. Index Langues : Français (fre) Mots-clés : Théorie des graphes Index. décimale : 511.5 COG Résumé : a théorie des graphes est issue de problèmes ayant l'allure de jeux mathématiques, comme le problème du "voyageur de commerce" : tracer le plus court chemin que pourrait emprunter un représentant pour rendre visite à ses clients dans une série de villes, en ne passant qu'une seule fois dans chaque ville. Elle a d'abord trouvé des applications en théorie des probabilités.
Ses applications actuelles sont orientées vers la logistique et l'informatique (optimisation des réseaux de transport, de personnes, de marchandises ou de données, optimisation des itinéraires, du stockage, Internet, GPS, architecture des ordinateurs) et elle suscite de ce fait un intérêt grandissant. En retour, on utilise abondamment l'informatique pour donner des solutions pratiques aux problèmes de graphes que l'on se pose, d'où l'importance donnée dans ce livre aux algorithmes.
La théorie des graphes a été introduite il y a une quinzaine d'années dans les programmes du secondaire français, et ce livre a été écrit à cette occasion, à l'intention des professeurs.
Un graphe se définit simplement comme un ensemble de points dont certains sont reliés par des lignes.
Le premier problème considéré comme un problème de théorie des graphes est celui des sept ponts de Königsberg (Euler, 1736), qu'on peut aisément transposer à Paris : peut-on effectuer une promenade qui nous ramène à notre point de départ en empruntant une fois et une seule chacun des ponts de la ville ?
La formulation de ce problème comme un problème de graphes fait intervenir quatre points, A, B, C, D représentant respectivement la rive droite, la rive gauche, l'île de la Cité et l'île Saint-Louis, et des lignes reliant ces points, représentant les ponts. Le célèbre problème des quatre couleurs (peut-on colorier n'importe quelle carte avec quatre couleurs seulement, de façon que deux pays voisins n'aient pas la même couleur ?) peut aussi se traduire un termes de graphes : un point par pays, une ligne reliant deux points si les deux pays ont une frontière commune. Et il est de même du célèbre problème du loup, de la chèvre et du chou.
On conçoit qu'un grand nombre de problèmes de la vie économique puissent être traités et résolus comme des problèmes de graphes : pour une compagnie aérienne, comment éviter qu'à un certain moment tous les avions se trouvent d'un côté de l'Atlantique et presque tous les pilotes de l'autre côté ? Vu le grand nombre de données en jeu, la résolution pratique de ce genre de problème implique l'usage des ordinateurs.
L'informatique, avec ses réseaux, avec l'architecture des ordinateurs, est elle-même la plus grande consommatrice de théorie des graphes.
On peut être surpris que des objets aussi pauvres que les graphes puissent donner lieu à une théorie aussi riche. La réponse est certainement dans la variété des problèmes posés par les applications.
Le livre de Cogis et Schwartz, qui n'oublie pas l'anecdote et les applications, présente la théorie de graphes comme une théorie mathématique, avec des définitions et des énoncés précis, et des démonstrations complètes ce qui est nécessaire pour permettre à l'étudiant de comprendre et d'élaborer lui-même les algorithmes de résolution des problèmes qui forment une partie essentielle du livre.
Théorie des graphes [texte imprimé] / Olivier, Cogis, Auteur ; Claudine, Schwartz, Auteur . - 2e éd. . - [S.l.] : Paris : Cassini, 2018 . - 1 vol. (280 p.) : ill ; 19 cm. - (Collection L; 4) .
ISBN : 978-2-84225-189-5 : 15 EUR
Bibliogr. p. 267-270. Index
Langues : Français (fre)
Mots-clés : Théorie des graphes Index. décimale : 511.5 COG Résumé : a théorie des graphes est issue de problèmes ayant l'allure de jeux mathématiques, comme le problème du "voyageur de commerce" : tracer le plus court chemin que pourrait emprunter un représentant pour rendre visite à ses clients dans une série de villes, en ne passant qu'une seule fois dans chaque ville. Elle a d'abord trouvé des applications en théorie des probabilités.
Ses applications actuelles sont orientées vers la logistique et l'informatique (optimisation des réseaux de transport, de personnes, de marchandises ou de données, optimisation des itinéraires, du stockage, Internet, GPS, architecture des ordinateurs) et elle suscite de ce fait un intérêt grandissant. En retour, on utilise abondamment l'informatique pour donner des solutions pratiques aux problèmes de graphes que l'on se pose, d'où l'importance donnée dans ce livre aux algorithmes.
La théorie des graphes a été introduite il y a une quinzaine d'années dans les programmes du secondaire français, et ce livre a été écrit à cette occasion, à l'intention des professeurs.
Un graphe se définit simplement comme un ensemble de points dont certains sont reliés par des lignes.
Le premier problème considéré comme un problème de théorie des graphes est celui des sept ponts de Königsberg (Euler, 1736), qu'on peut aisément transposer à Paris : peut-on effectuer une promenade qui nous ramène à notre point de départ en empruntant une fois et une seule chacun des ponts de la ville ?
La formulation de ce problème comme un problème de graphes fait intervenir quatre points, A, B, C, D représentant respectivement la rive droite, la rive gauche, l'île de la Cité et l'île Saint-Louis, et des lignes reliant ces points, représentant les ponts. Le célèbre problème des quatre couleurs (peut-on colorier n'importe quelle carte avec quatre couleurs seulement, de façon que deux pays voisins n'aient pas la même couleur ?) peut aussi se traduire un termes de graphes : un point par pays, une ligne reliant deux points si les deux pays ont une frontière commune. Et il est de même du célèbre problème du loup, de la chèvre et du chou.
On conçoit qu'un grand nombre de problèmes de la vie économique puissent être traités et résolus comme des problèmes de graphes : pour une compagnie aérienne, comment éviter qu'à un certain moment tous les avions se trouvent d'un côté de l'Atlantique et presque tous les pilotes de l'autre côté ? Vu le grand nombre de données en jeu, la résolution pratique de ce genre de problème implique l'usage des ordinateurs.
L'informatique, avec ses réseaux, avec l'architecture des ordinateurs, est elle-même la plus grande consommatrice de théorie des graphes.
On peut être surpris que des objets aussi pauvres que les graphes puissent donner lieu à une théorie aussi riche. La réponse est certainement dans la variété des problèmes posés par les applications.
Le livre de Cogis et Schwartz, qui n'oublie pas l'anecdote et les applications, présente la théorie de graphes comme une théorie mathématique, avec des définitions et des énoncés précis, et des démonstrations complètes ce qui est nécessaire pour permettre à l'étudiant de comprendre et d'élaborer lui-même les algorithmes de résolution des problèmes qui forment une partie essentielle du livre.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité FSEI19/056-2 511.5 COG Ouvrage Bibliothèque de la Faculté des Sciences Mathématique Disponible