A partir de cette page vous pouvez :
author
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur François Fages |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesProgrammation logique par contraintes / François Fages (impr. 1996, cop. 1996)
Titre : Programmation logique par contraintes Type de document : texte imprime Auteurs : François Fages Editeur : Paris : Ellipses Année de publication : impr. 1996, cop. 1996 Importance : 183 p. Présentation : couv. ill. en coul Format : 26 cm ISBN/ISSN/EAN : 1-7298-4613-1 Note générale :
La couverture porte en plus : "X École polytechnique". - 9782729846138
Bibliogr. p. [173]-175. IndexLangues : Français Mots-clés : programmation en logique programmation avec contrainte Langage programmation Optimisation combinatoire Index. décimale : 005.1 Résumé : L'enseignement d'Informatique à l'École polytechnique est constitué d'un cours de tronc commun en première année et de cours optionnels en première et seconde années. Le cours de seconde année de François Fages traite d'un sujet en pleine effervescence à la fois dans le domaine de la recherche et dans
l'industrie : la programmation par contraintes. L'ouvrage présente les fondements mathématiques de cette approche de la programmation. Les différents concepts sont introduits suivant un plan implacable partant d'un principe très général de programmation en logique et allant vers des réalisations précises en conception de langages de programmation, démonstration automatique, optimisation combinatoire. Le cours est illustré par une quarantaine de programmes qui sont disponibles sur le WEB par Internet. Au-delà du sujet qu'il traite, cet ouvrage de 2e et 3e cycle pourra servir d'introduction attrayante et originale à la logique mathématique pour des étudiants informaticiens. Il s'adresse également aux ingénieurs curieux de connaître un traité scientifique sur un domaine technique d'actualité afin d'en apprécier sa généralité et ses perspectives futures.Note de contenu :
Langages de programmationPermalink : ./index.php?lvl=notice_display&id=10685 Programmation logique par contraintes [texte imprime] / François Fages . - Paris : Ellipses, impr. 1996, cop. 1996 . - 183 p. : couv. ill. en coul ; 26 cm.
ISSN : 1-7298-4613-1
La couverture porte en plus : "X École polytechnique". - 9782729846138
Bibliogr. p. [173]-175. Index
Langues : Français
Mots-clés : programmation en logique programmation avec contrainte Langage programmation Optimisation combinatoire Index. décimale : 005.1 Résumé : L'enseignement d'Informatique à l'École polytechnique est constitué d'un cours de tronc commun en première année et de cours optionnels en première et seconde années. Le cours de seconde année de François Fages traite d'un sujet en pleine effervescence à la fois dans le domaine de la recherche et dans
l'industrie : la programmation par contraintes. L'ouvrage présente les fondements mathématiques de cette approche de la programmation. Les différents concepts sont introduits suivant un plan implacable partant d'un principe très général de programmation en logique et allant vers des réalisations précises en conception de langages de programmation, démonstration automatique, optimisation combinatoire. Le cours est illustré par une quarantaine de programmes qui sont disponibles sur le WEB par Internet. Au-delà du sujet qu'il traite, cet ouvrage de 2e et 3e cycle pourra servir d'introduction attrayante et originale à la logique mathématique pour des étudiants informaticiens. Il s'adresse également aux ingénieurs curieux de connaître un traité scientifique sur un domaine technique d'actualité afin d'en apprécier sa généralité et ses perspectives futures.Note de contenu :
Langages de programmationPermalink : ./index.php?lvl=notice_display&id=10685 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité EG206/1 EG206 Livre Magasin d'Ouvrages / FGE Electronique générale Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Programmation logique par contraintes Type de document : texte imprime Auteurs : François Fages Editeur : Paris : Ellipses Année de publication : impr. 1996, cop. 1996 Importance : 183 p. Présentation : couv. ill. en coul Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-4613-8 Note générale : La couverture porte en plus : "X École polytechnique". - 9782729846138
Bibliogr. p. [173]-175. IndexLangues : Français Mots-clés : Langages de programmation Programmation (mathématiques) Programmation logique Programmation par contraintes Résumé :
L'enseignement d'Informatique à l'École polytechnique est constitué d'un cours de tronc commun en première année et de cours optionnels en première et seconde années. Le cours de seconde année de François Fages traite d'un sujet en pleine effervescence à la fois dans le domaine de la recherche et dans l'industrie : la programmation par contraintes. L'ouvrage présente les fondements mathématiques de cette approche de la programmation. Les différents concepts sont introduits suivant un plan implacable partant d'un principe très général de programmation en logique et allant vers des réalisations précises en conception de langages de programmation, démonstration automatique, optimisation combinatoire. Le cours est illustré par une quarantaine de programmes qui sont disponibles sur le WEB par Internet. Au-delà du sujet qu'il traite, cet ouvrage de 2e et 3e cycle pourra servir d'introduction attrayante et originale à la logique mathématique pour des étudiants informaticiens. Il s'adresse également aux ingénieurs curieux de connaître un traité scientifique sur un domaine technique d'actualité afin d'en apprécier sa généralité et ses perspectives futures.Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=14223 Programmation logique par contraintes [texte imprime] / François Fages . - Paris : Ellipses, impr. 1996, cop. 1996 . - 183 p. : couv. ill. en coul ; 26 cm.
ISBN : 978-2-7298-4613-8
La couverture porte en plus : "X École polytechnique". - 9782729846138
Bibliogr. p. [173]-175. Index
Langues : Français
Mots-clés : Langages de programmation Programmation (mathématiques) Programmation logique Programmation par contraintes Résumé :
L'enseignement d'Informatique à l'École polytechnique est constitué d'un cours de tronc commun en première année et de cours optionnels en première et seconde années. Le cours de seconde année de François Fages traite d'un sujet en pleine effervescence à la fois dans le domaine de la recherche et dans l'industrie : la programmation par contraintes. L'ouvrage présente les fondements mathématiques de cette approche de la programmation. Les différents concepts sont introduits suivant un plan implacable partant d'un principe très général de programmation en logique et allant vers des réalisations précises en conception de langages de programmation, démonstration automatique, optimisation combinatoire. Le cours est illustré par une quarantaine de programmes qui sont disponibles sur le WEB par Internet. Au-delà du sujet qu'il traite, cet ouvrage de 2e et 3e cycle pourra servir d'introduction attrayante et originale à la logique mathématique pour des étudiants informaticiens. Il s'adresse également aux ingénieurs curieux de connaître un traité scientifique sur un domaine technique d'actualité afin d'en apprécier sa généralité et ses perspectives futures.Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=14223 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité PR103/1 PR103 Livre Magasin d'Ouvrages / INF Programmation Consultation sur place
Exclu du prêtPR103/2 PR103 Livre Magasin d'Ouvrages / INF Programmation Disponible PR103/3 PR103 Livre Magasin d'Ouvrages / INF Programmation Disponible PR103/4 PR103 Livre Magasin d'Ouvrages / INF Programmation Disponible PR103/5 PR103 Livre Magasin d'Ouvrages / INF Programmation Disponible PR103/6 PR103 Livre Magasin d'Ouvrages / INF Programmation Disponible PR103/7 PR103 Livre Magasin d'Ouvrages / INF Programmation Disponible PR103/8 PR103 Livre Magasin d'Ouvrages / INF Programmation Disponible PR103/9 PR103 Livre Magasin d'Ouvrages / INF Programmation Disponible PR103/10 PR103 Livre Magasin d'Ouvrages / INF Programmation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
