Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
Détail de l'indexation
519.6 : Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs.
519 Analyse combinatoire. Calcul des probabilités, etc.
519.1 Analyse combinatoire. Théorie des graphies
519.14 Changement. Combinatoires des partitions de nombres
519.16 Problèmes algorithmiques de l'analyse combinatoire
519.17 Théorie des graphes
519.2 Probabilités. Statistique mathématique
519.2 (035) Probabilités. Statistique mathématique (Handbook)
519.2 (038) Probabilités. Statistique mathématique
519.2 + 004 Probabilités. Statistique mathématique+Informatique. Science et technologie de l'informatique
519.2 SPI
519.207 6
519.21 Théorie des probabilités.Processus stochastiques
519.21.621.39
519.216 Processus stochastique en général. Théorie de la prédiction. Temps d’arrêt. Martingales
519.217 Processus de Markov
519.217.2 Chaines de Markov. Processus avec un ensemble fini ou dénombrable d'états
519.218 Processus stochastique particuliers
519.218.7
519.22 Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.22(47) Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.226 Théorie de l'inférence et de la décision. Vraisemblance. Théorie bayésienne. Probabilité fiducielle
519.23 Analyse statistique. Méthodes d'inférence
519.233 Méthodes paramétriques
519.233.2 Estimation de paramètres et fonctionnels. Régions de confiance. Tolérance. Limites
519.233.3 Test d'hypothèse. Critères. Discrimination
519.233.5 Analyse de la corrélation. Analyse de régression
519.234
519.237 Méthodes statistiques multivariées
519.242 Plans d'expérience. Plans optimaux
519.246 Statistique de processus stochastiques estimation de processus stochastiques. Test hypothèse. Statistique de processus ponctuelles. Analyses de séries temporelles. Autocorrélation. régression
519.248 Statistique de l’ingénierie. Statistique de la recherche opérationnelle. Théorie des files. Contrôle de qualité. Fiabilité etc
519.25 Manipulation des données statistiques
519.26
519.27 Observation quantitatives , observation portant sur une variable fortuite (phénomènes à attributs qualitatifs , mesurables)
519.28 Paramètres de la statique mathématique. La statique, instrument de recherche de causes et de prévision des évènements futurs
519.282
519.285
519.3
519.34 Procédés directs du calcul des variations (Principe de Dirichlet, procédé de Ritz, etc.)
519.4
519.42 Liaison entre les groupes et les fonctions; théorème de Lagrange.
519.5 Théorie des ensembles
519.56
519.6(035) (Mathématique numérique.Analyse numérique.Programmation.Science des ordinateurs. (Handbook)
519.61 Méthodes numériques de l'algèbre
519.612 Méthodes numériques de résolution de systèmes d'équations linéaires.matrice carrée. Matrice générale.
519.614 Méthodes numériques de calcul des valeurs propres et vecteurs propres des matrices.
519.615 Méthodes numériques de résolution d'équations transcendantes et de systèmes d'équations
519.63 Méthodes numériques pour la résolution d'équations aux dérivées partielles
519.642
519.67 Machines à calculer, méthodes graphiques et autres procédés des mathématiques numériques
519.673 Résolution de problèmes mathématiques par modélisation. Calculatrices analogiques.
519.675 Nomographie. Appareils nomographiques
519.68 Programation informatique
519.682 Langages de programmation. Métalangages
519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques.
519.7 Cybernétique matématique
519.7+621.391 Cybernétique mathématique + Notions générales sur l'ingénierie des Communications électriques.Cybernétique.Théorie de l'information.Théorie des signaux
519.71 Théorie des systèmes de contrôle: aspects mathématiques
519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux
519.715 Problèmes d'analyse de la théorie du contrôle.
519.718 Stabilité. Fiabilité. Vérification. Synthèse. Systèmes de correction des erreurs. Tests
519.72 Théorie de l'information: aspects mathématiques.
519.8 Recherche opérationnelle
519.828 5
519.83 Théorie des jeux
519.85 Programmation mathématique
519.852 Programmation linéaire. Méthode du simplexe
519.854 Programmation discrète
519.857
519.863 Modèles d'optimisation
519.872 Théorie des files d'attente. Système de service. Simulation numérique
519.873 Théorie de la fiabilité et de la réserve. Contrôle de qualité
519.876 Théorie des grands systèmes
519.876.5 Représentation numérique de systèmes. Simulation
51967
519.1 Analyse combinatoire. Théorie des graphies
519.14 Changement. Combinatoires des partitions de nombres
519.16 Problèmes algorithmiques de l'analyse combinatoire
519.17 Théorie des graphes
519.2 Probabilités. Statistique mathématique
519.2 (035) Probabilités. Statistique mathématique (Handbook)
519.2 (038) Probabilités. Statistique mathématique
519.2 + 004 Probabilités. Statistique mathématique+Informatique. Science et technologie de l'informatique
519.2 SPI
519.207 6
519.21 Théorie des probabilités.Processus stochastiques
519.21.621.39
519.216 Processus stochastique en général. Théorie de la prédiction. Temps d’arrêt. Martingales
519.217 Processus de Markov
519.217.2 Chaines de Markov. Processus avec un ensemble fini ou dénombrable d'états
519.218 Processus stochastique particuliers
519.218.7
519.22 Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.22(47) Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.226 Théorie de l'inférence et de la décision. Vraisemblance. Théorie bayésienne. Probabilité fiducielle
519.23 Analyse statistique. Méthodes d'inférence
519.233 Méthodes paramétriques
519.233.2 Estimation de paramètres et fonctionnels. Régions de confiance. Tolérance. Limites
519.233.3 Test d'hypothèse. Critères. Discrimination
519.233.5 Analyse de la corrélation. Analyse de régression
519.234
519.237 Méthodes statistiques multivariées
519.242 Plans d'expérience. Plans optimaux
519.246 Statistique de processus stochastiques estimation de processus stochastiques. Test hypothèse. Statistique de processus ponctuelles. Analyses de séries temporelles. Autocorrélation. régression
519.248 Statistique de l’ingénierie. Statistique de la recherche opérationnelle. Théorie des files. Contrôle de qualité. Fiabilité etc
519.25 Manipulation des données statistiques
519.26
519.27 Observation quantitatives , observation portant sur une variable fortuite (phénomènes à attributs qualitatifs , mesurables)
519.28 Paramètres de la statique mathématique. La statique, instrument de recherche de causes et de prévision des évènements futurs
519.282
519.285
519.3
519.34 Procédés directs du calcul des variations (Principe de Dirichlet, procédé de Ritz, etc.)
519.4
519.42 Liaison entre les groupes et les fonctions; théorème de Lagrange.
519.5 Théorie des ensembles
519.56
519.6(035) (Mathématique numérique.Analyse numérique.Programmation.Science des ordinateurs. (Handbook)
519.61 Méthodes numériques de l'algèbre
519.612 Méthodes numériques de résolution de systèmes d'équations linéaires.matrice carrée. Matrice générale.
519.614 Méthodes numériques de calcul des valeurs propres et vecteurs propres des matrices.
519.615 Méthodes numériques de résolution d'équations transcendantes et de systèmes d'équations
519.63 Méthodes numériques pour la résolution d'équations aux dérivées partielles
519.642
519.67 Machines à calculer, méthodes graphiques et autres procédés des mathématiques numériques
519.673 Résolution de problèmes mathématiques par modélisation. Calculatrices analogiques.
519.675 Nomographie. Appareils nomographiques
519.68 Programation informatique
519.682 Langages de programmation. Métalangages
519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques.
519.7 Cybernétique matématique
519.7+621.391 Cybernétique mathématique + Notions générales sur l'ingénierie des Communications électriques.Cybernétique.Théorie de l'information.Théorie des signaux
519.71 Théorie des systèmes de contrôle: aspects mathématiques
519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux
519.715 Problèmes d'analyse de la théorie du contrôle.
519.718 Stabilité. Fiabilité. Vérification. Synthèse. Systèmes de correction des erreurs. Tests
519.72 Théorie de l'information: aspects mathématiques.
519.8 Recherche opérationnelle
519.828 5
519.83 Théorie des jeux
519.85 Programmation mathématique
519.852 Programmation linéaire. Méthode du simplexe
519.854 Programmation discrète
519.857
519.863 Modèles d'optimisation
519.872 Théorie des files d'attente. Système de service. Simulation numérique
519.873 Théorie de la fiabilité et de la réserve. Contrôle de qualité
519.876 Théorie des grands systèmes
519.876.5 Représentation numérique de systèmes. Simulation
51967
Ouvrages de la bibliothèque en indexation 519.6
Faire une suggestion Affiner la rechercheNumerical recipes in pascal / William Angus
Titre : Numerical recipes in pascal Type de document : texte imprimé Auteurs : William Angus, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 1989 Importance : 720 p Format : 24 cm Langues : Français (fre) Mots-clés : Mathématique minimization maximisation Index. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Numerical recipes in pascal [texte imprimé] / William Angus, Auteur . - Cambridge : Cambridge University Press, 1989 . - 720 p ; 24 cm.
Langues : Français (fre)
Mots-clés : Mathématique minimization maximisation Index. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 043.101 519.6 WIL Papier Bibliothèque Centrale Mathématiques Disponible Numerical recipes in Pascal / Press, William H
Titre : Numerical recipes in Pascal : the art of scientific computing Type de document : texte imprimé Auteurs : Press, William H, Auteur ; Brian P. Flannery, Auteur ; Teukolsky, Saul A, Auteur ; Vetterling, William T, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 1989 Importance : XXII-759 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-37516-0 Note générale : Bibliogr.p.727-731.-Index Langues : Français (fre) Mots-clés : Mathématiques -- Informatique
Pascal (Computer program language)
Analyse numérique -- Informatique
PASCAL (langage de programmation)Index. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : This is the greatly revised and greatly expanded Second Edition of the hugely popular Numerical Recipes: The Art of Scientific Computing. The product of a unique collaboration among four leading scientists in academic research and industry Numerical Recipes is a complete text and reference book on scientific computing. In a self-contained manner it proceeds from mathematical and theoretical considerations to actual practical computer routines. With over 100 new routines bringing the total to well over 300, plus upgraded versions of the original routines, this new edition remains the most practical, comprehensive handbook of scientific computing available today.
Highlights of the new material include :
- A new chapter on integral equations and inverse methods
- Multigrid and other methods for solving partial differential equations
- Improved random number routines
- Wavelet transforms
- The statistical bootstrap method
- A new chapter on "less-numerical" algorithms including compression coding and arbitrary precision arithmetic.
The book retains the informal easy-to-read style that made the first edition so popular, while introducing some more advanced topics. It is an ideal textbook for scientists and engineers and an indispensable reference for anyone who works in scientific computing. The Second Edition is availabe in FORTRAN, the traditional language for numerical calculations and in the increasingly popular C language.Note de contenu : 1. Preliminaries
2. Solution of linear algabraic equations
3. Interpolation and extrapolation
4. Integration of functions
5. Evaluation of functions
6. Special functions
7. Random numbers
8. Sorting
9. Root finding and nonlinear stes of equations
10. Minimization or maximization of functions
11. Eigensystems
12. Fourier transform spectral methods
13. Statistical description of data
14. Modeling of data
15. Integration of ordinary differential equations
16. Two point boundary value problems
17. Partial differential equations
Appendix A. References
Appendix B. Table of program dependenciesNumerical recipes in Pascal : the art of scientific computing [texte imprimé] / Press, William H, Auteur ; Brian P. Flannery, Auteur ; Teukolsky, Saul A, Auteur ; Vetterling, William T, Auteur . - Cambridge : Cambridge University Press, 1989 . - XXII-759 p. : ill. ; 24 cm.
ISBN : 978-0-521-37516-0
Bibliogr.p.727-731.-Index
Langues : Français (fre)
Mots-clés : Mathématiques -- Informatique
Pascal (Computer program language)
Analyse numérique -- Informatique
PASCAL (langage de programmation)Index. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : This is the greatly revised and greatly expanded Second Edition of the hugely popular Numerical Recipes: The Art of Scientific Computing. The product of a unique collaboration among four leading scientists in academic research and industry Numerical Recipes is a complete text and reference book on scientific computing. In a self-contained manner it proceeds from mathematical and theoretical considerations to actual practical computer routines. With over 100 new routines bringing the total to well over 300, plus upgraded versions of the original routines, this new edition remains the most practical, comprehensive handbook of scientific computing available today.
Highlights of the new material include :
- A new chapter on integral equations and inverse methods
- Multigrid and other methods for solving partial differential equations
- Improved random number routines
- Wavelet transforms
- The statistical bootstrap method
- A new chapter on "less-numerical" algorithms including compression coding and arbitrary precision arithmetic.
The book retains the informal easy-to-read style that made the first edition so popular, while introducing some more advanced topics. It is an ideal textbook for scientists and engineers and an indispensable reference for anyone who works in scientific computing. The Second Edition is availabe in FORTRAN, the traditional language for numerical calculations and in the increasingly popular C language.Note de contenu : 1. Preliminaries
2. Solution of linear algabraic equations
3. Interpolation and extrapolation
4. Integration of functions
5. Evaluation of functions
6. Special functions
7. Random numbers
8. Sorting
9. Root finding and nonlinear stes of equations
10. Minimization or maximization of functions
11. Eigensystems
12. Fourier transform spectral methods
13. Statistical description of data
14. Modeling of data
15. Integration of ordinary differential equations
16. Two point boundary value problems
17. Partial differential equations
Appendix A. References
Appendix B. Table of program dependenciesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 043101 519.6 NUM Papier Bibliothèque Centrale Mathématiques Disponible Object-oriented methods and finite element analysis / R.I. Mackie
Titre : Object-oriented methods and finite element analysis Type de document : texte imprimé Auteurs : R.I. Mackie, Auteur Editeur : Stirling : Saxe-Coburg publications Année de publication : 2001 Importance : 213 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-87467-208-1 Note générale : Bibliogr. Langues : Anglais (eng) Mots-clés : Éléments finis -- Méthode Index. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : This book describes the advantages of object oriented programming for finite element software development. The book explains the overall design philosophy as well as providing the reader with detailed programming information. The OO approach to finite element programming requires a radically different approach from that used for traditional finite element programming. The book highlights the differences and demonstrates the advantages of the OO approach. Sufficient detailed programming information is included to help readers to implement their own OO code or adapt the ideas presented in the book. Note de contenu : Au sommaire :
1. Introduction.
2. The Finite Element Method.
3. Object Oriented Programming.
4. The Finite Element Class System.
5. The Structural Model.
6. Equation Solving and Controlling the Calculation Process.
7. A Working Programme.
8. Concluding Remarks.Object-oriented methods and finite element analysis [texte imprimé] / R.I. Mackie, Auteur . - Stirling : Saxe-Coburg publications, 2001 . - 213 p. : ill. ; 24 cm.
ISBN : 978-1-87467-208-1
Bibliogr.
Langues : Anglais (eng)
Mots-clés : Éléments finis -- Méthode Index. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : This book describes the advantages of object oriented programming for finite element software development. The book explains the overall design philosophy as well as providing the reader with detailed programming information. The OO approach to finite element programming requires a radically different approach from that used for traditional finite element programming. The book highlights the differences and demonstrates the advantages of the OO approach. Sufficient detailed programming information is included to help readers to implement their own OO code or adapt the ideas presented in the book. Note de contenu : Au sommaire :
1. Introduction.
2. The Finite Element Method.
3. Object Oriented Programming.
4. The Finite Element Class System.
5. The Structural Model.
6. Equation Solving and Controlling the Calculation Process.
7. A Working Programme.
8. Concluding Remarks.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 053285 519.6 MAC Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place Outils mathématiques pour l'étudiant, l'ingénieur et le chercheur avec MATLAB / Jean-Thierry Lapresté
Titre : Outils mathématiques pour l'étudiant, l'ingénieur et le chercheur avec MATLAB Type de document : texte imprimé Auteurs : Jean-Thierry Lapresté, Auteur ; Vial, Christophe, Auteur Editeur : Paris : Ellipses Année de publication : 2008 Importance : 350 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-3925-3 Langues : Français (fre) Mots-clés : MATLAB (logiciel)
Analyse numérique -- LogicielsIndex. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : Cet ouvrage s'adresse à des étudiants de licence et master ainsi qu'à des ingénieurs ou des chercheurs en activité qui, tout en n'étant pas des spécialistes de l'analyse numérique et des statistiques, sont, cependant, désireux de résoudre des problèmes concrets au moyen de méthodes à la fois simples, précises et robustes. L'outil que nous recommandons pour répondre à leurs préoccupations et supporter les calculs réclamés par ces approches est MATLAB. MATLAB est un acronyme pour " MATrix Laboratory ". ce produit a été développé par la société The Mathworks. Conçu à la base pour être un environnement de calcul scientifique et de visualisation de données, c'est aujourd'hui un langage de programmation concret et très aisé d'accès qui dispose d'un environnement graphique de développement simple et pratique. Non seulement MATLAB permet un gain substantiel de temps de développement par rapport à des approches mettant en jeu des langages traditionnels de programmation scientifiques tels que C, C++ ou FORTRAN, mais il possède les fonctionnalités complètes des approches récentes de la programmation tout en restant très abordables au débutant. De plus, il intègre un panel extrêmement large de fonctions de haut niveau qui permettent une couverture large des problèmes de base de l'ingénieur. Note de contenu :
1- LE B-A BA DE MATLAB
* Premières notions
* Structures de données
* Boucles et vectorisation
* Graphisme élémentaire MATLAB
* Le générateur d'interfaces graphiques de MATLAB
2- ANALYSE NUMERIQUE ELEMENTAIRE
* Interpolation et approximation de données
* Intégration et dérivation numérique
3- RACINES ET OPTIMISATION
* Racines
* Optimisation numérique et modélisation
4- EQUATIONS DIFFERENTIELLES
* Equations différentielles ordinaires
* Equations aux dérivées partielles unidirectionnelles
5- INCERTITUDE ET EVALUATION DES DONNEES NUMERIQUES
* Erreur numérique : les nombres et leurs représentations
* Distributions de probabilité et statistiques
* Conception et analyse d'expériencesOutils mathématiques pour l'étudiant, l'ingénieur et le chercheur avec MATLAB [texte imprimé] / Jean-Thierry Lapresté, Auteur ; Vial, Christophe, Auteur . - Paris : Ellipses, 2008 . - 350 p. : ill. ; 26 cm.
ISBN : 978-2-7298-3925-3
Langues : Français (fre)
Mots-clés : MATLAB (logiciel)
Analyse numérique -- LogicielsIndex. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : Cet ouvrage s'adresse à des étudiants de licence et master ainsi qu'à des ingénieurs ou des chercheurs en activité qui, tout en n'étant pas des spécialistes de l'analyse numérique et des statistiques, sont, cependant, désireux de résoudre des problèmes concrets au moyen de méthodes à la fois simples, précises et robustes. L'outil que nous recommandons pour répondre à leurs préoccupations et supporter les calculs réclamés par ces approches est MATLAB. MATLAB est un acronyme pour " MATrix Laboratory ". ce produit a été développé par la société The Mathworks. Conçu à la base pour être un environnement de calcul scientifique et de visualisation de données, c'est aujourd'hui un langage de programmation concret et très aisé d'accès qui dispose d'un environnement graphique de développement simple et pratique. Non seulement MATLAB permet un gain substantiel de temps de développement par rapport à des approches mettant en jeu des langages traditionnels de programmation scientifiques tels que C, C++ ou FORTRAN, mais il possède les fonctionnalités complètes des approches récentes de la programmation tout en restant très abordables au débutant. De plus, il intègre un panel extrêmement large de fonctions de haut niveau qui permettent une couverture large des problèmes de base de l'ingénieur. Note de contenu :
1- LE B-A BA DE MATLAB
* Premières notions
* Structures de données
* Boucles et vectorisation
* Graphisme élémentaire MATLAB
* Le générateur d'interfaces graphiques de MATLAB
2- ANALYSE NUMERIQUE ELEMENTAIRE
* Interpolation et approximation de données
* Intégration et dérivation numérique
3- RACINES ET OPTIMISATION
* Racines
* Optimisation numérique et modélisation
4- EQUATIONS DIFFERENTIELLES
* Equations différentielles ordinaires
* Equations aux dérivées partielles unidirectionnelles
5- INCERTITUDE ET EVALUATION DES DONNEES NUMERIQUES
* Erreur numérique : les nombres et leurs représentations
* Distributions de probabilité et statistiques
* Conception et analyse d'expériencesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 052029 519.6 LAP Papier Bibliothèque Centrale Mathématiques Disponible Outils mathématiques pour l'informaticien / Marchand,Michel
Titre : Outils mathématiques pour l'informaticien : mathématiques discrétes : cours et exercices corrigés Type de document : texte imprimé Auteurs : Marchand,Michel, Auteur Mention d'édition : 2 éd Editeur : Bruxelles : De Boeck Année de publication : 2005 Collection : Licence Maîtrise Doctorat Importance : 440 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-8041-4963-5 Note générale : Bibliogr. p. [429]-430. Index Langues : Français (fre) Mots-clés : Informatique -- Mathématiques Algorithmes Codage -- Problèmes et exercices
Langages formels -- Problèmes et exercices
Ensembles, Théorie desIndex. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé :
En quoi les maths peuvent-elles aider les étudiants en informatique ? Ce livre s'adresse à tout étudiant en premier cycle qui s'initie à (informatique et constitue une référence précieuse pour un cours de méthodologie de la programmation. Il aborde les notions mathématiques de base dans le souci constant de mettre en évidence leur utilité dans les différents secteurs de l'informatique, Les cinq premiers chapitres parcourent les notions générales de calcul propositionnel et des prédicats, de combinatoire, de récurrence et de récursivité, d'arithmétique des entiers, de calcul ensembliste et relationnel, de structure ordonnée, d'algèbre de Boole. Les cinq autres chapitres sont consacrés à des sujets plus directement tournés vers des applications informatiques . étude des graphes, techniques de codage et de décodage exploitant des structures algébriques, approche de la théorie des langages formels et des automates à nombre fini d'états. Clair et. progressif, (exposé est émaillé de nombreux exemples et de graphiques. De nombreux algorithmes, présentés dans le langage lava, illustrent les manipulations des concepts rencontrés. Plus de 400 corrigés permettent au lecteur de parfaire sa compréhension et sa maîtrise des notions étudiées, et contribuent à faire de cet ouvrage un merveilleux support de formation.Note de contenu :
* Logique.
* Fondements.
* Relations.
* Fonctions.
* Structures ordonnées.
* Graphes.
* Structures algébriques.
* Codage-décodage.
* Langages formels.
* Automates finis.Outils mathématiques pour l'informaticien : mathématiques discrétes : cours et exercices corrigés [texte imprimé] / Marchand,Michel, Auteur . - 2 éd . - De Boeck, 2005 . - 440 p. : ill. ; 24 cm. - (Licence Maîtrise Doctorat) .
ISBN : 978-2-8041-4963-5
Bibliogr. p. [429]-430. Index
Langues : Français (fre)
Mots-clés : Informatique -- Mathématiques Algorithmes Codage -- Problèmes et exercices
Langages formels -- Problèmes et exercices
Ensembles, Théorie desIndex. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé :
En quoi les maths peuvent-elles aider les étudiants en informatique ? Ce livre s'adresse à tout étudiant en premier cycle qui s'initie à (informatique et constitue une référence précieuse pour un cours de méthodologie de la programmation. Il aborde les notions mathématiques de base dans le souci constant de mettre en évidence leur utilité dans les différents secteurs de l'informatique, Les cinq premiers chapitres parcourent les notions générales de calcul propositionnel et des prédicats, de combinatoire, de récurrence et de récursivité, d'arithmétique des entiers, de calcul ensembliste et relationnel, de structure ordonnée, d'algèbre de Boole. Les cinq autres chapitres sont consacrés à des sujets plus directement tournés vers des applications informatiques . étude des graphes, techniques de codage et de décodage exploitant des structures algébriques, approche de la théorie des langages formels et des automates à nombre fini d'états. Clair et. progressif, (exposé est émaillé de nombreux exemples et de graphiques. De nombreux algorithmes, présentés dans le langage lava, illustrent les manipulations des concepts rencontrés. Plus de 400 corrigés permettent au lecteur de parfaire sa compréhension et sa maîtrise des notions étudiées, et contribuent à faire de cet ouvrage un merveilleux support de formation.Note de contenu :
* Logique.
* Fondements.
* Relations.
* Fonctions.
* Structures ordonnées.
* Graphes.
* Structures algébriques.
* Codage-décodage.
* Langages formels.
* Automates finis.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 049302 519.6 MAR Papier Bibliothèque Centrale Mathématiques Disponible En bon état 049303 519.6 MAR Papier Bibliothèque Centrale Mathématiques Disponible Practical optimization / Gill,Philip E
PermalinkProblèmes de probabilités et de statistiques / Alain Baille ; Bernard Van Cutsem
PermalinkProgrammation / F.H. Raymond
PermalinkProgrammation fonctionnelle / Couturier , Alain
PermalinkProgrammation fonctionnelle / Couturier , Alain ; Gerald Jean - Baptiste
PermalinkProgramming finite elements in Java™ / Gennadiy Nikishkov
PermalinkSchaum's outline of theory and problems of finite element analysis / George R. Buchanan
PermalinkTechniques opérationnelles d'ordonnancement / Edmond Maurel
PermalinkTheoretical numerical analysis / Kendall Atkinson
PermalinkAlgorithmes numériques analyse et mise en oeuvre, 2. Équations et systèmes non linéaires / Jean Vignes
Permalink