Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Collection Logique Mathématiques informatique
|
|
Documents disponibles dans la collection (6)
Faire une suggestion Affiner la recherche
Titre : Algorithmes et complexité Type de document : texte imprimé Auteurs : Helbert S. WILF, Auteur ; Patrick ROUX, Auteur Editeur : Masson Année de publication : 1989 Collection : Logique Mathématiques informatique Importance : 199 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81701-4 Note générale : index Langues : Français (fre) Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Algorithmes et complexité [texte imprimé] / Helbert S. WILF, Auteur ; Patrick ROUX, Auteur . - Masson, 1989 . - 199 p. ; 25 cm.. - (Logique Mathématiques informatique) .
ISBN : 978-2-225-81701-4
index
Langues : Français (fre)
Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000181857 08-02-625 Livre Salle 1 Documentaires Exclu du prêt 62086
Titre : Algorithmique numérique et data : avec programme ada sur disquette Type de document : texte imprimé Auteurs : Jean-Etienne Rombaldi, Auteur Editeur : Masson Année de publication : 1994 Collection : Logique Mathématiques informatique Importance : 336 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-84384-6 Note générale : index Langues : Français (fre) Catégories : INFORMATIQUE:Informatique générale Index. décimale : 08-01 Informatique générale Algorithmique numérique et data : avec programme ada sur disquette [texte imprimé] / Jean-Etienne Rombaldi, Auteur . - Masson, 1994 . - 336 p. ; 25 cm.. - (Logique Mathématiques informatique) .
ISBN : 978-2-225-84384-6
index
Langues : Français (fre)
Catégories : INFORMATIQUE:Informatique générale Index. décimale : 08-01 Informatique générale Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000961977 08-01-382 Livre Salle 1 Documentaires Exclu du prêt 104355
Titre : Analyse qualitative Type de document : texte imprimé Auteurs : Olivier DORDAN, Auteur Editeur : Masson Année de publication : 1995 Collection : Logique Mathématiques informatique Importance : 236 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-84717-2 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Analyse Index. décimale : 04-02 Analyse Résumé : L'analyse qualitative se propose de modéliser et de résoudre des problèmes dans lesquels interviennent des connaissances qualitatives. Distincte des modèles probabilistes par la certitude de ses réponses, l'analyse qualitative l'est aussi des systèmes experts car les règles qu'elle propose sont en majeure partie fondées sur des modèles (physiques, économiques ou autres, admis, sinon vérifiés). Cet ouvrage, essentiellement mathématique, est composé de quatre chapitres. Le premier traite de la représentation des connaissances physiques. Le deuxième expose les outils qui permettront, entre autres, de fonder, dans le troisième chapitre, une formalisation mathématique des problèmes qualitatifs statiques sous le nom d'espaces et solutions qualitatifs. Enfin, le dernier chapitre étudie trois algorithmes qualitatifs dynamiques : ceux de B. Kuipers et d'E. Sacks, puis un troisième illustré par des systèmes dynamiques principalement utilisés en biologie, chimie, économie et dynamique des populations. S'adressant à un large public issu des domaines des sciences exactes ou humaines, ce livre propose au lecteur une vision synthétique et rigoureuse de l'analyse qualitative.
Sommaire
Représentation des connaissances physiques
Représentation par la logique
Graphes de liaisons
Confluences
Outils mathématiques
Opérateurs linéaires
Eléments d'analyse convexe
Cônes tangents
Introduction à l'analyse multivoque
Théorèmes sur les équations et les inclusions différentielles
Classification des états
Espaces et solutions qualitatifs
Espaces qualitatifs
Projections et solutions qualitatives
Lois de compositions qualitatives
Cadre strict des confluences
Cadre qualitatif des intervalles
Matrices de signes
Les déterminants qualitatifs
Correspondances linéaires
Exemples
Existence de solutions qualitatives
Algorithmes qualitatifs dynamiques
Etude qualitative d'une équation différentielle sur un polyèdre
Algorithme de simulation symbolique
Algorithme qualitatif QSIM numérique.Analyse qualitative [texte imprimé] / Olivier DORDAN, Auteur . - Masson, 1995 . - 236 p. ; 25 cm.. - (Logique Mathématiques informatique) .
ISBN : 978-2-225-84717-2
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Analyse Index. décimale : 04-02 Analyse Résumé : L'analyse qualitative se propose de modéliser et de résoudre des problèmes dans lesquels interviennent des connaissances qualitatives. Distincte des modèles probabilistes par la certitude de ses réponses, l'analyse qualitative l'est aussi des systèmes experts car les règles qu'elle propose sont en majeure partie fondées sur des modèles (physiques, économiques ou autres, admis, sinon vérifiés). Cet ouvrage, essentiellement mathématique, est composé de quatre chapitres. Le premier traite de la représentation des connaissances physiques. Le deuxième expose les outils qui permettront, entre autres, de fonder, dans le troisième chapitre, une formalisation mathématique des problèmes qualitatifs statiques sous le nom d'espaces et solutions qualitatifs. Enfin, le dernier chapitre étudie trois algorithmes qualitatifs dynamiques : ceux de B. Kuipers et d'E. Sacks, puis un troisième illustré par des systèmes dynamiques principalement utilisés en biologie, chimie, économie et dynamique des populations. S'adressant à un large public issu des domaines des sciences exactes ou humaines, ce livre propose au lecteur une vision synthétique et rigoureuse de l'analyse qualitative.
Sommaire
Représentation des connaissances physiques
Représentation par la logique
Graphes de liaisons
Confluences
Outils mathématiques
Opérateurs linéaires
Eléments d'analyse convexe
Cônes tangents
Introduction à l'analyse multivoque
Théorèmes sur les équations et les inclusions différentielles
Classification des états
Espaces et solutions qualitatifs
Espaces qualitatifs
Projections et solutions qualitatives
Lois de compositions qualitatives
Cadre strict des confluences
Cadre qualitatif des intervalles
Matrices de signes
Les déterminants qualitatifs
Correspondances linéaires
Exemples
Existence de solutions qualitatives
Algorithmes qualitatifs dynamiques
Etude qualitative d'une équation différentielle sur un polyèdre
Algorithme de simulation symbolique
Algorithme qualitatif QSIM numérique.Réservation
Réserver ce document
Exemplaires(6)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000996239 04-02-403 Livre Magazin Documentaires Disponible 96342 00001000996247 04-02-403 Livre Magazin Documentaires Disponible 96343 00001000996221 04-02-403 Livre Magazin Documentaires Disponible 96341 00001000996254 04-02-403 Livre Magazin Documentaires Disponible 96344 00001000996213 04-02-403 Livre Magazin Documentaires Disponible 96340 00001000996262 04-02-0403 Livre Salle 1 Documentaires Exclu du prêt 96345
Titre : Codes correcteurs, théorie et applications Type de document : texte imprimé Auteurs : Alain POLI, Auteur ; Liorenç HUGUET, Auteur ; G. CULLMANN, Préfacier, etc. Editeur : Masson Année de publication : 1989 Collection : Logique Mathématiques informatique Importance : 448 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81595-9 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Mathématiques appliquées Index. décimale : 04-08 Mathématiques appliquées Codes correcteurs, théorie et applications [texte imprimé] / Alain POLI, Auteur ; Liorenç HUGUET, Auteur ; G. CULLMANN, Préfacier, etc. . - Masson, 1989 . - 448 p. ; 25 cm.. - (Logique Mathématiques informatique) .
ISBN : 978-2-225-81595-9
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Mathématiques appliquées Index. décimale : 04-08 Mathématiques appliquées Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000379980 04-08-126 Livre Salle 1 Documentaires Exclu du prêt 61517
Titre : Introduction aux méthodes de la cryptologie Type de document : texte imprimé Auteurs : Brian BECKETT, Auteur ; Philippe BEGUIN, Traducteur ; Philippe KLEIN, Traducteur Editeur : Masson Année de publication : 1990 Collection : Logique Mathématiques informatique Importance : 332 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81941-4 Note générale : index Langues : Français (fre) Langues originales : Anglais (eng) Catégories : INFORMATIQUE:Informatique générale Index. décimale : 08-01 Informatique générale Introduction aux méthodes de la cryptologie [texte imprimé] / Brian BECKETT, Auteur ; Philippe BEGUIN, Traducteur ; Philippe KLEIN, Traducteur . - Masson, 1990 . - 332 p. ; 25 cm.. - (Logique Mathématiques informatique) .
ISBN : 978-2-225-81941-4
index
Langues : Français (fre) Langues originales : Anglais (eng)
Catégories : INFORMATIQUE:Informatique générale Index. décimale : 08-01 Informatique générale Réservation
Réserver ce document
Exemplaires(6)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000838746 08-01-232 Livre Magazin Documentaires Disponible 61763 00001000147635 08-01-232 Livre Magazin Documentaires Disponible 61766 00001000147619 08-01-232 Livre Magazin Documentaires Disponible 61762 00001000147601 08-01-232 Livre Magazin Documentaires Disponible 61764 00001000147593 08-01-232 Livre Magazin Documentaires Disponible 61761 00001000147627 08-01-232 Livre Salle 1 Documentaires Exclu du prêt 61765 Permalink
