الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'calcul commune une suite de petit pas'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette 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