University Sétif 1 FERHAT ABBAS Faculty of Sciences
Résultat de la recherche
4 résultat(s) 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
Logique mathématique, 2. Logique mathématique / René Cori
Titre de série : Logique mathématique, 2 Titre : Logique mathématique Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine, Préfacier, etc. Année de publication : 2019 Importance : 1 vol. (347 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-10-080770-3 Note générale : La couv. porte en plus : "licence 3, master"
Bibliogr. p.323-325. IndexLangues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Côte titre : Fs/24744-24746 Logique mathématique, 2. Logique mathématique [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine, Préfacier, etc. . - 2019 . - 1 vol. (347 p.) ; 24 cm.
ISBN : 978-2-10-080770-3
La couv. porte en plus : "licence 3, master"
Bibliogr. p.323-325. Index
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Côte titre : Fs/24744-24746 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/24744 Fs/24744-24746 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/24745 Fs/24744-24746 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/24746 Fs/24744-24746 Livre Bibliothéque des sciences Français Disponible
DisponibleThéorie des ensembles et logique mathématique / Jacques Patarin
Titre : Théorie des ensembles et logique mathématique : Des infinis mathématiques aux théorèmes de Gödel Type de document : texte imprimé Auteurs : Jacques Patarin (1965-....), Auteur Editeur : Paris : Ellipses Année de publication : 2020 Importance : 1 vol. (292 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-340-04100-4 Note générale : Bibliogr. p. 291-292 Langues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé :
Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique, qui ont de très nombreuses interactions. De plus, avec le spectaculaire développement de l’informatique actuelle, de nombreux résultats de ce livre prennent aussi une importance pratique, et plus seulement théorique. Presque tout les résultats sont présentés avec leurs preuves et de nombreux exercices (corrigés à la fin du livre) sont également inclus.Côte titre : Fs/24751-24752 Théorie des ensembles et logique mathématique : Des infinis mathématiques aux théorèmes de Gödel [texte imprimé] / Jacques Patarin (1965-....), Auteur . - Paris : Ellipses, 2020 . - 1 vol. (292 p.) : ill. ; 24 cm.
ISBN : 978-2-340-04100-4
Bibliogr. p. 291-292
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé :
Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique, qui ont de très nombreuses interactions. De plus, avec le spectaculaire développement de l’informatique actuelle, de nombreux résultats de ce livre prennent aussi une importance pratique, et plus seulement théorique. Presque tout les résultats sont présentés avec leurs preuves et de nombreux exercices (corrigés à la fin du livre) sont également inclus.Côte titre : Fs/24751-24752 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/24751 Fs/24751-24752 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/24752 Fs/24751-24752 Livre Bibliothéque des sciences Français Disponible
DisponibleLes Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité / DOWEK,Gilles
Titre : Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : DOWEK,Gilles Editeur : Palaiseau : École polytechnique Année de publication : 2010 Importance : 1 vol. (193 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 510-Mathématique 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é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."Note de contenu :
Sommaire
Les démonstrations
Les algorithmes
Les démonstrations et les algorithmesCôte titre : Fs/6970-6971,Fs/6906-6909 Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité [texte imprimé] / DOWEK,Gilles . - Palaiseau : École polytechnique, 2010 . - 1 vol. (193 p.) ; 24 cm.
ISBN : 978-2-7302-1569-5
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 510-Mathématique 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é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."Note de contenu :
Sommaire
Les démonstrations
Les algorithmes
Les démonstrations et les algorithmesCôte titre : Fs/6970-6971,Fs/6906-6909 Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité Fs/6906 Fs/6906-6909 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6907 Fs/6906-6909 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6908 Fs/6906-6909 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6909 Fs/6906-6909 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6970 Fs/6970-6971 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6971 Fs/6970-6971 livre Bibliothéque des sciences Français Disponible
DisponibleLogic and structure / Dirk van Dalen
Titre : Logic and structure Type de document : texte imprimé Auteurs : Dirk van Dalen (1932-....), Auteur Mention d'édition : 4e éd. Editeur : Berlin : Springer Année de publication : 2004 Collection : Universitext Importance : 1 vol. (263 p.) Format : 24 cm ISBN/ISSN/EAN : 978-3-540-20879-2 Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé :
Un bon manuel peut améliorer énormément un cours de conférences, surtout lorsque le matériel de la conférence comprend de nombreux détails techniques. Le livre de Van Dalen, dont le succès et la popularité peut être suspecté de cet intérêt constant, contient une introduction complète à la logique élémentaire classique de manière détendue, adaptée aux étudiants en mathématiques qui veulent simplement connaître la logique. La présentation indique toujours les connexions de la logique à d'autres parties des mathématiques. Le lecteur voit immédiatement que la logique est «juste une autre branche des mathématiques» et pas quelque chose de plus sacréNote de contenu :
Sommaire
Introduction
Propositional Logic
Predicate Logic
Completeness and Applications
Second Order Logic
Intuitionistic Logic
Normalisation
Goedel's Theorem
Bibliography
IndexCôte titre : Fs/2699-2700 Logic and structure [texte imprimé] / Dirk van Dalen (1932-....), Auteur . - 4e éd. . - Berlin : Springer, 2004 . - 1 vol. (263 p.) ; 24 cm. - (Universitext) .
ISBN : 978-3-540-20879-2
Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé :
Un bon manuel peut améliorer énormément un cours de conférences, surtout lorsque le matériel de la conférence comprend de nombreux détails techniques. Le livre de Van Dalen, dont le succès et la popularité peut être suspecté de cet intérêt constant, contient une introduction complète à la logique élémentaire classique de manière détendue, adaptée aux étudiants en mathématiques qui veulent simplement connaître la logique. La présentation indique toujours les connexions de la logique à d'autres parties des mathématiques. Le lecteur voit immédiatement que la logique est «juste une autre branche des mathématiques» et pas quelque chose de plus sacréNote de contenu :
Sommaire
Introduction
Propositional Logic
Predicate Logic
Completeness and Applications
Second Order Logic
Intuitionistic Logic
Normalisation
Goedel's Theorem
Bibliography
IndexCôte titre : Fs/2699-2700 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/2700 Fs/2699-2700 Livre Bibliothéque des sciences Anglais Disponible
DisponibleFs/2699 Fs/2699-2700 Livre Bibliothéque des sciences Anglais Disponible
Disponible