University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Linear programming and network flows Type de document : texte imprimé Auteurs : M. S. Bazaraa ; John J. Jarvis ; Hanif D. Sherali Mention d'édition : 4e éd. Editeur : John Wiley & Sons Année de publication : 2010 Importance : xiv, 748 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-0-470-46272-0 Catégories : Mathématique Mots-clés : Algèbre linéaire
Fonctions convexes
Analyse de réseau (planification)
Programmation linéaireIndex. décimale : 519.7 Programmation mathématique Résumé :
Le seul livre traitant à la fois des techniques de programmation linéaire et des flux de réseau sous une même couverture, Linear Programming et Network Flows, quatrième édition, a été entièrement mis à jour avec les derniers développements sur le sujet. Cette nouvelle édition continue de mettre l'accent sur les concepts de modélisation, la conception et l'analyse d'algorithmes et les stratégies de mise en œuvre de problèmes dans divers domaines, notamment l'ingénierie industrielle, la science de gestion, la recherche opérationnelle, l'informatique et les mathématiques.
Le livre commence par des résultats de base sur l'algèbre linéaire et l'analyse convexe, et une étude géométriquement motivée de la structure des ensembles polyédriques est fournie. Les chapitres suivants incluent la couverture du cyclage dans la méthode simplex, les méthodes de points intérieurs, et la sensibilité et l'analyse paramétrique. Les sujets nouvellement ajoutés dans la quatrième édition incluent:
Le phénomène cyclique en programmation linéaire et la géométrie du cyclisme
Relations de dualité avec le cyclisme
Élaboration sur les factorisations stables et les stratégies de mise en œuvre
Génération de colonnes stabilisées et accélération des méthodes de décomposition de Benders et Dantzig-Wolfe
Recherche de ligne et idées d'ascension double pour l'algorithme hors-pair
Commentaires sur l'implémentation de tas, analyses de coût à coût négatif et analyses de convergence supplémentaires pour les problèmes de chemin le plus court
Les auteurs présentent des concepts et des techniques qui sont illustrés par des exemples numériques ainsi que des idées complètes avec une analyse mathématique détaillée et une justification. L'accent est mis sur la fourniture de points de vue géométriques et d'interprétations économiques ainsi que sur le renforcement de la compréhension des idées fondamentales. Chaque chapitre est accompagné de sections Notes et Références qui fournissent des développements historiques en plus des tendances actuelles et futures. Des exercices mis à jour permettent aux lecteurs de tester leur compréhension du matériel présenté, et de nombreuses références fournissent des ressources pour une étude plus approfondie.
Linear Programming and Network Flows, quatrième édition, est un excellent ouvrage pour la programmation linéaire et les cours sur les flux de réseau aux niveaux supérieur et inférieur. C'est également une ressource précieuse pour les scientifiques appliqués qui voudraient rafraîchir leur compréhension de la programmation linéaire et des techniques de flux de réseau.Note de contenu :
Sommaire :
P. 1. Introduction
P. 45. Linear algebra, convex analysis, and polyhedral sets
P. 91. The simplex method
P. 151. Starting solution and convergence
P. 201. Special simplex implementations and optimality conditions
P. 259. Duality and sensitivity analysis
P.339. The decomposition principle
P.393. Complexity of the simplex algorithm and polynomial-time algorithms
P.453. Minimal-cost network flows
P. 513. The transportation and assignment problems
P. 567. The out-of-kilter algorithm
P. 607. Maximal flow, shortest path, multicommodity flow, and network synthesis problems
P. 681. Bibliography
P. 733. Index
Côte titre : Fs/19788 Linear programming and network flows [texte imprimé] / M. S. Bazaraa ; John J. Jarvis ; Hanif D. Sherali . - 4e éd. . - [S.l.] : John Wiley & Sons, 2010 . - xiv, 748 p. : ill. ; 25 cm.
ISBN : 978-0-470-46272-0
Catégories : Mathématique Mots-clés : Algèbre linéaire
Fonctions convexes
Analyse de réseau (planification)
Programmation linéaireIndex. décimale : 519.7 Programmation mathématique Résumé :
Le seul livre traitant à la fois des techniques de programmation linéaire et des flux de réseau sous une même couverture, Linear Programming et Network Flows, quatrième édition, a été entièrement mis à jour avec les derniers développements sur le sujet. Cette nouvelle édition continue de mettre l'accent sur les concepts de modélisation, la conception et l'analyse d'algorithmes et les stratégies de mise en œuvre de problèmes dans divers domaines, notamment l'ingénierie industrielle, la science de gestion, la recherche opérationnelle, l'informatique et les mathématiques.
Le livre commence par des résultats de base sur l'algèbre linéaire et l'analyse convexe, et une étude géométriquement motivée de la structure des ensembles polyédriques est fournie. Les chapitres suivants incluent la couverture du cyclage dans la méthode simplex, les méthodes de points intérieurs, et la sensibilité et l'analyse paramétrique. Les sujets nouvellement ajoutés dans la quatrième édition incluent:
Le phénomène cyclique en programmation linéaire et la géométrie du cyclisme
Relations de dualité avec le cyclisme
Élaboration sur les factorisations stables et les stratégies de mise en œuvre
Génération de colonnes stabilisées et accélération des méthodes de décomposition de Benders et Dantzig-Wolfe
Recherche de ligne et idées d'ascension double pour l'algorithme hors-pair
Commentaires sur l'implémentation de tas, analyses de coût à coût négatif et analyses de convergence supplémentaires pour les problèmes de chemin le plus court
Les auteurs présentent des concepts et des techniques qui sont illustrés par des exemples numériques ainsi que des idées complètes avec une analyse mathématique détaillée et une justification. L'accent est mis sur la fourniture de points de vue géométriques et d'interprétations économiques ainsi que sur le renforcement de la compréhension des idées fondamentales. Chaque chapitre est accompagné de sections Notes et Références qui fournissent des développements historiques en plus des tendances actuelles et futures. Des exercices mis à jour permettent aux lecteurs de tester leur compréhension du matériel présenté, et de nombreuses références fournissent des ressources pour une étude plus approfondie.
Linear Programming and Network Flows, quatrième édition, est un excellent ouvrage pour la programmation linéaire et les cours sur les flux de réseau aux niveaux supérieur et inférieur. C'est également une ressource précieuse pour les scientifiques appliqués qui voudraient rafraîchir leur compréhension de la programmation linéaire et des techniques de flux de réseau.Note de contenu :
Sommaire :
P. 1. Introduction
P. 45. Linear algebra, convex analysis, and polyhedral sets
P. 91. The simplex method
P. 151. Starting solution and convergence
P. 201. Special simplex implementations and optimality conditions
P. 259. Duality and sensitivity analysis
P.339. The decomposition principle
P.393. Complexity of the simplex algorithm and polynomial-time algorithms
P.453. Minimal-cost network flows
P. 513. The transportation and assignment problems
P. 567. The out-of-kilter algorithm
P. 607. Maximal flow, shortest path, multicommodity flow, and network synthesis problems
P. 681. Bibliography
P. 733. Index
Côte titre : Fs/19788 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19788 Fs/19788 Livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Logic and structure Type de document : texte imprimé Auteurs : Dirk van Dalen (1932-....), Auteur Mention d'édition : 4e éd. Editeur : Berlin : Springer Année de publication : 2004 Collection : Universitext Importance : 1 vol. (263 p.) Format : 24 cm ISBN/ISSN/EAN : 978-3-540-20879-2 Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé :
Un bon manuel peut améliorer énormément un cours de conférences, surtout lorsque le matériel de la conférence comprend de nombreux détails techniques. Le livre de Van Dalen, dont le succès et la popularité peut être suspecté de cet intérêt constant, contient une introduction complète à la logique élémentaire classique de manière détendue, adaptée aux étudiants en mathématiques qui veulent simplement connaître la logique. La présentation indique toujours les connexions de la logique à d'autres parties des mathématiques. Le lecteur voit immédiatement que la logique est «juste une autre branche des mathématiques» et pas quelque chose de plus sacréNote de contenu :
Sommaire
Introduction
Propositional Logic
Predicate Logic
Completeness and Applications
Second Order Logic
Intuitionistic Logic
Normalisation
Goedel's Theorem
Bibliography
IndexCôte titre : Fs/2699-2700 Logic and structure [texte imprimé] / Dirk van Dalen (1932-....), Auteur . - 4e éd. . - Berlin : Springer, 2004 . - 1 vol. (263 p.) ; 24 cm. - (Universitext) .
ISBN : 978-3-540-20879-2
Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé :
Un bon manuel peut améliorer énormément un cours de conférences, surtout lorsque le matériel de la conférence comprend de nombreux détails techniques. Le livre de Van Dalen, dont le succès et la popularité peut être suspecté de cet intérêt constant, contient une introduction complète à la logique élémentaire classique de manière détendue, adaptée aux étudiants en mathématiques qui veulent simplement connaître la logique. La présentation indique toujours les connexions de la logique à d'autres parties des mathématiques. Le lecteur voit immédiatement que la logique est «juste une autre branche des mathématiques» et pas quelque chose de plus sacréNote de contenu :
Sommaire
Introduction
Propositional Logic
Predicate Logic
Completeness and Applications
Second Order Logic
Intuitionistic Logic
Normalisation
Goedel's Theorem
Bibliography
IndexCôte titre : Fs/2699-2700 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/2700 Fs/2699-2700 Livre Bibliothéque des sciences Anglais Disponible
DisponibleFs/2699 Fs/2699-2700 Livre Bibliothéque des sciences Anglais Disponible
Disponible
Titre : Logique Type de document : texte imprimé Auteurs : A Fuchs, Auteur ; G Reeb, Auteur Editeur : Alger : OPU Année de publication : 1986 Collection : Le cours de mathematique Importance : 1 vol (317 p.) Format : 24 cm Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 510 - Mathématique Côte titre : Fs/24305 Logique [texte imprimé] / A Fuchs, Auteur ; G Reeb, Auteur . - Alger : OPU, 1986 . - 1 vol (317 p.) ; 24 cm. - (Le cours de mathematique) .
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 510 - Mathématique Côte titre : Fs/24305 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/24305 Fs/24305 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre Type de document : texte imprimé Auteurs : Devismes, Stéphane, Auteur ; Lafourcade, Pascal, Auteur ; Lévy, Michel, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup Importance : 1 vol. (209 p.) Présentation : fig., tabl., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Catégories : Mathématique Mots-clés : Logique du premier ordre
Calcul des propositions
Boole, Algèbre de
Théorèmes : Démonstration automatique
AlgorithmesIndex. décimale : 512 Algèbre Résumé :
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.Note de contenu :
Sommaire
Logique propositionnelle
Logique propositionnelle
Résolution propositionnelle
Déduction Naturelle
Logique du premier ordre
Logique du premier ordre
Base de la démonstration automatique
Déduction naturelle au premier ordre : quantificateurs, copie et égalité
Annexes
Corrigés
Bibliographie
IndexCôte titre : Fs/16236-16240 Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Devismes, Stéphane, Auteur ; Lafourcade, Pascal, Auteur ; Lévy, Michel, Auteur . - Paris : Ellipses, 2012 . - 1 vol. (209 p.) : fig., tabl., couv. ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-7229-8
Catégories : Mathématique Mots-clés : Logique du premier ordre
Calcul des propositions
Boole, Algèbre de
Théorèmes : Démonstration automatique
AlgorithmesIndex. décimale : 512 Algèbre Résumé :
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.Note de contenu :
Sommaire
Logique propositionnelle
Logique propositionnelle
Résolution propositionnelle
Déduction Naturelle
Logique du premier ordre
Logique du premier ordre
Base de la démonstration automatique
Déduction naturelle au premier ordre : quantificateurs, copie et égalité
Annexes
Corrigés
Bibliographie
IndexCôte titre : Fs/16236-16240 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/16236 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16237 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16238 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16240 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16239 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
Disponible
Titre : La logique floue : Exercices corrigés et exemples d'applications Type de document : texte imprimé Auteurs : Bernadette Bouchon-Meunier, Auteur ; Laurent Foulloy, Auteur ; Ramdani, Mohammed, Auteur Editeur : Toulouse : Cépaduès-éd. Année de publication : 1998 Importance : 1 vol (200 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-85428-469-0 Note générale : 2-85428-469-0 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique
logique floueIndex. décimale : 006.3 Intelligence artificielle Résumé :
La 4e de couverture indique : "Ce livre présente la logique floue sous l'angle de son utilisation. Son but est de faire comprendre comment fonctionne la logique floue, de démystifier les concepts théoriques et, en même temps, de montrer l'aspect rigoureux des différentes techniques disponibles"
Côte titre : Fs/23006-23007 La logique floue : Exercices corrigés et exemples d'applications [texte imprimé] / Bernadette Bouchon-Meunier, Auteur ; Laurent Foulloy, Auteur ; Ramdani, Mohammed, Auteur . - Toulouse : Cépaduès-éd., 1998 . - 1 vol (200 p.) : ill. ; 21 cm.
ISBN : 978-2-85428-469-0
2-85428-469-0
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique
logique floueIndex. décimale : 006.3 Intelligence artificielle Résumé :
La 4e de couverture indique : "Ce livre présente la logique floue sous l'angle de son utilisation. Son but est de faire comprendre comment fonctionne la logique floue, de démystifier les concepts théoriques et, en même temps, de montrer l'aspect rigoureux des différentes techniques disponibles"
Côte titre : Fs/23006-23007 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/23006 Fs/23006-23007 livre Bibliothéque des sciences Français Disponible
DisponibleFs/23007 Fs/23006-23007 livre Bibliothéque des sciences Français Disponible
DisponibleLogique floue, principes, aide à la décision
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
PermalinkPermalinkPermalink
