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... |
. Bibliothèque Centrale
Informatique > Mathématiques
Algorithmique moderne, analyse et complexité / Habiba Zerkaoui-Drias
Titre : Algorithmique moderne, analyse et complexité Type de document : texte imprimé Auteurs : Habiba Zerkaoui-Drias, Auteur Editeur : Alger : OPU Année de publication : 2017 Importance : 356 p. Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-9961-02-005-0 Note générale : Bibliogr. p. 347-349 Langues : Français (fre) Mots-clés : Algorithmes
Graphe -- Algorithmes
Intelligence artificielle
Analyse -- calcule
Problèmes NP-complets -- RésolutionIndex. décimale : 519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques. Résumé : Cet Ouvrage intitulé algorithmique moderne et complexité aborde en plus de l'algorithmique classique,les nouvelles tendances de résolution des problèmes complexe comme les problèmes du domaine de l'informatique. ainsi,une suite de connaissances se construit en commençant par la sensibilisation à la nécessité du calcule de la complexité d'un algorithme. Grâce à cet outil fondamental ,on arrive à discerner entre algorithme efficaces et algorithmes impraticables. de là est née, la classe des problèmes NP-complets encore mal résolus avec l'informatique actuelle. tout un chapitre et dédié à une introduction à ces problèmes. et pour boucler la problématique de l'algorithmique, des techniques modernes basées sur l'intelligence artificielle sont présentées comme solution aux problèmes complexes. Note de contenu : Au sommaire:
1. Introduction à la complexité de calcule
2. Structure de donnés élémentaires
3. Structure de donnés avancés
4. Techniques de conception d'algorithmes
5. Algorithmes de tri
6. Algorithme de graphesAlgorithmique moderne, analyse et complexité [texte imprimé] / Habiba Zerkaoui-Drias, Auteur . - Alger : OPU, 2017 . - 356 p. : ill. ; 22 cm.
ISBN : 978-9961-02-005-0
Bibliogr. p. 347-349
Langues : Français (fre)
Mots-clés : Algorithmes
Graphe -- Algorithmes
Intelligence artificielle
Analyse -- calcule
Problèmes NP-complets -- RésolutionIndex. décimale : 519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques. Résumé : Cet Ouvrage intitulé algorithmique moderne et complexité aborde en plus de l'algorithmique classique,les nouvelles tendances de résolution des problèmes complexe comme les problèmes du domaine de l'informatique. ainsi,une suite de connaissances se construit en commençant par la sensibilisation à la nécessité du calcule de la complexité d'un algorithme. Grâce à cet outil fondamental ,on arrive à discerner entre algorithme efficaces et algorithmes impraticables. de là est née, la classe des problèmes NP-complets encore mal résolus avec l'informatique actuelle. tout un chapitre et dédié à une introduction à ces problèmes. et pour boucler la problématique de l'algorithmique, des techniques modernes basées sur l'intelligence artificielle sont présentées comme solution aux problèmes complexes. Note de contenu : Au sommaire:
1. Introduction à la complexité de calcule
2. Structure de donnés élémentaires
3. Structure de donnés avancés
4. Techniques de conception d'algorithmes
5. Algorithmes de tri
6. Algorithme de graphesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 057647 519.688 ZER Papier Bibliothèque Centrale Informatique Disponible En bon état 057646 519.688 ZER Papier Bibliothèque Centrale Informatique Disponible En bon état 057645 519.688 ZER Papier Bibliothèque Centrale Informatique Disponible Consultation sur place Algorithmique et optimisation / Alain Darte ; Serge Vaudenay
Titre : Algorithmique et optimisation : exercices corrigés Type de document : texte imprimé Auteurs : Alain Darte, Auteur ; Serge Vaudenay, Auteur Editeur : Paris : Dunod Année de publication : 2001 Collection : Sciences sup Sous-collection : Informatique Importance : VIII-176 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005643-9 Note générale : La couv. porte en plus : "2e cycle. Ecoles d' ingénieurs". Index Langues : Français (fre) Mots-clés : Information
Graphes
Programmation (mathématiques)
Ordonnancement (gestion)
Algorithmes -- Problèmes et exercices
Optimisation mathématique -- Problèmes et exercicesIndex. décimale : 519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques. Résumé : Cet ouvrage est destiné aux étudiants en deuxième cycle d'informatique et aux élèves ingénieurs. Certains exercices s'adressent à des lecteurs ayant peu de connaissances en informatique et traitent de questions plus mathématiques : théorie de l'information, cryptographie ou algèbre. Ils peuvent nécessiter quelques notions élémentaires en théorie des nombres et calculs des probabilités. D'autres sont tournés principalement vers l'algorithmique, abordant des notions et structures de données souvent plus complexes : graphes, ordonnancement ou recherche d'éléments particuliers (par exemple un élément majoritaire). Les exercices sont tous présentés, corrigés et commentés dans un formalisme homogène et un style clair. Ils ont pour objectif de stimuler l'esprit d'initiative du lecteur, son inventivité, tout en insistant sur les problèmes de mise en oeuvre : la programmation. Note de contenu : Sommaire:
Algorithmique sur les graphes.
Problèmes d'ordonnancement.
Arithmétique.
Algèbre.
Théorie de l'information et de la complexité.
Optimisations, recherche d'éléments particuliers.Algorithmique et optimisation : exercices corrigés [texte imprimé] / Alain Darte, Auteur ; Serge Vaudenay, Auteur . - Dunod, 2001 . - VIII-176 p. : ill. ; 24 cm. - (Sciences sup. Informatique) .
ISBN : 978-2-10-005643-9
La couv. porte en plus : "2e cycle. Ecoles d' ingénieurs". Index
Langues : Français (fre)
Mots-clés : Information
Graphes
Programmation (mathématiques)
Ordonnancement (gestion)
Algorithmes -- Problèmes et exercices
Optimisation mathématique -- Problèmes et exercicesIndex. décimale : 519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques. Résumé : Cet ouvrage est destiné aux étudiants en deuxième cycle d'informatique et aux élèves ingénieurs. Certains exercices s'adressent à des lecteurs ayant peu de connaissances en informatique et traitent de questions plus mathématiques : théorie de l'information, cryptographie ou algèbre. Ils peuvent nécessiter quelques notions élémentaires en théorie des nombres et calculs des probabilités. D'autres sont tournés principalement vers l'algorithmique, abordant des notions et structures de données souvent plus complexes : graphes, ordonnancement ou recherche d'éléments particuliers (par exemple un élément majoritaire). Les exercices sont tous présentés, corrigés et commentés dans un formalisme homogène et un style clair. Ils ont pour objectif de stimuler l'esprit d'initiative du lecteur, son inventivité, tout en insistant sur les problèmes de mise en oeuvre : la programmation. Note de contenu : Sommaire:
Algorithmique sur les graphes.
Problèmes d'ordonnancement.
Arithmétique.
Algèbre.
Théorie de l'information et de la complexité.
Optimisations, recherche d'éléments particuliers.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 046984 519.688 DAR Papier Bibliothèque Centrale Informatique Disponible 048084 519.688 DAR Papier Bibliothèque Centrale Informatique Disponible Mathématiques discrètes appliquées à l'informatique / Rod Hoggarty
Titre : Mathématiques discrètes appliquées à l'informatique Type de document : texte imprimé Auteurs : Rod Hoggarty, Auteur Editeur : Paris : Pearson Education France Année de publication : 2005 Collection : Synthex informatique, ISSN 1768-7616 Importance : 219 p Présentation : ill Format : 27 cm ISBN/ISSN/EAN : 2-7440-7100-5 Mots-clés : 'Programmation discrète''Informatique' 'Mathématiques' Index. décimale : 519.854 Programmation discrète Résumé : La collection Synthex permet de s’initier progressivement à une discipline ou d’en réviser les principaux concepts. Chaque chapitre délivre une synthèse pédagogique rigoureuse des techniques et des fondements théoriques, suivie d'une sélection d'exercices avec leurs corrigés détaillés.
Les méthodes formelles utilisées en informatique s’appuient essentiellement sur des concepts mathématiques : théorie des ensembles, logique, combinatoire théorie des graphes. Ce livre est un rappel, clair et concis, des principales notions mathématiques utiles aux étudiants de première année de cursus informatique.
En neuf chapitres, l’ouvrage livre ainsi un rappel des notions indispensables en logique et en algorithmique : théorie des ensembles fonctions, combinatoire, théorie des graphes et algèbre booléenne.Note de contenu : Table des matières
Logique et preuve
Théorie des ensembles
Relations
Mathématiques combinatoires
Graphes
Graphes orientés
Algèbre de boole
ISBN 13 : 978-2744071003 Mathématiques discrètes appliquées à l'informatique [texte imprimé] / Rod Hoggarty, Auteur . - Pearson Education France, 2005 . - 219 p : ill ; 27 cm. - (Synthex informatique, ISSN 1768-7616) .
ISBN : 2-7440-7100-5
Mots-clés : 'Programmation discrète''Informatique' 'Mathématiques' Index. décimale : 519.854 Programmation discrète Résumé : La collection Synthex permet de s’initier progressivement à une discipline ou d’en réviser les principaux concepts. Chaque chapitre délivre une synthèse pédagogique rigoureuse des techniques et des fondements théoriques, suivie d'une sélection d'exercices avec leurs corrigés détaillés.
Les méthodes formelles utilisées en informatique s’appuient essentiellement sur des concepts mathématiques : théorie des ensembles, logique, combinatoire théorie des graphes. Ce livre est un rappel, clair et concis, des principales notions mathématiques utiles aux étudiants de première année de cursus informatique.
En neuf chapitres, l’ouvrage livre ainsi un rappel des notions indispensables en logique et en algorithmique : théorie des ensembles fonctions, combinatoire, théorie des graphes et algèbre booléenne.Note de contenu : Table des matières
Logique et preuve
Théorie des ensembles
Relations
Mathématiques combinatoires
Graphes
Graphes orientés
Algèbre de boole
ISBN 13 : 978-2744071003 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 050868 519.854 HAG Papier Bibliothèque Centrale Informatique Disponible En bon état Programmation linéaire avec EXCEL / Christian Prins
Titre : Programmation linéaire avec EXCEL Type de document : texte imprimé Auteurs : Christian Prins, Auteur ; Marc Sevaux, Auteur Editeur : Paris : Eyrolles Année de publication : 2011 Collection : Algorithmes Importance : XVIII, 388 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-2-212-12659-4 Note générale : La couv. porte en plus "55 problèmes d'optimisation modélisés pas à pas et résolus avec EXCEL" et "En complément sur www.editions-eyrolles.com : des applications supplémentaires, les fichiers Excel des 55 problèmes"
Bibliogr. p.373-382. - IndexLangues : Français (fre) Mots-clés : Programmation linéaire
Modèles mathématiques -- Logiciels
Optimisation mathématique -- Logiciels
Microsoft Excel (logiciel)Index. décimale : 519.852 Programmation linéaire. Méthode du simplexe Résumé : Premier du genre en français, cet ouvrage montre comment utiliser le logiciel Excel et son solveur pour résoudre des problèmes d'optimisation complexes dans les domaines les plus divers : gestion de production, ordonnancement, transport, économie et finances, gestion des organisations, aide à la décision, etc.
Le livre met l'accent sur la démarche de modélisation, appliquée à la résolution de 55 problèmes concrets regroupés par discipline. À partir du descriptif de chaque cas, vous apprendrez, pas à pas, à construire un modèle de programmation linéaire, à le traduire dans une feuille de calcul Excel et à le résoudre par l'intermédiaire du solveur, avec l'aide de macros VBA dans certains cas.
À qui s'adresse ce livre ?
* Aux utilisateurs d'Excel confrontés à des problèmes d'optimisation au quotidien.
* Aux décideurs, industriels, ingénieurs et responsables de services ayant à résoudre en entreprise des problèmes complexes d'optimisation et d'aide à la décision.
* Aux développeurs d'applications complètes sous Excel.
* Aux étudiants et élèves-ingénieurs des disciplines scientifiques et économiques.
* Aux enseignants de ces disciplines à la recherche d'un ouvrage complet avec études de cas sur la programmation linéaire.Note de contenu : Au sommaire:
1. Programmation linéaire
2. Programmation linéaire en nombres entiers
3. Le solveur d'Excel
4. Visual Basic et le solveur
5. Industrie minière et de process
6. Problèmes d'ordonnancement
7. Planification de production
8. Chargement et découpe
9. Transports terrestres
10. Transports aériens
11. Télécommunications
12. Économies et finances
13. Emplois du temps et gestion de personnel
14. Collectivités locales et services publicsProgrammation linéaire avec EXCEL [texte imprimé] / Christian Prins, Auteur ; Marc Sevaux, Auteur . - Eyrolles, 2011 . - XVIII, 388 p. : ill. ; 23 cm. - (Algorithmes) .
ISBN : 978-2-212-12659-4
La couv. porte en plus "55 problèmes d'optimisation modélisés pas à pas et résolus avec EXCEL" et "En complément sur www.editions-eyrolles.com : des applications supplémentaires, les fichiers Excel des 55 problèmes"
Bibliogr. p.373-382. - Index
Langues : Français (fre)
Mots-clés : Programmation linéaire
Modèles mathématiques -- Logiciels
Optimisation mathématique -- Logiciels
Microsoft Excel (logiciel)Index. décimale : 519.852 Programmation linéaire. Méthode du simplexe Résumé : Premier du genre en français, cet ouvrage montre comment utiliser le logiciel Excel et son solveur pour résoudre des problèmes d'optimisation complexes dans les domaines les plus divers : gestion de production, ordonnancement, transport, économie et finances, gestion des organisations, aide à la décision, etc.
Le livre met l'accent sur la démarche de modélisation, appliquée à la résolution de 55 problèmes concrets regroupés par discipline. À partir du descriptif de chaque cas, vous apprendrez, pas à pas, à construire un modèle de programmation linéaire, à le traduire dans une feuille de calcul Excel et à le résoudre par l'intermédiaire du solveur, avec l'aide de macros VBA dans certains cas.
À qui s'adresse ce livre ?
* Aux utilisateurs d'Excel confrontés à des problèmes d'optimisation au quotidien.
* Aux décideurs, industriels, ingénieurs et responsables de services ayant à résoudre en entreprise des problèmes complexes d'optimisation et d'aide à la décision.
* Aux développeurs d'applications complètes sous Excel.
* Aux étudiants et élèves-ingénieurs des disciplines scientifiques et économiques.
* Aux enseignants de ces disciplines à la recherche d'un ouvrage complet avec études de cas sur la programmation linéaire.Note de contenu : Au sommaire:
1. Programmation linéaire
2. Programmation linéaire en nombres entiers
3. Le solveur d'Excel
4. Visual Basic et le solveur
5. Industrie minière et de process
6. Problèmes d'ordonnancement
7. Planification de production
8. Chargement et découpe
9. Transports terrestres
10. Transports aériens
11. Télécommunications
12. Économies et finances
13. Emplois du temps et gestion de personnel
14. Collectivités locales et services publicsExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 054376 519.852 PRI Papier Bibliothèque Centrale Informatique Disponible Consultation sur place Statistique et informatique / L. Lallem
Titre : Statistique et informatique : les statistiques sous pascal,gw.basic et le langage graphique hpgl Type de document : texte imprimé Auteurs : L. Lallem, Auteur Editeur : Alger : Atlas Editions Importance : 390 p. Format : 24 cm. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : statistique ,les series numerique et les valeurs moyenes, representation graphique,series chronologiques. Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Cet ouvrage est destiné à tous ceux qui, dans leur vie scolaire ou professionnelle sont amenés à manipuler des séries statistiques, notamment:
-Les statisticiens et les informaticiens
-Les économistes, les financiers et les gestionnaires,
-Les sociologues et les démographes,
-Les géologues et les géophysiciens ect...Note de contenu : Sommaire:
-Partie 1: Statistique
*Chap.1: Les séries numériques et les valeurs moyennes
*Chap.2: Représentation graphique de séries numériques
...
-Partie 2: Probabilités
*Chap.11: Variables aléatoires et distributions de probabilités
*Chap.12: Distribution binomiale ou distribution de bernoulli
...
-Parti 3: Statistique et PASCAL
*Les séries numériques et les valeurs moyenne
*Caractéristique de dispersion: calcul des écarts
...Statistique et informatique : les statistiques sous pascal,gw.basic et le langage graphique hpgl [texte imprimé] / L. Lallem, Auteur . - Alger : Atlas Editions, [s.d.] . - 390 p. ; 24 cm.
Bibliogr.
Langues : Français (fre)
Mots-clés : statistique ,les series numerique et les valeurs moyenes, representation graphique,series chronologiques. Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Cet ouvrage est destiné à tous ceux qui, dans leur vie scolaire ou professionnelle sont amenés à manipuler des séries statistiques, notamment:
-Les statisticiens et les informaticiens
-Les économistes, les financiers et les gestionnaires,
-Les sociologues et les démographes,
-Les géologues et les géophysiciens ect...Note de contenu : Sommaire:
-Partie 1: Statistique
*Chap.1: Les séries numériques et les valeurs moyennes
*Chap.2: Représentation graphique de séries numériques
...
-Partie 2: Probabilités
*Chap.11: Variables aléatoires et distributions de probabilités
*Chap.12: Distribution binomiale ou distribution de bernoulli
...
-Parti 3: Statistique et PASCAL
*Les séries numériques et les valeurs moyenne
*Caractéristique de dispersion: calcul des écarts
...Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 042364 519.2+681.3 LAL Papier Bibliothèque Centrale Informatique Disponible Les structures de donneés et algorithmes avec l' utilisation des langages PASCAL et C / Mlle Makhlouf
Titre : Les structures de donneés et algorithmes avec l' utilisation des langages PASCAL et C Type de document : texte imprimé Auteurs : Mlle Makhlouf, Auteur Editeur : Alger : Berti Editions Année de publication : 2001 Importance : 133 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-9961-690-33-8 Note générale : Index Langues : Français (fre) Mots-clés : Algorithme " Programmation " Pascal -- Langage de programmation Index. décimale : 510.5 Algorithmes. Fonctions calculables Résumé : Cet ouvrage s’adresse aux étudiants des spécialités informatiques et plus généralement aux lecteurs souhaitant obtenir des bases solides nécessaires à une bonne activité de programmation quel que soit le langage support envisagé, la première parti consacré à l'étude et à la construction d'algorithmes des base, la manipulation des tableaux de données, aborde l'étude des structures de données avancées que sont les listes chaînées, les piles, les tables et les arbres. Il constitue ainsi une bonne préparation à l'utilisation des langages de programmation modernes et aux méthodes actuelles d'analyse des systèmes d'information. Note de contenu : Au sommaire :
1. Les concepts de base.
2. Les tableau.
3. Les chaines de caractères .
4. Les fonctions et procédures.
5. Les enregistrements.
6. Les pointeurs et listes linéaires chaînées.
7. Les fichiers.Les structures de donneés et algorithmes avec l' utilisation des langages PASCAL et C [texte imprimé] / Mlle Makhlouf, Auteur . - Alger : Berti Editions, 2001 . - 133 p. : ill. ; 24 cm.
ISBN : 978-9961-690-33-8
Index
Langues : Français (fre)
Mots-clés : Algorithme " Programmation " Pascal -- Langage de programmation Index. décimale : 510.5 Algorithmes. Fonctions calculables Résumé : Cet ouvrage s’adresse aux étudiants des spécialités informatiques et plus généralement aux lecteurs souhaitant obtenir des bases solides nécessaires à une bonne activité de programmation quel que soit le langage support envisagé, la première parti consacré à l'étude et à la construction d'algorithmes des base, la manipulation des tableaux de données, aborde l'étude des structures de données avancées que sont les listes chaînées, les piles, les tables et les arbres. Il constitue ainsi une bonne préparation à l'utilisation des langages de programmation modernes et aux méthodes actuelles d'analyse des systèmes d'information. Note de contenu : Au sommaire :
1. Les concepts de base.
2. Les tableau.
3. Les chaines de caractères .
4. Les fonctions et procédures.
5. Les enregistrements.
6. Les pointeurs et listes linéaires chaînées.
7. Les fichiers.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 053249 510.5 MAK Papier Bibliothèque Centrale Informatique Disponible Consultation sur place The design and analysis of computer algorithms / Alfred Aho
Titre : The design and analysis of computer algorithms Type de document : texte imprimé Auteurs : Alfred Aho, Auteur ; John E Hopcroft, Auteur ; Jeffrey D Ullman, Auteur Editeur : London : Addison-Wesley Année de publication : 1974 Importance : X- 470 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-201-00029-0 Note générale : Bibliogr.-Index. Langues : Anglais (eng) Mots-clés : Computer algorithms
Electronic digital computers -- Programming
Ordinateurs -- Programmation
AlgorithmesIndex. décimale : 519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques. Résumé : With this text, you gain an understanding of the fundamental concepts of algorithms, the very heart of computer science. It introduces the basic data structures and programming techniques often used in efficient algorithms. Covers use of lists, push-down stacks, queues, trees, and graphs. Later chapters go into sorting, searching and graphing algorithms, the string-matching algorithms, and the Schonhage-Strassen integer-multiplication algorithm. Provides numerous graded exercises at the end of each chapter. Note de contenu : Sommaire:
1. Models of computation
2. Design of efficient algorithms
3. Sorting and order statistics
4. Data structures for set mainipulation problems
5. Algorithms on graphs
...The design and analysis of computer algorithms [texte imprimé] / Alfred Aho, Auteur ; John E Hopcroft, Auteur ; Jeffrey D Ullman, Auteur . - London : Addison-Wesley, 1974 . - X- 470 p. : ill. ; 24 cm.
ISBN : 978-0-201-00029-0
Bibliogr.-Index.
Langues : Anglais (eng)
Mots-clés : Computer algorithms
Electronic digital computers -- Programming
Ordinateurs -- Programmation
AlgorithmesIndex. décimale : 519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques. Résumé : With this text, you gain an understanding of the fundamental concepts of algorithms, the very heart of computer science. It introduces the basic data structures and programming techniques often used in efficient algorithms. Covers use of lists, push-down stacks, queues, trees, and graphs. Later chapters go into sorting, searching and graphing algorithms, the string-matching algorithms, and the Schonhage-Strassen integer-multiplication algorithm. Provides numerous graded exercises at the end of each chapter. Note de contenu : Sommaire:
1. Models of computation
2. Design of efficient algorithms
3. Sorting and order statistics
4. Data structures for set mainipulation problems
5. Algorithms on graphs
...Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 044248 519.688 AHO Papier Bibliothèque Centrale Informatique Disponible Théorie des langages / Myriam Noureddine
Titre : Théorie des langages Type de document : texte imprimé Auteurs : Myriam Noureddine, Auteur Editeur : Alger : OPU Année de publication : 2004 Importance : 238 p. Format : 22 cm ISBN/ISSN/EAN : 978-9961-00-813-3 Langues : Français (fre) Mots-clés : Langages de programmation Index. décimale : 519.682 Langages de programmation. Métalangages Résumé : Ce cours de théorie des langages tire son origine de l'enseignement du module dispensé à l'institut d'informatique de L'USTO dans le cadre de la préparation au diplôme d'ingénieur d'état. Note de contenu :
- Présentation du cours
- Les langues
- Représentation des langues
- Les automates d’états finis
- Les langues réguliers
- Les langues algébriques
- Les automates a pile
- Les langues de type
- Les langues de type
- Introduction a la théorie de la calculabilitéThéorie des langages [texte imprimé] / Myriam Noureddine, Auteur . - Alger : OPU, 2004 . - 238 p. ; 22 cm.
ISBN : 978-9961-00-813-3
Langues : Français (fre)
Mots-clés : Langages de programmation Index. décimale : 519.682 Langages de programmation. Métalangages Résumé : Ce cours de théorie des langages tire son origine de l'enseignement du module dispensé à l'institut d'informatique de L'USTO dans le cadre de la préparation au diplôme d'ingénieur d'état. Note de contenu :
- Présentation du cours
- Les langues
- Représentation des langues
- Les automates d’états finis
- Les langues réguliers
- Les langues algébriques
- Les automates a pile
- Les langues de type
- Les langues de type
- Introduction a la théorie de la calculabilitéExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 050296 519.682 NOU Papier Bibliothèque Centrale Informatique Disponible Informatique théorique. Logique et démonstration automatique / Stéphane Devismes
Titre de série : Informatique théorique Titre : Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre Type de document : texte imprimé Auteurs : Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup Importance : 209 p. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Note générale : Bibliogr. p.205. - Index Langues : Français (fre) Mots-clés : Logique du premier ordre -- Manuels d'enseignement supérieur
Calcul des propositions -- Manuels d'enseignement supérieur
Boole, Algèbre de -- Manuels d'enseignement supérieur
Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur
Algorithmes -- Manuels d'enseignement supérieurIndex. décimale : 510.6 Logique mathématique 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 : Au sommaire:
I. Logique propositionnelle
1. Logique propositionnelle
2. Résolution propositionnelle
3. Déduction Naturelle
II. Logique du premier ordre
4. Logique du premier ordre
5. Base de la démonstration automatique
6. Déduction naturelle au premier ordre : quantificateurs,
III. copie et égalitéInformatique théorique. Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur . - Ellipses, 2012 . - 209 p. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-7229-8
Bibliogr. p.205. - Index
Langues : Français (fre)
Mots-clés : Logique du premier ordre -- Manuels d'enseignement supérieur
Calcul des propositions -- Manuels d'enseignement supérieur
Boole, Algèbre de -- Manuels d'enseignement supérieur
Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur
Algorithmes -- Manuels d'enseignement supérieurIndex. décimale : 510.6 Logique mathématique 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 : Au sommaire:
I. Logique propositionnelle
1. Logique propositionnelle
2. Résolution propositionnelle
3. Déduction Naturelle
II. Logique du premier ordre
4. Logique du premier ordre
5. Base de la démonstration automatique
6. Déduction naturelle au premier ordre : quantificateurs,
III. copie et égalitéExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 054908 510.6 DEV Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 054907 510.6 DEV Papier Bibliothèque Centrale Informatique Disponible En bon état