Conception de programmes / Djamel-Eddine Zegour

Public ISBD Titre : Conception de programmes : sujets d'examen et exercices corrigés Type de document : texte imprimé Auteurs : Djamel-Eddine Zegour, Auteur ; Walid Khaled Hidouci, Auteur Editeur : Alger : Éditions ITSC Année de publication : 2022 Importance : 135 p. Format : 25 cm. ISBN/ISSN/EAN : 978-9931-825-69-2 Langues : Français Mots-clés : Programmation  Intelligence artificielle  Complexité Résumé : Par conception de programmes, nous entendons la manière d'aborder et de résoudre un problème donné. Diverses manières sont présentées: la tech-nique '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. L'intelligence artificielle est également introduite. La technique du Min-Max est alors présentée montrant comment une machine peut jouer et gagner un être humain dans les jeux de stratégie. L'algorithme A*, le plus populaire en intelligence artificielle est aussi exhibé montrant comment des solutions optimales à des problèmes complexes sont trouvées. La classification des problèmes liée à la théorie de la complexité est aussi abordée utilisant le modèle des machines de Turing. Nous nous focaliserons essentiellement sur les classes des problèmes qui peuvent être résolus en temps polynomial par une machine de Turing déterministe (Classe P) et non déterministe (Classe NP). La classe NP-complet, celle des problèmes les plus difficiles de la classe NP est aussi exposée avec des exemples de réduc-tion de problèmes. Ce livre couvre le cours 'Conception de programmes' tel qu'il est assuré à l'École Supérieure d'Informatique (ESI, Alger) pour les étudiants de graduation. Il rappelle, comme pré-requis, la O-notation et les graphes. Enfin, une bonne partie de ce livre est consacrée aux exercices avec des corrigés types. Conception de programmes : sujets d'examen et exercices corrigés [texte imprimé] / Djamel-Eddine Zegour, Auteur ; Walid Khaled Hidouci, Auteur . - Alger : Éditions ITSC, 2022 . - 135 p. ; 25 cm. ISBN : 978-9931-825-69-2 Langues : Français Mots-clés : Programmation  Intelligence artificielle  Complexité Résumé : Par conception de programmes, nous entendons la manière d'aborder et de résoudre un problème donné. Diverses manières sont présentées: la tech-nique '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. L'intelligence artificielle est également introduite. La technique du Min-Max est alors présentée montrant comment une machine peut jouer et gagner un être humain dans les jeux de stratégie. L'algorithme A*, le plus populaire en intelligence artificielle est aussi exhibé montrant comment des solutions optimales à des problèmes complexes sont trouvées. La classification des problèmes liée à la théorie de la complexité est aussi abordée utilisant le modèle des machines de Turing. Nous nous focaliserons essentiellement sur les classes des problèmes qui peuvent être résolus en temps polynomial par une machine de Turing déterministe (Classe P) et non déterministe (Classe NP). La classe NP-complet, celle des problèmes les plus difficiles de la classe NP est aussi exposée avec des exemples de réduc-tion de problèmes. Ce livre couvre le cours 'Conception de programmes' tel qu'il est assuré à l'École Supérieure d'Informatique (ESI, Alger) pour les étudiants de graduation. Il rappelle, comme pré-requis, la O-notation et les graphes. Enfin, une bonne partie de ce livre est consacrée aux exercices avec des corrigés types.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
005.1-154-1	005.1-154-1	Livre interne	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.1-154-2	005.1-154-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.1-154-3	005.1-154-3	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.1-154-4	005.1-154-4	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

Construction de programmes / Djamel-Eddine Zegour

Public ISBD Titre : Construction de programmes : sujets d'examen et exercices corrigés Type de document : texte imprimé Auteurs : Djamel-Eddine Zegour, Auteur ; Walid Khaled Hidouci, Auteur Editeur : Alger : Éditions ITSC Année de publication : 2022 Importance : 320 p. Format : 25 cm. ISBN/ISSN/EAN : 978-9931-825-70-8 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : 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, les transformations entre schémas et les différentes formes de preuve.- La programmation fonctionnelle introduit le lambda-calcul et sa machine à réduction. Elle traite aussi des preuves des langages fonctionnels. - La programmation logique rappelle la logique des prédicats du premier ordre et le principe des démonstrateurs automatiques de théorèmes. - La programmation objet présente les concepts de base et montre leurs illustrations. Des exemples sont donnés offrant aux utilisateurs des menus tout préparés prêts à être paramétrés pour les intégrer dans les applications. - La spécification exhibe un moyen rigoureux et moderne pour l'écriture automatique des compilateurs et des systèmes. LISP (langage fonctionnel) et PROLOG (langage logique) sont introduits avec des exemples. Les fonctionnements des interpréteurs logiques et fonctionnels sont également exposés avec des exemples. Ce livre couvre le cours' Construction de programmes' tel qu'il est assuré à l'École Supérieure d'Informatique (ESI, Alger) pour les étudiants de graduation. Il rappelle,comme prérequis, la théorie du point fixe et les systèmes formels. Enfin, une bonne partie de ce livre est consacrée aux exercices avec des corrigés types. Construction de programmes : sujets d'examen et exercices corrigés [texte imprimé] / Djamel-Eddine Zegour, Auteur ; Walid Khaled Hidouci, Auteur . - Alger : Éditions ITSC, 2022 . - 320 p. ; 25 cm. ISBN : 978-9931-825-70-8 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : 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, les transformations entre schémas et les différentes formes de preuve.- La programmation fonctionnelle introduit le lambda-calcul et sa machine à réduction. Elle traite aussi des preuves des langages fonctionnels. - La programmation logique rappelle la logique des prédicats du premier ordre et le principe des démonstrateurs automatiques de théorèmes. - La programmation objet présente les concepts de base et montre leurs illustrations. Des exemples sont donnés offrant aux utilisateurs des menus tout préparés prêts à être paramétrés pour les intégrer dans les applications. - La spécification exhibe un moyen rigoureux et moderne pour l'écriture automatique des compilateurs et des systèmes. LISP (langage fonctionnel) et PROLOG (langage logique) sont introduits avec des exemples. Les fonctionnements des interpréteurs logiques et fonctionnels sont également exposés avec des exemples. Ce livre couvre le cours' Construction de programmes' tel qu'il est assuré à l'École Supérieure d'Informatique (ESI, Alger) pour les étudiants de graduation. Il rappelle,comme prérequis, la théorie du point fixe et les systèmes formels. Enfin, une bonne partie de ce livre est consacrée aux exercices avec des corrigés types.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
005.1.854-1	005.1.854-1	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
005.1-155-1	005.1-155-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.1-155-2	005.1-155-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.1-155-3	005.1-155-3	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.1-155-4	005.1-155-4	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

---

page 1/1