Introduction à la logique / André Delessert (1988)

Public ISBD Titre : Introduction à la logique Type de document : texte imprimé Auteurs : André Delessert, Auteur Editeur : Lausanne : Presses polytechniques et universitaires romandes Année de publication : 1988 Importance : 200 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-153-2 Note générale : Bibliogr.p.199-200.-Index Mots-clés : Logique mathématique Logique - Symbolic and mathematical Logique mathématique non classique Index. décimale : 510.6 Logique mathématique Résumé : Axé principalement sur la logique du premier ordre, l'intention générale de ce livre est de proposer des faits de logique non banals, tels que le théorème de complétude de la logique de premier ordre et ses divers corollaires. Quelques relations avec la langue, la philosophie et les fondements des mathématiques sont abordées à la lumière des résultats démontrés. Note de contenu : Sommaire : *Avertissement *Préambule *Les langages du premier ordre *L'idée de modèle ensembliste *La logique (ou calcul) des propositions *Les fonctions de vérité *Les axiomes de l'égalité ou formules de Leibniz *La logique des quantificateurs *La méthode de Henkin: la réduction à la logique des propositions *L'idée de preuve. Le théorème de complétude de la logique du premier ordre *Extension de la logique élémentaire du premier ordre *Quelques remarques sur la logique du premier ordre *Aperçus sur d'autres logiques formelles Introduction à la logique [texte imprimé] / André Delessert, Auteur . - Lausanne : Presses polytechniques et universitaires romandes, 1988 . - 200 p. : ill. ; 24 cm. ISBN : 978-2-88074-153-2 Bibliogr.p.199-200.-Index Mots-clés : Logique mathématique Logique - Symbolic and mathematical Logique mathématique non classique Index. décimale : 510.6 Logique mathématique Résumé : Axé principalement sur la logique du premier ordre, l'intention générale de ce livre est de proposer des faits de logique non banals, tels que le théorème de complétude de la logique de premier ordre et ses divers corollaires. Quelques relations avec la langue, la philosophie et les fondements des mathématiques sont abordées à la lumière des résultats démontrés. Note de contenu : Sommaire : *Avertissement *Préambule *Les langages du premier ordre *L'idée de modèle ensembliste *La logique (ou calcul) des propositions *Les fonctions de vérité *Les axiomes de l'égalité ou formules de Leibniz *La logique des quantificateurs *La méthode de Henkin: la réduction à la logique des propositions *L'idée de preuve. Le théorème de complétude de la logique du premier ordre *Extension de la logique élémentaire du premier ordre *Quelques remarques sur la logique du premier ordre *Aperçus sur d'autres logiques formelles

Réservation

Réserver ce document

Exemplaires (4)

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
043279	510.6 DEL	Papier	Bibliothèque Centrale	Mathématiques	Disponible
043280	510.6 DEL	Papier	Bibliothèque Centrale	Mathématiques	Disponible
037956	510.6 DEL	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
037957	510.6 DEL	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état