الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Détail de l'auteur
Auteur Gilles Dowek (1966-....) |
Documents disponibles écrits par cet auteur
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 (1966-....), Editeur : Palaiseau : d. de l'cole polytechnique Année de publication : impr. 2011, cop. 2011. Autre Editeur : [Paris] : diff. Ellipses Collection : Informatique (Palaiseau) Importance : 1 vol. (193 p.) Présentation : fig., couv. ill. en coul. Format : 17x24 cm. ISBN/ISSN/EAN : 978-2-7302-1569-5 Prix : 18 EUR Note générale : Éditeur : Editions de l'école polytechnique; 1er édition (5 octobre 2010)
Langue : Français
Broché : 194 pages
ISBN-10 : 2730215697
ISBN-13 : 978-2730215695
Poids de l'article : 340 g
Dimensions : 17 x 1.3 x 24 cmLangues : Français (fre) Mots-clés : Les démonstrations et les algorithmes logique des prédicats modèles algorithmes fonctions calculables calcul commune une suite de petit pas démonstration automatique Index. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : La 4e de couverture indique : "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éoéme d'indécidabilité de Church, le théoéme d'incomplétude de G´del, le théoé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."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.
sommaire:
1-la logique des prédicats
2-les modéles
II-LES ALGORITHMES
3-LES FONCTIONS CALCULABLES
4-LE CALCUL COMME UNE SUITE DE PETITS PAS
III-les démonstrations et les algorithmes
5-le théoréme de church
6-la démonstration automatique
7-des théories décidables
8-la constructivitéNote de contenu : Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité (Français) Broché – 5 octobre 2010
de Gilles Dowek (Auteur)Les démonstrations et les algorithmes : introduction la logique et la calculabilité [texte imprimé] / Gilles Dowek (1966-....), . - Palaiseau : d. de l'cole polytechnique : [Paris] : diff. Ellipses, impr. 2011, cop. 2011. . - 1 vol. (193 p.) : fig., couv. ill. en coul. ; 17x24 cm.. - (Informatique (Palaiseau)) .
ISBN : 978-2-7302-1569-5 : 18 EUR
Éditeur : Editions de l'école polytechnique; 1er édition (5 octobre 2010)
Langue : Français
Broché : 194 pages
ISBN-10 : 2730215697
ISBN-13 : 978-2730215695
Poids de l'article : 340 g
Dimensions : 17 x 1.3 x 24 cm
Langues : Français (fre)
Mots-clés : Les démonstrations et les algorithmes logique des prédicats modèles algorithmes fonctions calculables calcul commune une suite de petit pas démonstration automatique Index. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : La 4e de couverture indique : "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éoéme d'indécidabilité de Church, le théoéme d'incomplétude de G´del, le théoé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."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.
sommaire:
1-la logique des prédicats
2-les modéles
II-LES ALGORITHMES
3-LES FONCTIONS CALCULABLES
4-LE CALCUL COMME UNE SUITE DE PETITS PAS
III-les démonstrations et les algorithmes
5-le théoréme de church
6-la démonstration automatique
7-des théories décidables
8-la constructivitéNote de contenu : Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité (Français) Broché – 5 octobre 2010
de Gilles Dowek (Auteur)Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST14223 518/52.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST14224 518/52.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST14225 518/52.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible