GEOTRUST SSL CERTIFICATE
Résultat de la recherche
15 recherche sur le mot-clé 'Logique mathématique'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
texte imprimé
Un grand classique de logique mathématique, introuvable même en anglais.texte imprimé
texte imprimé
texte imprimé
Décrit les nouvelles avancées de la théorie du calcul et de la logique et examine spécialement la théorie algorithmique de l'information (complexité de Chaitin-Kolmogorov) : un objet contient une grande quantité d'information s'il ne possède de [...]texte imprimé
André Delessert, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | 1988Destiné à un large public, ce livre, qui ne nécessite pas de connaissances avancées en mathématiques, est axé principalement sur la logique du premier ordre. Quelques relations avec la langue, la philosophie et les fondements des mathématiques s[...]texte imprimé
Eclaire de façon nouvelle la question du rapport de la logique avec les autres disciplines scientifiques. Puisant ses sources dans les travaux de Fermat, dans le programme de Hilbert et de Kronecker, l'auteur propose une solution au problème de [...]texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Axiomes | 1993Premier titre d'une nouvelle collection. Ce cours est issu d'un enseignement de 2e cycle. Nombreux exercices corrigés.texte imprimé
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; [...]texte imprimé
texte imprimé
Une mise au point sur l'utilisation de la logique, à partir des résultats et des méthodes d'exposition les plus récents.