BIBLIOTHEQUE CENTRALE
Résultat de la recherche
4 résultat(s) recherche sur le mot-clé 'Logique mathématique'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logique mathématique / Cole Kleene Stephen
Titre : Logique mathématique Type de document : texte imprimé Auteurs : Cole Kleene Stephen, Auteur Editeur : Paris [France] : Edition Jacques Gabay Année de publication : 2004 Importance : 412p Format : 24X17cm ISBN/ISSN/EAN : 978-2-87647-005-7 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Logique mathématique Index. décimale : 510 Résumé : Un manuel de logique écrit à l'intention des étudiants par un logicien de réputation internationale. Ce livre, d'une rare richesse intellectuelle et instrument de travail exceptionnel, est sans équivalent, même dans sa langue originale. Il est le fruit à la fois d'une longue expérience pédagogique et d'une connaissance de première main des sujets qui y sont exposés. L'auteur réussit à donner à sa pensée une expression accessible et rigoureuse, jouant de toutes les ressources d'une pédagogie très au point : démonstrations informelles, résultats généraux prouvés sur un cas typique traité in extenso, exemples développés jusqu'à l'extrême détail, exercices placés à la fin de chaque section, grâce auxquels le lecteur peut reconstituer les concepts abstraits et s'assurer qu'il sait les mettre en oeuvre.
Les notes placées en bas de page, renvoyant les unes aux autres et à des parties antérieures de l'ouvrage, contribuent à resserrer la cohérence et à guider le lecteur. Elles contiennent en outre une profusion de remarques et d'informations historiques, critiques, bibliographiques d'un intérêt considérable.Note de contenu : Sommaire
-Logique mathématique élémentaire
-Le calcul propositionnel
-Le calcul des prédicats
-Le calcul des prédicats avec égalité
-La logique mathématique et les fondements des mathématiques
-Les fondements des mathématiques
-Calculabilité et décidabilité
-Le calcul des prédicats (SupplémentsLogique mathématique [texte imprimé] / Cole Kleene Stephen, Auteur . - Paris (France) : Edition Jacques Gabay, 2004 . - 412p ; 24X17cm.
ISBN : 978-2-87647-005-7
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Logique mathématique Index. décimale : 510 Résumé : Un manuel de logique écrit à l'intention des étudiants par un logicien de réputation internationale. Ce livre, d'une rare richesse intellectuelle et instrument de travail exceptionnel, est sans équivalent, même dans sa langue originale. Il est le fruit à la fois d'une longue expérience pédagogique et d'une connaissance de première main des sujets qui y sont exposés. L'auteur réussit à donner à sa pensée une expression accessible et rigoureuse, jouant de toutes les ressources d'une pédagogie très au point : démonstrations informelles, résultats généraux prouvés sur un cas typique traité in extenso, exemples développés jusqu'à l'extrême détail, exercices placés à la fin de chaque section, grâce auxquels le lecteur peut reconstituer les concepts abstraits et s'assurer qu'il sait les mettre en oeuvre.
Les notes placées en bas de page, renvoyant les unes aux autres et à des parties antérieures de l'ouvrage, contribuent à resserrer la cohérence et à guider le lecteur. Elles contiennent en outre une profusion de remarques et d'informations historiques, critiques, bibliographiques d'un intérêt considérable.Note de contenu : Sommaire
-Logique mathématique élémentaire
-Le calcul propositionnel
-Le calcul des prédicats
-Le calcul des prédicats avec égalité
-La logique mathématique et les fondements des mathématiques
-Les fondements des mathématiques
-Calculabilité et décidabilité
-Le calcul des prédicats (SupplémentsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 11/182528 L/510.1040 Livre Bibliothèque Centrale indéterminé Exclu du prêt Logique Mathématique : 2.Fonctions Récurcives Théorème De Godel Théorie Des Ensembles Théorie Des Modèles cours et exercices corrigés / Cori René
Titre : Logique Mathématique : 2.Fonctions Récurcives Théorème De Godel Théorie Des Ensembles Théorie Des Modèles cours et exercices corrigés Type de document : texte imprimé Auteurs : Cori René, Auteur ; Daniel Lascar, Auteur Editeur : Dunod Année de publication : 2003 Importance : 347p Format : 24X17cm ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Français (fre) Mots-clés : Logique Mathématique Index. décimale : 510 Résumé : Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de G?del et à la théorie des ensembles ainsi qu'à la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique. Note de contenu : Sommaire :
Récursivité
Formalisation de l'arithmétique, Théorèmes de Gödel
Théorie des ensembles
Un eu de théorie des modèlesLogique Mathématique : 2.Fonctions Récurcives Théorème De Godel Théorie Des Ensembles Théorie Des Modèles cours et exercices corrigés [texte imprimé] / Cori René, Auteur ; Daniel Lascar, Auteur . - Paris : Dunod, 2003 . - 347p ; 24X17cm.
ISBN : 978-2-10-005453-4
Langues : Français (fre)
Mots-clés : Logique Mathématique Index. décimale : 510 Résumé : Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de G?del et à la théorie des ensembles ainsi qu'à la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique. Note de contenu : Sommaire :
Récursivité
Formalisation de l'arithmétique, Théorèmes de Gödel
Théorie des ensembles
Un eu de théorie des modèlesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 05/92596 L/510.670 Livre Bibliothèque Centrale indéterminé Exclu du prêt Cours de logique mathématique Tome 2 : Théorie des modèles / Fraisse Roland
Titre : Cours de logique mathématique Tome 2 : Théorie des modèles Type de document : texte imprimé Auteurs : Fraisse Roland, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1972 Importance : 177p Format : 24X15 cm Langues : Français (fre) Mots-clés : logique mathématique Index. décimale : 510 Note de contenu : Table des matiéres:
1.isomorphisme local et formule logique;théorémes de la restriction logique et de compacité
2.élimination des quanteurs
3.théorémes d'extension
4.théorie,axiomatique
5.uitraproduit
6.forcing
7.isomorphismes et équivalences en rapport avec le calcul des formules infinies à quanteurs finiCours de logique mathématique Tome 2 : Théorie des modèles [texte imprimé] / Fraisse Roland, Auteur . - [S.l.] : Paris : Gauthier-Villars, 1972 . - 177p ; 24X15 cm.
Langues : Français (fre)
Mots-clés : logique mathématique Index. décimale : 510 Note de contenu : Table des matiéres:
1.isomorphisme local et formule logique;théorémes de la restriction logique et de compacité
2.élimination des quanteurs
3.théorémes d'extension
4.théorie,axiomatique
5.uitraproduit
6.forcing
7.isomorphismes et équivalences en rapport avec le calcul des formules infinies à quanteurs finiExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 90/11945 L/510.168 Livre Bibliothèque Centrale indéterminé Exclu du prêt Cours de logique mathématique Tome1 : Relation et formule logique / Fraisse Roland
Titre : Cours de logique mathématique Tome1 : Relation et formule logique Type de document : texte imprimé Auteurs : Fraisse Roland Mention d'édition : 2éd Editeur : Paris : Gauthier-Villars Année de publication : 1971 Importance : 197p Format : 24x15.5 cm Langues : Français (fre) Mots-clés : Logique mathématique Index. décimale : 510 Note de contenu : Table des matiéres:
1.mot,formule
2.connection et formule connective
3.relation,multirelation,opérateur et prédicat
4.isomorphisme local;opérateur et formule libres
5.formule,opérateur,classe et équivalence logiques;théoréme du modéle dénombrable
6.théorémes de complétude et d'interpolation
7.interprétabilité entre relationsCours de logique mathématique Tome1 : Relation et formule logique [texte imprimé] / Fraisse Roland . - 2éd . - [S.l.] : Paris : Gauthier-Villars, 1971 . - 197p ; 24x15.5 cm.
Langues : Français (fre)
Mots-clés : Logique mathématique Index. décimale : 510 Note de contenu : Table des matiéres:
1.mot,formule
2.connection et formule connective
3.relation,multirelation,opérateur et prédicat
4.isomorphisme local;opérateur et formule libres
5.formule,opérateur,classe et équivalence logiques;théoréme du modéle dénombrable
6.théorémes de complétude et d'interpolation
7.interprétabilité entre relationsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 90/11942 L/510.167 Livre Bibliothèque Centrale indéterminé Exclu du prêt