الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Détail de l'auteur
Auteur Walid Khaled Hidouci |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Titre : Conception de programmes : Rappel-Intelligence artificielle-Exercices-Complexité-Techniques de conception Type de document : texte imprimé Auteurs : Walid Khaled Hidouci, Auteur ; Djamel Eddine Zegour, Auteur Editeur : Alger [Algérie] : ITSC Année de publication : 2022 Importance : 135 p. Présentation : ill.coll. Noir Format : 24 cm. ISBN/ISSN/EAN : 978-9931-825-69-2 Note générale : Éditeur : Itinéraires Scientifiques
Edition : 2022
Auteur : Hidouci, Walid Khaled
Langue : Français
Broché : 135 pages
ISBN-13 : 978-9931825692
Poids de l'article : 150 g
Dimensions : 24 cm
Langues : Français (fre) Mots-clés : programme graphes régner programmation dynamique exploitation heuristiques langages machine de turing complexité NP-complétude Index. décimale : 005 Programmation Résumé : Par Conception de programmes nous entendons la manière d'abordes et de résoudre un problème donné diverses manières sont présentées: la technique diviser pour résoudre la programmation dynamique la recherche systématique de solutions avec les parcours en profondeur connus sous le terme Backtracking ou les parcours en largeur la recherche avec des heuristiques quand le graphe de solutions est exponentiel
Ce livre couvre le cours "Conception de programmes"tel qu'il est assuré à l'école supérieur d'informatique
Sommaire :
I-O-notation
II-Graphes
III-Diviser pur régner
IV-programmation dynamique
V-Exploitation systématique de graphes
VI-heuristiques
VII-Complexité
1-introduction générale
2-problèmes de décision et langages
3-machine de turing
4-Classes de complexité
5-NP-complétudeNote de contenu : Exercices p.97
Corrigés p.111
Référ.
Bibliog.Conception de programmes : Rappel-Intelligence artificielle-Exercices-Complexité-Techniques de conception [texte imprimé] / Walid Khaled Hidouci, Auteur ; Djamel Eddine Zegour, Auteur . - Alger (Douéra, 16000, Algérie) : ITSC, 2022 . - 135 p. : ill.coll. Noir ; 24 cm.
ISBN : 978-9931-825-69-2
Éditeur : Itinéraires Scientifiques
Edition : 2022
Auteur : Hidouci, Walid Khaled
Langue : Français
Broché : 135 pages
ISBN-13 : 978-9931825692
Poids de l'article : 150 g
Dimensions : 24 cm
Langues : Français (fre)
Mots-clés : programme graphes régner programmation dynamique exploitation heuristiques langages machine de turing complexité NP-complétude Index. décimale : 005 Programmation Résumé : Par Conception de programmes nous entendons la manière d'abordes et de résoudre un problème donné diverses manières sont présentées: la technique diviser pour résoudre la programmation dynamique la recherche systématique de solutions avec les parcours en profondeur connus sous le terme Backtracking ou les parcours en largeur la recherche avec des heuristiques quand le graphe de solutions est exponentiel
Ce livre couvre le cours "Conception de programmes"tel qu'il est assuré à l'école supérieur d'informatique
Sommaire :
I-O-notation
II-Graphes
III-Diviser pur régner
IV-programmation dynamique
V-Exploitation systématique de graphes
VI-heuristiques
VII-Complexité
1-introduction générale
2-problèmes de décision et langages
3-machine de turing
4-Classes de complexité
5-NP-complétudeNote de contenu : Exercices p.97
Corrigés p.111
Référ.
Bibliog.Réservation
Réserver ce document
Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité ST18102 005/32.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt ST18142 005/32.10 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18103 005/32.2 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18105 005/32.3 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18118 005/32.4 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18123 005/32.5 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18130 005/32.6 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18133 005/32.7 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18140 005/32.8 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18141 005/32.9 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible
Titre : Construction de programmes Type de document : texte imprimé Auteurs : Djamel Eddine Zegour, Auteur ; Walid Khaled Hidouci, Auteur Editeur : Alger [Algérie] : ITSC Année de publication : 2022 Importance : 320 p. Présentation : ill.coll. Noir Format : 24 cm. ISBN/ISSN/EAN : 978-9931-825-70-8 Note générale : Éditeur : Itinéraires Scientifiques
Edition : 2022
Auteur : Zegour, Djamel Eddine
Langue : Français
Broché : 320 pages
ISBN-13 : 978-9931825708
Poids de l'article : 150 g
Dimensions : 24 cm
Langues : Français (fre) Mots-clés : formels point fixe programmation procédurale transformations preuves fonctionnelle lambda-calcul langage LISP programmation logique programmation objet projet ECOLE Index. décimale : 005 Programmation Résumé : Ce livre traite de la construction de programmes montrant les différents paradigmes de programmation:
-la programmation procédurale aborde les différents schémas
-la programmation fonctionnelle introduit le lambda-calcul et sa machine à réduction
-la programmation logique
-la programmation objet
-la spécification exhibeNote de contenu : Exercices p.131
Corrigés p.166
Référ.
Bibliog.Construction de programmes [texte imprimé] / Djamel Eddine Zegour, Auteur ; Walid Khaled Hidouci, Auteur . - Alger (Douéra, 16000, Algérie) : ITSC, 2022 . - 320 p. : ill.coll. Noir ; 24 cm.
ISBN : 978-9931-825-70-8
Éditeur : Itinéraires Scientifiques
Edition : 2022
Auteur : Zegour, Djamel Eddine
Langue : Français
Broché : 320 pages
ISBN-13 : 978-9931825708
Poids de l'article : 150 g
Dimensions : 24 cm
Langues : Français (fre)
Mots-clés : formels point fixe programmation procédurale transformations preuves fonctionnelle lambda-calcul langage LISP programmation logique programmation objet projet ECOLE Index. décimale : 005 Programmation Résumé : Ce livre traite de la construction de programmes montrant les différents paradigmes de programmation:
-la programmation procédurale aborde les différents schémas
-la programmation fonctionnelle introduit le lambda-calcul et sa machine à réduction
-la programmation logique
-la programmation objet
-la spécification exhibeNote de contenu : Exercices p.131
Corrigés p.166
Référ.
Bibliog.Réservation
Réserver ce document
Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité ST18143 005/33.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt ST18166 005/33.10 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18149 005/33.2 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18150 005/33.3 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18151 005/33.4 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18153 005/33.5 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18159 005/33.6 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18160 005/33.7 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18161 005/33.8 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST18164 005/33.9 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible
