الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Détail de l'éditeur
|
Documents disponibles chez cet éditeur
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 Tome I. Mécanique des milieux continus / Jean Salen§on
Titre : Mécanique des milieux continus : Concepts généraux Type de document : document multimédia Auteurs : Jean Salen§on, Mention d'édition : [Nouvelle ©dition] Editeur : Palaiseau : d. de l'cole polytechnique Année de publication : impr. 2005. Importance : 1 vol. (370 p.) Présentation : ill. en noir et en coul., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 2-7302-1245-0 Prix : 29 EUR Note générale : 370 pages
ISBN-10 : 2730212450
ISBN-13 : 978-2730212458
Dimensions du produit : 24 x 2.1 x 17 cm
Éditeur : Ellipses (7 octobre 2005)
Langue : : FrançaisLangues : Français (fre) Mots-clés : milieux continus déformation cinématique des milieux continus puissances virtuelles étude de contraintes opérateur Index. décimale : 531 Résumé : Ce premier tome est consacré à la mise en place des concepts généraux de la mécanique des milieux continus. La modélisation géométrique est issue de l'expérience quotidienne et la construction de la modéli-sation des efforts, qui conduit à l'introduction des contraintes de Cauchy, procède de la méthode des puissances virtuelles. Fondée sur le concept de dualité énergétique, celle-ci permet une démarche systématique qui sera reprise au tome III pour les milieux continus généralisés. C'est aussi ce même esprit de dualisation qui sera mis en oeuvre au tome II dans les méthodes varationnelles de résolution des problèmes de thermoélasticité.
Revue de presse
Ce premier tome est consacré à la mise en place des concepts généraux de la mécanique des milieux continus. La modélisation géométrique est issue de l'expérience quotidienne et la construction de la modéli-sation des efforts, qui conduit à l'introduction des contraintes de Cauchy, procède de la méthode des puissances virtuelles. Fondée sur le concept de dualité énergétique, celle-ci permet une démarche systématique qui sera reprise au tome III pour les milieux continus généralisés. C'est aussi ce même esprit de dualisation qui sera mis en oeuvre au tome II dans les méthodes varationnelles de résolution des problèmes de thermoélasticité.
Quatrième de couverture
Ce premier tome est consacré à la mise en place des concepts généraux de la mécanique des milieux continus. La modélisation géométrique est issue de l'expérience quotidienne et la construction de la modéli-sation des efforts, qui conduit à l'introduction des contraintes de Cauchy, procède de la méthode des puissances virtuelles. Fondée sur le concept de dualité énergétique, celle-ci permet une démarche systématique qui sera reprise au tome III pour les milieux continus généralisés. C'est aussi ce même esprit de dualisation qui sera mis en oeuvre au tome II dans les méthodes varationnelles de résolution des problèmes de thermoélasticité.Note de contenu : Le CD-ROM contient un didacticiel sonoris© et le texte de l'ouvrage en format PDF. Mécanique des milieux continus : Concepts généraux [document multimédia] / Jean Salen§on, . - [Nouvelle ©dition] . - Palaiseau : d. de l'cole polytechnique, impr. 2005. . - 1 vol. (370 p.) : ill. en noir et en coul., couv. ill. en coul. ; 24 cm.
ISBN : 2-7302-1245-0 : 29 EUR
370 pages
ISBN-10 : 2730212450
ISBN-13 : 978-2730212458
Dimensions du produit : 24 x 2.1 x 17 cm
Éditeur : Ellipses (7 octobre 2005)
Langue : : Français
Langues : Français (fre)
Mots-clés : milieux continus déformation cinématique des milieux continus puissances virtuelles étude de contraintes opérateur Index. décimale : 531 Résumé : Ce premier tome est consacré à la mise en place des concepts généraux de la mécanique des milieux continus. La modélisation géométrique est issue de l'expérience quotidienne et la construction de la modéli-sation des efforts, qui conduit à l'introduction des contraintes de Cauchy, procède de la méthode des puissances virtuelles. Fondée sur le concept de dualité énergétique, celle-ci permet une démarche systématique qui sera reprise au tome III pour les milieux continus généralisés. C'est aussi ce même esprit de dualisation qui sera mis en oeuvre au tome II dans les méthodes varationnelles de résolution des problèmes de thermoélasticité.
Revue de presse
Ce premier tome est consacré à la mise en place des concepts généraux de la mécanique des milieux continus. La modélisation géométrique est issue de l'expérience quotidienne et la construction de la modéli-sation des efforts, qui conduit à l'introduction des contraintes de Cauchy, procède de la méthode des puissances virtuelles. Fondée sur le concept de dualité énergétique, celle-ci permet une démarche systématique qui sera reprise au tome III pour les milieux continus généralisés. C'est aussi ce même esprit de dualisation qui sera mis en oeuvre au tome II dans les méthodes varationnelles de résolution des problèmes de thermoélasticité.
Quatrième de couverture
Ce premier tome est consacré à la mise en place des concepts généraux de la mécanique des milieux continus. La modélisation géométrique est issue de l'expérience quotidienne et la construction de la modéli-sation des efforts, qui conduit à l'introduction des contraintes de Cauchy, procède de la méthode des puissances virtuelles. Fondée sur le concept de dualité énergétique, celle-ci permet une démarche systématique qui sera reprise au tome III pour les milieux continus généralisés. C'est aussi ce même esprit de dualisation qui sera mis en oeuvre au tome II dans les méthodes varationnelles de résolution des problèmes de thermoélasticité.Note de contenu : Le CD-ROM contient un didacticiel sonoris© et le texte de l'ouvrage en format PDF. Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité ST4242 531/159.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST4243 531/159.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST4244 531/159.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST4245 531/159.4 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST4246 531/159.5 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST4247 531/159.6 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST4248 531/159.7 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST4249 531/159.8 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible