Détail de l'auteur
Auteur Gilles Dowek |
Documents disponibles écrits par cet auteur (4)
Affiner la recherche Interroger des sources externes
Les démonstrations et les algorithmes / Gilles Dowek
Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : les Ed. de l'Ecole polytechnique Année de publication : 2010 Importance : 193 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Note générale : Bibliogr., 1 p. Index Langues : Français (fre) Mots-clés : Algorithmes Logique Symbolique: mathématique Théories Décidables Index. décimale : 510 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. Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : les Ed. de l'Ecole polytechnique, 2010 . - 193 p. : ill. ; 25 cm.
ISBN : 978-2-7302-1569-5
Bibliogr., 1 p. Index
Langues : Français (fre)
Mots-clés : Algorithmes Logique Symbolique: mathématique Théories Décidables Index. décimale : 510 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. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité 510/143-1 510/143-1 Périodique Bibliothèque Centrale indéterminé Disponible 510/143-2 510/143-2 Périodique Bibliothèque Centrale indéterminé Disponible 510/143-3 510/143-3 Périodique Bibliothèque Centrale indéterminé Disponible 510/143-4 510/143-4 Périodique Bibliothèque Centrale indéterminé Disponible 510/143-5 510/143-5 Périodique Bibliothèque Centrale indéterminé Disponible Introduction à la théorie des langages de programmation / Gilles Dowek
Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur ; Jean-Jacques Lévy, Auteur Editeur : Palaiseau : les Ed. de l'Ecole polytechnique Année de publication : impr. 2006 Importance : 1 vol. (109 p.) Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-7302-1333-2 Note générale : Bibliogr., 4 p. Index Langues : Français (fre) Mots-clés : Langages de programmation Sémantique Langages de programmation fonctionnelle Introduction à la théorie des langages de programmation [texte imprimé] / Gilles Dowek, Auteur ; Jean-Jacques Lévy, Auteur . - Palaiseau : les Ed. de l'Ecole polytechnique, impr. 2006 . - 1 vol. (109 p.) : ill., couv. ill. en coul. ; 25 cm.
ISBN : 978-2-7302-1333-2
Bibliogr., 4 p. Index
Langues : Français (fre)
Mots-clés : Langages de programmation Sémantique Langages de programmation fonctionnelle Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Les principes des langages de programmation / Gilles Dowek
Titre : Les principes des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : les Ed. de l'Ecole polytechnique Année de publication : 2011 Importance : 171 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978273021526 Note générale : La 4ème de couv. porte : "Informatique" Index Langues : Français (fre) Mots-clés : Langages de programmation Index. décimale : 004 Résumé : Les langages de programmation ont profondément changé notre rapport au langage, à la complexité et aux machines. Ce livre propose une introduction aux principes autour desquels ces langages sont organisés. Il utilise le langage Java comme support. Le premier objectif de ce livre est donc l'apprentissage des rudiments de Java. Cependant, connaître un langage de programmation unique ne suffit pas pour savoir programmer. Il faut, pour cela, non seulement connaître plusieurs langages, mais surtout être capable d'en apprendre rapidement un nouveau. Cela demande de savoir distinguer les concepts universels, comme celui de fonction ou de cellule, qui reviennent sous une forme ou une autre dans tous les langages de programmation, de la manière particulière dont ils sont utilisés en Java. Et cela ne peut se faire qu'en comparant le langage que l'on apprend à d'autres. Dans ce livre, deux langages de comparaison ont été choisis: Caml et C. Comprendre les principes des langages de programmation demande également d'acquérir des outils qui permettent de décrire précisément la signification d'un programme et cette acquisition constitue le deuxième objectif de ce livre. Le dernier est l'apprentissage des algorithmes de base sur les listes et les arbres. Ce livre, destiné aux étudiants de niveau licence qui ont déjà une petite expérience de programmation, présente ce que tous les ingénieurs et scientifiques, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Les principes des langages de programmation [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : les Ed. de l'Ecole polytechnique, 2011 . - 171 p. : ill., couv. ill. en coul. ; 24 cm.
ISSN : 978273021526
La 4ème de couv. porte : "Informatique" Index
Langues : Français (fre)
Mots-clés : Langages de programmation Index. décimale : 004 Résumé : Les langages de programmation ont profondément changé notre rapport au langage, à la complexité et aux machines. Ce livre propose une introduction aux principes autour desquels ces langages sont organisés. Il utilise le langage Java comme support. Le premier objectif de ce livre est donc l'apprentissage des rudiments de Java. Cependant, connaître un langage de programmation unique ne suffit pas pour savoir programmer. Il faut, pour cela, non seulement connaître plusieurs langages, mais surtout être capable d'en apprendre rapidement un nouveau. Cela demande de savoir distinguer les concepts universels, comme celui de fonction ou de cellule, qui reviennent sous une forme ou une autre dans tous les langages de programmation, de la manière particulière dont ils sont utilisés en Java. Et cela ne peut se faire qu'en comparant le langage que l'on apprend à d'autres. Dans ce livre, deux langages de comparaison ont été choisis: Caml et C. Comprendre les principes des langages de programmation demande également d'acquérir des outils qui permettent de décrire précisément la signification d'un programme et cette acquisition constitue le deuxième objectif de ce livre. Le dernier est l'apprentissage des algorithmes de base sur les listes et les arbres. Ce livre, destiné aux étudiants de niveau licence qui ont déjà une petite expérience de programmation, présente ce que tous les ingénieurs et scientifiques, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 004/063-1 004/063-1 Périodique Bibliothèque Centrale indéterminé Disponible Les principes des langages de programmation / Gilles Dowek
Titre : Les principes des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : les Ed. de l'Ecole polytechnique Année de publication : impr. 2011 Importance : 1 vol. (171 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1526-8 Note générale : La 4ème de couv. porte : "Informatique" Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Langages de programmation Résumé : Les langages de programmation ont profondément changé notre rapport au langage, à la complexité et aux machines. Ce livre propose une introduction aux principes autour desquels ces langages sont organisés. Il utilise le langage Java comme support. Le premier objectif de ce livre est donc l'apprentissage des rudiments de Java. Cependant, connaître un langage de programmation unique ne suffit pas pour savoir programmer. Il faut, pour cela, non seulement connaître plusieurs langages, mais surtout être capable d'en apprendre rapidement un nouveau. Cela demande de savoir distinguer les concepts universels, comme celui de fonction ou de cellule, qui reviennent sous une forme ou une autre dans tous les langages de programmation, de la manière particulière dont ils sont utilisés en Java. Et cela ne peut se faire qu'en comparant le langage que l'on apprend à d'autres. Dans ce livre, deux langages de comparaison ont été choisis: Caml et C. Comprendre les principes des langages de programmation demande également d'acquérir des outils qui permettent de décrire précisément la signification d'un programme et cette acquisition constitue le deuxième objectif de ce livre. Le dernier est l'apprentissage des algorithmes de base sur les listes et les arbres. Ce livre, destiné aux étudiants de niveau licence qui ont déjà une petite expérience de programmation, présente ce que tous les ingénieurs et scientifiques, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Les principes des langages de programmation [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : les Ed. de l'Ecole polytechnique, impr. 2011 . - 1 vol. (171 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7302-1526-8
La 4ème de couv. porte : "Informatique" Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Langages de programmation Résumé : Les langages de programmation ont profondément changé notre rapport au langage, à la complexité et aux machines. Ce livre propose une introduction aux principes autour desquels ces langages sont organisés. Il utilise le langage Java comme support. Le premier objectif de ce livre est donc l'apprentissage des rudiments de Java. Cependant, connaître un langage de programmation unique ne suffit pas pour savoir programmer. Il faut, pour cela, non seulement connaître plusieurs langages, mais surtout être capable d'en apprendre rapidement un nouveau. Cela demande de savoir distinguer les concepts universels, comme celui de fonction ou de cellule, qui reviennent sous une forme ou une autre dans tous les langages de programmation, de la manière particulière dont ils sont utilisés en Java. Et cela ne peut se faire qu'en comparant le langage que l'on apprend à d'autres. Dans ce livre, deux langages de comparaison ont été choisis: Caml et C. Comprendre les principes des langages de programmation demande également d'acquérir des outils qui permettent de décrire précisément la signification d'un programme et cette acquisition constitue le deuxième objectif de ce livre. Le dernier est l'apprentissage des algorithmes de base sur les listes et les arbres. Ce livre, destiné aux étudiants de niveau licence qui ont déjà une petite expérience de programmation, présente ce que tous les ingénieurs et scientifiques, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Réservation
Réserver ce document
Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité m8/2488--5 m8/2488 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2488--6 m8/2488 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2488--7 m8/2488 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2488--1 m8/2488 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2488--2 m8/2488 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2488--3 m8/2488 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2488--4 m8/2488 Périodique Mathématiques et 'informatique indéterminé Disponible