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
510.5 : Algorithmes. Fonctions calculables
510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique, etc.
510.21 considérations philosophiques générales.
510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux
510.51 Théorie des algorithmes: considérations générales
510.56 HAU
510.6 Logique mathématique
510.62 Langages logiques. Langages logico-objectifs
510.64 Systèmes non classiques, systèmes formels de logique. Logique modale. Logique polyvalente. Syllogistique. Logique inductive. Logique probabiliste.
510.65 Théories logico-mathématiques. Arithmétique formelle. Théorie formelle des nombres
510.67 Théorie des Modèles
510.76
510.21 considérations philosophiques générales.
510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux
510.51 Théorie des algorithmes: considérations générales
510.56 HAU
510.6 Logique mathématique
510.62 Langages logiques. Langages logico-objectifs
510.64 Systèmes non classiques, systèmes formels de logique. Logique modale. Logique polyvalente. Syllogistique. Logique inductive. Logique probabiliste.
510.65 Théories logico-mathématiques. Arithmétique formelle. Théorie formelle des nombres
510.67 Théorie des Modèles
510.76
Ouvrages de la bibliothèque en indexation 510.5
Faire une suggestion Affiner la rechercheAlgorithmes mathematiques et langage basic / Rabah Khima
Titre : Algorithmes mathematiques et langage basic Type de document : texte imprimé Auteurs : Rabah Khima, Auteur Editeur : Alger : OPU Année de publication : 1988 Importance : 158 p. Présentation : ill. Format : 24 cm Note générale : Bibliogr. 158 p. Langues : Français (fre) Mots-clés : Algorithmes
Langage basicIndex. décimale : 510.5 Algorithmes. Fonctions calculables Note de contenu : Au Sommaire:
1. Le triangle de p'scal
2. La table financière
3. Le classement des nombres
4. le calcul d'un déterminant d'ordre n
5. l'inversion d'une matrice carree
6. la pseudo-inverse d'une matrice rectangulaire
7. La triangularisation d'une matrice carree-gauss
8. La diagonalisation d'une matrice carree-jordan
9. La decomposition d'une matrice-dantzig
10. La matrice normalisee
11. le point de "selle" d'une matrice
12. Un probleme de combinaisons
13. Les Integrales de fresnels
14. Le carree magique
15. La regression simple
16. La regression polynomiale
17. Un probleme de comparaison
18. La methode du simplexAlgorithmes mathematiques et langage basic [texte imprimé] / Rabah Khima, Auteur . - Alger : OPU, 1988 . - 158 p. : ill. ; 24 cm.
Bibliogr. 158 p.
Langues : Français (fre)
Mots-clés : Algorithmes
Langage basicIndex. décimale : 510.5 Algorithmes. Fonctions calculables Note de contenu : Au Sommaire:
1. Le triangle de p'scal
2. La table financière
3. Le classement des nombres
4. le calcul d'un déterminant d'ordre n
5. l'inversion d'une matrice carree
6. la pseudo-inverse d'une matrice rectangulaire
7. La triangularisation d'une matrice carree-gauss
8. La diagonalisation d'une matrice carree-jordan
9. La decomposition d'une matrice-dantzig
10. La matrice normalisee
11. le point de "selle" d'une matrice
12. Un probleme de combinaisons
13. Les Integrales de fresnels
14. Le carree magique
15. La regression simple
16. La regression polynomiale
17. Un probleme de comparaison
18. La methode du simplexExemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Algorithmique / Thomas H. Cormen
Titre : Algorithmique : cours avec 957 exercices et 158 problèmes Type de document : texte imprimé Auteurs : Thomas H. Cormen, Auteur ; Charles Eric. Leiserson, Auteur ; Ronald L. Rivest, Auteur Mention d'édition : 3e éd. Editeur : Paris : Dunod Année de publication : 2010 Importance : XXIX, 1188 p. Présentation : ill. Format : 25 cm. ISBN/ISSN/EAN : 978-2-10-054526-1 Langues : Français (fre) Mots-clés : Ordinateurs -- Programmation
Algorithmes -- Problèmes et exercices
Structures de données (informatique)Index. décimale : 510.5 Algorithmes. Fonctions calculables Résumé : Cet ouvrage s'est imposé comme une référence mondiale pour l'enseignement de l'algorithmique. Exhaustif et facile d'accès, c'est un outil de travail complet et indispensable pour les étudiants. Cette 3e édition est entièrement révisée et mise à jour, avec deux nouveaux chapitres.
L'éventail des algorithmes étudiés va des plus classiques, comme les algorithmes de tri et les fonctions de hachage, aux plus récents, comme ceux de la cryptographie, permettant ainsi de passer progressivement des notions élémentaires aux thèmes les plus pointus.
Les algorithmes sont rédigés en français et dans un pseudo-code proche des langages Pascal, C et Java. Ils sont analysés en profondeur et complétés par des preuves mathématiques. De nombreux exemples, figures, études de cas et exercices de difficulté graduée complètent les explications. Au total, ce sont les énoncés de 957 exercices et 158 problèmes qui sont proposés, dont certains sont nouveaux dans cette 3e édition. Les solutions de 80 d'entre eux sont accessibles en ligne sur le site www.dunod.comNote de contenu : Au sommaire :
1. Rôles des algorithmes en informatique
2. Premiers pas
3. Croissance des fonctions
...
II. Tri et rangs
6. Tri par tas
7. Tri rapide
8. Tri en temps linéaire
...
III. Structures de données
10. Structures de données élémentaires
11. Tables de hachage
12. Arbres binaires de recherche
...
IV. Techniques avancées de conception et d’analyse
15. Programmation dynamique
16. Algorithmes gloutons
17. Analyse amortie
V. Structures de données avancées
18. B-arbres
19. Tas de Fibonacci
20. Arbres de Van Emde Boas
...
VI. Algorithmes pour les graphes
22. Algorithmes élémentaires pour les graphes
23. Arbres couvrants minimaux
24. Plus courts chemins à l’origine unique
...Algorithmique : cours avec 957 exercices et 158 problèmes [texte imprimé] / Thomas H. Cormen, Auteur ; Charles Eric. Leiserson, Auteur ; Ronald L. Rivest, Auteur . - 3e éd. . - Paris : Dunod, 2010 . - XXIX, 1188 p. : ill. ; 25 cm.
ISBN : 978-2-10-054526-1
Langues : Français (fre)
Mots-clés : Ordinateurs -- Programmation
Algorithmes -- Problèmes et exercices
Structures de données (informatique)Index. décimale : 510.5 Algorithmes. Fonctions calculables Résumé : Cet ouvrage s'est imposé comme une référence mondiale pour l'enseignement de l'algorithmique. Exhaustif et facile d'accès, c'est un outil de travail complet et indispensable pour les étudiants. Cette 3e édition est entièrement révisée et mise à jour, avec deux nouveaux chapitres.
L'éventail des algorithmes étudiés va des plus classiques, comme les algorithmes de tri et les fonctions de hachage, aux plus récents, comme ceux de la cryptographie, permettant ainsi de passer progressivement des notions élémentaires aux thèmes les plus pointus.
Les algorithmes sont rédigés en français et dans un pseudo-code proche des langages Pascal, C et Java. Ils sont analysés en profondeur et complétés par des preuves mathématiques. De nombreux exemples, figures, études de cas et exercices de difficulté graduée complètent les explications. Au total, ce sont les énoncés de 957 exercices et 158 problèmes qui sont proposés, dont certains sont nouveaux dans cette 3e édition. Les solutions de 80 d'entre eux sont accessibles en ligne sur le site www.dunod.comNote de contenu : Au sommaire :
1. Rôles des algorithmes en informatique
2. Premiers pas
3. Croissance des fonctions
...
II. Tri et rangs
6. Tri par tas
7. Tri rapide
8. Tri en temps linéaire
...
III. Structures de données
10. Structures de données élémentaires
11. Tables de hachage
12. Arbres binaires de recherche
...
IV. Techniques avancées de conception et d’analyse
15. Programmation dynamique
16. Algorithmes gloutons
17. Analyse amortie
V. Structures de données avancées
18. B-arbres
19. Tas de Fibonacci
20. Arbres de Van Emde Boas
...
VI. Algorithmes pour les graphes
22. Algorithmes élémentaires pour les graphes
23. Arbres couvrants minimaux
24. Plus courts chemins à l’origine unique
...Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 053663 510.5 COR Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place Ant colony optimization / Marco Dorigo
Titre : Ant colony optimization Type de document : texte imprimé Auteurs : Marco Dorigo, Auteur ; Thomas Stützle, Auteur Editeur : Cambridge : The M. I. T. press Année de publication : 2004 Importance : XIV,305 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-262-04219-2 Note générale : Bibliogr. p. [277]-300. - Index Langues : Anglais (eng) Mots-clés : Mathematical optimization
Ants -- Behavior -- Mathematical models
Fourmis -- Moeurs et comportement -- Modèles mathématiques
Optimisation mathématique
Algorithmes optimauxIndex. décimale : 510.5 Algorithmes. Fonctions calculables Résumé :
The complex social behaviors of ants have been much studied by science, and computer scientists are w finding that these behavior patterns can provide models for solving difficult combinatorial optimization problems. The attempt to develop algorithms inspired by one aspect of ant behavior, the ability to find what computer scientists would call shortest paths, has become the field of ant colony optimization (ACO), the most successful and widely recognized algorithmic technique based on ant behavior. This book presents an overview of this rapidly growing field, from its theoretical inception to practical applications, including descriptions of many available ACO algorithms and their uses. The book first describes the translation of observed ant behavior into working optimization algorithms. The ant colony metaheuristic is then introduced and viewed in the general context of combinatorial optimization. This is followed by a detailed description and guide to all major ACO algorithms and a report on current theoretical findings. The book surveys ACO applications w in use, including routing, assignment, scheduling, subset, machine learning, and bioinformatics problems. AntNet, an ACO algorithm designed for the network routing problem, is described in detail. The authors conclude by summarizing the progress in the field and outlining future research directions. Each chapter ends with bibliographic material, bullet points setting out important ideas covered in the chapter, and exercises. Ant Colony Optimization will be of interest to academic and industry researchers, graduate students, and practitioners who wish to learn how to implement ACO algorithms.Note de contenu : Summary :
1. From real ro artificials ants.
2. The ant colony optimization metaheuristic.
3. At colony optimization algorithms for the traveling salesman problem.
4. Ant colony optimization theory.
5. Ant colony optimization for NP-Hard problems.
6. AntNet: an ACO algorithm for data network routing.
7. Conclusions and prospects for the future.Ant colony optimization [texte imprimé] / Marco Dorigo, Auteur ; Thomas Stützle, Auteur . - Cambridge : The M. I. T. press, 2004 . - XIV,305 p. : ill. ; 24 cm.
ISBN : 978-0-262-04219-2
Bibliogr. p. [277]-300. - Index
Langues : Anglais (eng)
Mots-clés : Mathematical optimization
Ants -- Behavior -- Mathematical models
Fourmis -- Moeurs et comportement -- Modèles mathématiques
Optimisation mathématique
Algorithmes optimauxIndex. décimale : 510.5 Algorithmes. Fonctions calculables Résumé :
The complex social behaviors of ants have been much studied by science, and computer scientists are w finding that these behavior patterns can provide models for solving difficult combinatorial optimization problems. The attempt to develop algorithms inspired by one aspect of ant behavior, the ability to find what computer scientists would call shortest paths, has become the field of ant colony optimization (ACO), the most successful and widely recognized algorithmic technique based on ant behavior. This book presents an overview of this rapidly growing field, from its theoretical inception to practical applications, including descriptions of many available ACO algorithms and their uses. The book first describes the translation of observed ant behavior into working optimization algorithms. The ant colony metaheuristic is then introduced and viewed in the general context of combinatorial optimization. This is followed by a detailed description and guide to all major ACO algorithms and a report on current theoretical findings. The book surveys ACO applications w in use, including routing, assignment, scheduling, subset, machine learning, and bioinformatics problems. AntNet, an ACO algorithm designed for the network routing problem, is described in detail. The authors conclude by summarizing the progress in the field and outlining future research directions. Each chapter ends with bibliographic material, bullet points setting out important ideas covered in the chapter, and exercises. Ant Colony Optimization will be of interest to academic and industry researchers, graduate students, and practitioners who wish to learn how to implement ACO algorithms.Note de contenu : Summary :
1. From real ro artificials ants.
2. The ant colony optimization metaheuristic.
3. At colony optimization algorithms for the traveling salesman problem.
4. Ant colony optimization theory.
5. Ant colony optimization for NP-Hard problems.
6. AntNet: an ACO algorithm for data network routing.
7. Conclusions and prospects for the future.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 057744 510.5 DOR Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place Exercices corrigés d'algorithmique / Brahim Bessaa
Titre : Exercices corrigés d'algorithmique Type de document : texte imprimé Auteurs : Brahim Bessaa, Auteur Editeur : Alger : Les pages bleues internationales Année de publication : 2018 Collection : Les fascicules du LMD Importance : 230 p. Format : 24 cm ISBN/ISSN/EAN : 978-994-7341-28-5 Note générale : La page de couv. et de titre porte en plus : "Cet ouvrage est destiné aux 1ère années LMD des domaines suivants: Math-info, sciences et technologie(ST) et sciences de la matière(SM) et les classes préparatoires des écoles d'ingénieurs et aux spécialités informatiques de la formation professionnelle".
Notes bibliogr.Langues : Français (fre) Mots-clés : Algorithmes -- Problèmes et exercices
Programmation (mathématiques)Index. décimale : 510.5 Algorithmes. Fonctions calculables Résumé :
Ce document pédagogique est principalement destiné aux étudiants de la 1ère année de licence en mathématique et informatique. Il contient des exercices cernant tout le programmes. L'auteur a effectué un choix original des exercices de base et d'autres plus complexes afin que les étudiants maitrisent la programmation. La lecture de l'ouvrage facilité aux étudiants de traiter les exercices. En effet, les solutions qui leur sont données constituent la garantie de leur faisabilité tout en leur fournissant la meilleure solution.Note de contenu : Au sommaire :
1. Les structures de contrôle.
2. Les tableaux (Vecteurs-Matrices-Chaines).
3. Les actions paramétrées (Procédures et fonctions).
4. Les enregistrements
5. Les fichiers séquentiels.
6. Les pointeurs et les listes.Exercices corrigés d'algorithmique [texte imprimé] / Brahim Bessaa, Auteur . - Les pages bleues internationales, 2018 . - 230 p. ; 24 cm. - (Les fascicules du LMD) .
ISBN : 978-994-7341-28-5
La page de couv. et de titre porte en plus : "Cet ouvrage est destiné aux 1ère années LMD des domaines suivants: Math-info, sciences et technologie(ST) et sciences de la matière(SM) et les classes préparatoires des écoles d'ingénieurs et aux spécialités informatiques de la formation professionnelle".
Notes bibliogr.
Langues : Français (fre)
Mots-clés : Algorithmes -- Problèmes et exercices
Programmation (mathématiques)Index. décimale : 510.5 Algorithmes. Fonctions calculables Résumé :
Ce document pédagogique est principalement destiné aux étudiants de la 1ère année de licence en mathématique et informatique. Il contient des exercices cernant tout le programmes. L'auteur a effectué un choix original des exercices de base et d'autres plus complexes afin que les étudiants maitrisent la programmation. La lecture de l'ouvrage facilité aux étudiants de traiter les exercices. En effet, les solutions qui leur sont données constituent la garantie de leur faisabilité tout en leur fournissant la meilleure solution.Note de contenu : Au sommaire :
1. Les structures de contrôle.
2. Les tableaux (Vecteurs-Matrices-Chaines).
3. Les actions paramétrées (Procédures et fonctions).
4. Les enregistrements
5. Les fichiers séquentiels.
6. Les pointeurs et les listes.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 057247 510.5 BES Papier Bibliothèque Annexe Mathématiques Disponible En bon état 057248 510.5 BES Papier Bibliothèque Annexe Mathématiques Disponible En bon état 057249 510.5 BES Papier Bibliothèque Annexe Mathématiques Disponible En bon état 057250 510.5 BES Papier Bibliothèque Annexe Mathématiques Disponible En bon état 057251 510.5 BES Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place Mini manuel d'algorithmique et de programmation / Vincent Granet
Titre : Mini manuel d'algorithmique et de programmation : cours + exos corrigés Type de document : texte imprimé Auteurs : Vincent Granet, Auteur Editeur : Paris : Dunod Année de publication : 2012 Collection : Mini manuel Importance : X, 175 p. Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-10-057350-9 Note générale : Le code source des listings est disponible sur le site de Dunod, sur la page dédiée à cet ouvrage. - DUT, L1-L2, école d'ingénieurs . - Bibliogr. p. [171]. - Index Langues : Français (fre) Mots-clés : Algorithmes -- Manuels d'enseignement supérieur
Algorithmes -- Problèmes et exercices
Ordinateurs -- Programmation -- Manuels d'enseignement supérieur
Ordinateurs -- Programmation -- Problèmes et exercices
C (langage de programmation)Index. décimale : 510.5 Algorithmes. Fonctions calculables Résumé : L'algorithmique et la programmation font partie des disciplines de base enseignées dès la première année de la licence d'informatique. Le but de ce mini-manuel est d'expliquer à l'étudiant comment écrire, compiler et exécuter son premier programme. Le langage de programmation choisi pour cette première approche est le langage C. Il comporte une partie cours (2/3) et une partie exercices (1/3). Note de contenu : Au sommaire:
1. Actions élémentaires
2. Types élémentaires
3. Expressions
4. Enoncé conditionnel
5. Enoncés itératifs
6. Tableaux
7. Routines
8. Fichiers
9. Composition d'objets
10. ComplexitéMini manuel d'algorithmique et de programmation : cours + exos corrigés [texte imprimé] / Vincent Granet, Auteur . - Dunod, 2012 . - X, 175 p. : ill. ; 22 cm. - (Mini manuel) .
ISBN : 978-2-10-057350-9
Le code source des listings est disponible sur le site de Dunod, sur la page dédiée à cet ouvrage. - DUT, L1-L2, école d'ingénieurs . - Bibliogr. p. [171]. - Index
Langues : Français (fre)
Mots-clés : Algorithmes -- Manuels d'enseignement supérieur
Algorithmes -- Problèmes et exercices
Ordinateurs -- Programmation -- Manuels d'enseignement supérieur
Ordinateurs -- Programmation -- Problèmes et exercices
C (langage de programmation)Index. décimale : 510.5 Algorithmes. Fonctions calculables Résumé : L'algorithmique et la programmation font partie des disciplines de base enseignées dès la première année de la licence d'informatique. Le but de ce mini-manuel est d'expliquer à l'étudiant comment écrire, compiler et exécuter son premier programme. Le langage de programmation choisi pour cette première approche est le langage C. Il comporte une partie cours (2/3) et une partie exercices (1/3). Note de contenu : Au sommaire:
1. Actions élémentaires
2. Types élémentaires
3. Expressions
4. Enoncé conditionnel
5. Enoncés itératifs
6. Tableaux
7. Routines
8. Fichiers
9. Composition d'objets
10. ComplexitéExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 054285 510.5 GRA Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place Petit introduction à l'algorithmique / Pierre Damphousse
PermalinkLes structures de donneés et algorithmes avec l' utilisation des langages PASCAL et C / Mlle Makhlouf
Permalink