Les démonstrations et les algorithmes / Gilles Dowek

Public ISBD Titre : Les démonstrations et les algorithmes : Introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Paris : Ecole Polytechnique Année de publication : 2010 Importance : 193p Format : 24x17 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gôdel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même. Note de contenu : Sommaire LES DEMONSTRATIONS La logique des prédicats Les modèles LES ALGORITHMES Les fonctions calculables Le calcul comme une suite de petits pas LES DEMONSTRATIONS ET LES ALGORITHMES Le théorème de Church La démonstration automatique Des théories décidables Les démonstrations et les algorithmes : Introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Paris : Ecole Polytechnique, 2010 . - 193p ; 24x17 cm. ISBN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 511 Résumé : Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gôdel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même. Note de contenu : Sommaire LES DEMONSTRATIONS La logique des prédicats Les modèles LES ALGORITHMES Les fonctions calculables Le calcul comme une suite de petits pas LES DEMONSTRATIONS ET LES ALGORITHMES Le théorème de Church La démonstration automatique Des théories décidables

Réservation

Réserver ce document

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13/200784	L/511.010	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt
13/200785	L/511.010	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
13/200786	L/511.010	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible

Introduction ? la théorie des langages de programmation / Gilles Dowek

Public ISBD Titre : Introduction ? la théorie des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur ; Jean-Jacques Lévy, Auteur Editeur : Paris : Ecole Polytechnique Année de publication : 2006 Importance : 112p Format : 24x17 cm ISBN/ISSN/EAN : 978-2-7302-1333-2 Note générale : Sommaire Les termes et les relations Le langage PCF De l'évaluation à l'interprétation La compilation Le langage PCF avec des types L'inférence de types Les références et les affectations Les enregistrements et les objets Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets, ... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Introduction ? la théorie des langages de programmation [texte imprimé] / Gilles Dowek, Auteur ; Jean-Jacques Lévy, Auteur . - Paris : Ecole Polytechnique, 2006 . - 112p ; 24x17 cm. ISBN : 978-2-7302-1333-2 Sommaire Les termes et les relations Le langage PCF De l'évaluation à l'interprétation La compilation Le langage PCF avec des types L'inférence de types Les références et les affectations Les enregistrements et les objets Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets, ... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation.

Réservation

Réserver ce document

Exemplaires (10)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
09/155831	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt
09/155832	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
09/155833	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
09/155834	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
09/155835	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
09/155836	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
12/195284	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
12/195285	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
12/195286	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
12/195287	L/004.1144	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible

---

1 (1 - 2 / 2)