A partir de cette page vous pouvez :
indexint
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'indexation
005 Ouvrages de la bibliothèque en indexation 005133
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesAn introduction to logic programming through Prolog / Michaël Spiny (1996)
Titre : An introduction to logic programming through Prolog Type de document : texte imprime Auteurs : Michaël Spiny, Auteur Mention d'édition : 1 edition Editeur : London : Prentice Hall Année de publication : 1996 Importance : 251 p. Présentation : ill Format : 23 cm ISBN/ISSN/EAN : 978-0-13-536047-7 Note générale : Réf. bibliogr. et index. Langues : Anglais Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Logic programming Prolog (Computer program language) Prolog (langage de programmation) Programmation logique Index. décimale : 005133 Résumé :
This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers. The book begins with a gentle introduction to logic programming using a number of simple examples, followed by a concise and self-contained account of the logic behind Prolog programming. This leads to a discussion of methods of writing programs so that the process of deriving anwers from them is as efficient as possible. The techniques are illustrated by practical examples and the final part of the book explains how logic programming can be implented efficiently. It includes source code for a small but Complete Prolog implementation written in Pascal. The implementation is capable of running all the programs presented in the book, and is available via the Internet.
C'est l'un des rares textes qui combine trois thèses essentielles dans l'étude de la programmation logique: la logique qui donne aux programmes logiques leur caractère unique: la pratique d'une programmation efficace en utilisant la logique; et la mise en œuvre efficace de la programmation logique sur les ordinateurs. Le livre commence par une introduction en douceur à la programmation logique en utilisant un certain nombre d'exemples simples, suivi par un compte-rendu concis et autonome de la logique derrière la programmation Prolog. Cela conduit à une discussion sur les méthodes d'écriture des programmes afin que le processus de dérivation des réponses soit aussi efficace que possible. Les techniques sont illustrées par des exemples pratiques et la dernière partie du livre explique comment la programmation logique peut être impliquée efficacement. Il comprend du code source pour une implémentation Prolog petite mais complète écrite en Pascal. L'implémentation est capable d'exécuter tous les programmes présentés dans le livre et est disponible via Internet.Note de contenu :
Introduction.
Programming with Relations.
Recursive Structures.
The Meaning of Logic Programs.
Inference Rules.
Unification and Resolution, SLD -Resolution.
SLD-Resolution and Answer Substitutions.
Negation as Failure. Searching Problems.
Parsing Evaluating and Simplifying Expressions.
Hardware simulations. Program Transformation.
About PicoProlog.
Implementing Depth-First Search, Representing Terms and Substitutions.
Implementation Notes.
Interpreter Optimizations.
In Conclusion. Bibliography,
Index.Permalink : ./index.php?lvl=notice_display&id=14157 An introduction to logic programming through Prolog [texte imprime] / Michaël Spiny, Auteur . - 1 edition . - London : Prentice Hall, 1996 . - 251 p. : ill ; 23 cm.
ISBN : 978-0-13-536047-7
Réf. bibliogr. et index.
Langues : Anglais
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Logic programming Prolog (Computer program language) Prolog (langage de programmation) Programmation logique Index. décimale : 005133 Résumé :
This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers. The book begins with a gentle introduction to logic programming using a number of simple examples, followed by a concise and self-contained account of the logic behind Prolog programming. This leads to a discussion of methods of writing programs so that the process of deriving anwers from them is as efficient as possible. The techniques are illustrated by practical examples and the final part of the book explains how logic programming can be implented efficiently. It includes source code for a small but Complete Prolog implementation written in Pascal. The implementation is capable of running all the programs presented in the book, and is available via the Internet.
C'est l'un des rares textes qui combine trois thèses essentielles dans l'étude de la programmation logique: la logique qui donne aux programmes logiques leur caractère unique: la pratique d'une programmation efficace en utilisant la logique; et la mise en œuvre efficace de la programmation logique sur les ordinateurs. Le livre commence par une introduction en douceur à la programmation logique en utilisant un certain nombre d'exemples simples, suivi par un compte-rendu concis et autonome de la logique derrière la programmation Prolog. Cela conduit à une discussion sur les méthodes d'écriture des programmes afin que le processus de dérivation des réponses soit aussi efficace que possible. Les techniques sont illustrées par des exemples pratiques et la dernière partie du livre explique comment la programmation logique peut être impliquée efficacement. Il comprend du code source pour une implémentation Prolog petite mais complète écrite en Pascal. L'implémentation est capable d'exécuter tous les programmes présentés dans le livre et est disponible via Internet.Note de contenu :
Introduction.
Programming with Relations.
Recursive Structures.
The Meaning of Logic Programs.
Inference Rules.
Unification and Resolution, SLD -Resolution.
SLD-Resolution and Answer Substitutions.
Negation as Failure. Searching Problems.
Parsing Evaluating and Simplifying Expressions.
Hardware simulations. Program Transformation.
About PicoProlog.
Implementing Depth-First Search, Representing Terms and Substitutions.
Implementation Notes.
Interpreter Optimizations.
In Conclusion. Bibliography,
Index.Permalink : ./index.php?lvl=notice_display&id=14157 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité PR29/1 PR29 Livre Magasin d'Ouvrages / INF Programmation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Le Développement de logiciel en C++ Type de document : texte imprime Auteurs : Russel Winder Mention d'édition : 2 ème éd. Editeur : Paris : Masson Année de publication : 1994 Collection : Manuels informatiques Masson Importance : 552 p. Présentation : ill.,couv.ill.en coul. Format : 23 cm. ISBN/ISSN/EAN : 978-2-225-84536-9 Note générale : Bibliogr., Index Langues : Français Mots-clés : Logiciels : Développement C plus-plus ( langage de programmation) Index. décimale : 005133 Note de contenu :
Abstractions de programmation
Les types élémentaires de données
Les expressions
Séquencement, prise de décision
Abstractions fonctionnelles
Les tableaux
Les classes
La surcharge
Les pointeurs
Les types dynamiques
Les types génériques
L'héritage
Les fichiersPermalink : ./index.php?lvl=notice_display&id=13726 Le Développement de logiciel en C++ [texte imprime] / Russel Winder . - 2 ème éd. . - Paris : Masson, 1994 . - 552 p. : ill.,couv.ill.en coul. ; 23 cm.. - (Manuels informatiques Masson) .
ISBN : 978-2-225-84536-9
Bibliogr., Index
Langues : Français
Mots-clés : Logiciels : Développement C plus-plus ( langage de programmation) Index. décimale : 005133 Note de contenu :
Abstractions de programmation
Les types élémentaires de données
Les expressions
Séquencement, prise de décision
Abstractions fonctionnelles
Les tableaux
Les classes
La surcharge
Les pointeurs
Les types dynamiques
Les types génériques
L'héritage
Les fichiersPermalink : ./index.php?lvl=notice_display&id=13726 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité L105/1 L105 Livre Magasin d'Ouvrages / INF Langage Consultation sur place
Exclu du prêtL105/2 L105 Livre Magasin d'Ouvrages / INF Langage Disponible L105/3 L105 Livre Magasin d'Ouvrages / INF Langage Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Utilisation des langages objets pour le prototypage Type de document : texte imprime Auteurs : Krief, Philippe, Auteur ; Harald Wertz, Préfacier, etc. Editeur : Paris : Masson Année de publication : 1992 Collection : Etudes et recherches en informatique Importance : (XVII-248 p.) Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-82654-2 Note générale : Bibliogr. p. [233]-242. Index Langues : Français Mots-clés : Logiciels:développement Programmation orientée objets (informatique) Génie logiciel Prototypage (informatique) Langages de programmation orientés objet Index. décimale : 005133 Résumé :
Ce livre introduit le concept de prototype de logiciel et l'activité qui en découle : le prototypage.
Un environnement de prototypage met en interaction un client et un concepteur. Il est destiné à leur fournir un ensemble de méthodes, de techniques, de formalismes et d'outils facilitant l'obtention d'informations sur les caractéristiques du système informatique à réaliser. Ces informations permettent d'évaluer la pertinence et l'adéquation de la spécification et de la conception du système.
Il est indispensable que le client et le concepteur puissent percevoir, expérimenter, tester et valider les différentes solutions au problème posé. Ils peuvent alors s'accorder sur une idée claire et cohérente de ce qu'ils visent et de la mise en œuvre envisagée. Le prototypage, i.e. « la programmation expérimentale », répond à ce besoin. Une telle approche permet, en effet, d'extraire des spécifications précises décrivant complètement le problème et les solutions proposées. En outre, grâce à leur degré élevé de conception, les prototypes issus de ces environnements peuvent être utilisés comme précurseurs à l'écriture effective du système final.
Présenter des développements récents en informatique, sans attendre qu'ils soient tombés dans le domaine du grand public, mais sans rester non plus au niveau de la science ésotérique, tel est le but que se propose cette collection. Elle veut s'adresser aux professionnels, étudiants et chercheurs.
Le niveau typique des volumes est celui d'un cours spécialisé, décrivant de façon didactique l'état d'un domaine à un moment donné, sous l'angle personnel de l'auteur.
Les sujets abordés doivent couvrir l'ensemble des méthodes fondamentales de l'informatique en privilégiant l'aspect scientifique par rapport à l'aspect technique.
On propose ainsi au lecteur des monographies qui représentent des « instantanés » d'une science en développement permanent.
Note de contenu :
PRÉFACE
CONTENTS
AVANT-PROPOS
# PROTOTYPAGE ET LANGAGES À OBJETS
I. NOTIONS DE MODÈLE ET DE PROTOTYPE
1. Les modèles mathématiques
3. Du modèle au prototype
II. PROTOTYPES ET GÉNIE LOGICIEL
1. Un modèle logiciel
2. Un prototype logiciel
3. Prototypage efficace
III. LANGAGES À OBJETS
1. Objets, messages et encapsulation
2. Classes, instances et héritage
IV. DE LA PROGRAMMATION PAR OBJETS À LA PROGRAMMATION PAR PROTOTYPES
1. Conceptualisation
2. Test du prototype
3. Mécanisme de dépendance
4. Les systèmes M.V.C
5. Interface graphique de la calculatrice
6. Passage à une calculatrice infixe
V. RÉSOLUTION DE PROBLÈMES PAR LE PROTOTYPAGE
1. Psychologie et programmation
2. Résolution de Problèmes
VI. ENVIRONNEMENTS DE PROTOTYPAGE: UN ÉTAT DE L'ART
1. Le modèle DesignNet
2. Un générateur dÂ’interfaces
3. Le projet ECCAO
# L'APPROCHE MODÈLE-POINT DE VUE-CONTRÔLEUR
VII. LA TRILOGIE MODÈLE-POINT DE VUE-CONTRÔLEUR
1. Des représentations multiples
2. Des interprétations multiples
3. Factorisation du parcours
VIII. LE NOYAU D'UN SYSTÈME MODÈLE-POINT DE VUE-CONTRÔLEUR
1. Définition du modèle
2. Définition du contrôleur
3. Définition du point-de-vue
IX. PROPRIÉTÉS ET EXTENSIONS DE L'ENVIRONNEMENT M.PV.C.
1. Les multi-points de vue
2. De multiples contrôleurs
3. Parallélisme et M.PV.C
4. Réflexivité et M.PV.C.
5. Un browser M.PV.C
X. CONCLUSION
1. Récapitulatif
2. Extensions de l'environnement M.PV.C
3. Perspectives
4. Pour conclure
ANNEXES
BIBLIOGRAPHIE
INDEXPermalink : ./index.php?lvl=notice_display&id=14112 Utilisation des langages objets pour le prototypage [texte imprime] / Krief, Philippe, Auteur ; Harald Wertz, Préfacier, etc. . - Paris : Masson, 1992 . - (XVII-248 p.) : ill., couv. ill. ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-82654-2
Bibliogr. p. [233]-242. Index
Langues : Français
Mots-clés : Logiciels:développement Programmation orientée objets (informatique) Génie logiciel Prototypage (informatique) Langages de programmation orientés objet Index. décimale : 005133 Résumé :
Ce livre introduit le concept de prototype de logiciel et l'activité qui en découle : le prototypage.
Un environnement de prototypage met en interaction un client et un concepteur. Il est destiné à leur fournir un ensemble de méthodes, de techniques, de formalismes et d'outils facilitant l'obtention d'informations sur les caractéristiques du système informatique à réaliser. Ces informations permettent d'évaluer la pertinence et l'adéquation de la spécification et de la conception du système.
Il est indispensable que le client et le concepteur puissent percevoir, expérimenter, tester et valider les différentes solutions au problème posé. Ils peuvent alors s'accorder sur une idée claire et cohérente de ce qu'ils visent et de la mise en œuvre envisagée. Le prototypage, i.e. « la programmation expérimentale », répond à ce besoin. Une telle approche permet, en effet, d'extraire des spécifications précises décrivant complètement le problème et les solutions proposées. En outre, grâce à leur degré élevé de conception, les prototypes issus de ces environnements peuvent être utilisés comme précurseurs à l'écriture effective du système final.
Présenter des développements récents en informatique, sans attendre qu'ils soient tombés dans le domaine du grand public, mais sans rester non plus au niveau de la science ésotérique, tel est le but que se propose cette collection. Elle veut s'adresser aux professionnels, étudiants et chercheurs.
Le niveau typique des volumes est celui d'un cours spécialisé, décrivant de façon didactique l'état d'un domaine à un moment donné, sous l'angle personnel de l'auteur.
Les sujets abordés doivent couvrir l'ensemble des méthodes fondamentales de l'informatique en privilégiant l'aspect scientifique par rapport à l'aspect technique.
On propose ainsi au lecteur des monographies qui représentent des « instantanés » d'une science en développement permanent.
Note de contenu :
PRÉFACE
CONTENTS
AVANT-PROPOS
# PROTOTYPAGE ET LANGAGES À OBJETS
I. NOTIONS DE MODÈLE ET DE PROTOTYPE
1. Les modèles mathématiques
3. Du modèle au prototype
II. PROTOTYPES ET GÉNIE LOGICIEL
1. Un modèle logiciel
2. Un prototype logiciel
3. Prototypage efficace
III. LANGAGES À OBJETS
1. Objets, messages et encapsulation
2. Classes, instances et héritage
IV. DE LA PROGRAMMATION PAR OBJETS À LA PROGRAMMATION PAR PROTOTYPES
1. Conceptualisation
2. Test du prototype
3. Mécanisme de dépendance
4. Les systèmes M.V.C
5. Interface graphique de la calculatrice
6. Passage à une calculatrice infixe
V. RÉSOLUTION DE PROBLÈMES PAR LE PROTOTYPAGE
1. Psychologie et programmation
2. Résolution de Problèmes
VI. ENVIRONNEMENTS DE PROTOTYPAGE: UN ÉTAT DE L'ART
1. Le modèle DesignNet
2. Un générateur dÂ’interfaces
3. Le projet ECCAO
# L'APPROCHE MODÈLE-POINT DE VUE-CONTRÔLEUR
VII. LA TRILOGIE MODÈLE-POINT DE VUE-CONTRÔLEUR
1. Des représentations multiples
2. Des interprétations multiples
3. Factorisation du parcours
VIII. LE NOYAU D'UN SYSTÈME MODÈLE-POINT DE VUE-CONTRÔLEUR
1. Définition du modèle
2. Définition du contrôleur
3. Définition du point-de-vue
IX. PROPRIÉTÉS ET EXTENSIONS DE L'ENVIRONNEMENT M.PV.C.
1. Les multi-points de vue
2. De multiples contrôleurs
3. Parallélisme et M.PV.C
4. Réflexivité et M.PV.C.
5. Un browser M.PV.C
X. CONCLUSION
1. Récapitulatif
2. Extensions de l'environnement M.PV.C
3. Perspectives
4. Pour conclure
ANNEXES
BIBLIOGRAPHIE
INDEXPermalink : ./index.php?lvl=notice_display&id=14112 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité OO32/1 OO32 Livre Magasin d'Ouvrages / INF Orienté Objet Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
