University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Daniel Lascar (1942-....) |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique / Daniel Lascar
Titre de série : Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1 Titre : Logique mathématique : Cours et exercices corrigés Type de document : texte imprimé Auteurs : Daniel Lascar (1942-....), ; Jean-Louis Krivine, Année de publication : 2021 Importance : 1 vol. (385 p.) Présentation : couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-082514-1 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 511.3 Logique mathématique Côte titre : Fs/24741-24743 Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique : Cours et exercices corrigés [texte imprimé] / Daniel Lascar (1942-....), ; Jean-Louis Krivine, . - 2021 . - 1 vol. (385 p.) : couv. ill. en coul. ; 24 cm.
ISBN : 978-2-10-082514-1
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 511.3 Logique mathématique Côte titre : Fs/24741-24743 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/24741 Fs/24741-24743 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/24742 Fs/24741-24743 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/24743 Fs/24741-24743 Livre Bibliothéque des sciences Français Disponible
DisponibleLogique mathématique 1 / René Cori
Titre : Logique mathématique 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine, Préfacier, etc. Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup Importance : 1 vol. (385 p.,) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Bibliogr. p. 361-363 Langues : Français (fre) Catégories : Mathématique Mots-clés : Calcul des prédicats
Boole, Algèbre de
Calcul des propositionsIndex. décimale : 511.3 Logique mathématique 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 ce 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. Le second est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et aux théories des ensembles et 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, n'exigeant aucune connaissance préalable en logique, se destine principalement aux étudiants en licence et master 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
Calcul propositionnel
Syntaxe
Sémantique
Formes normales, systèmes complets de connecteurs
Lemme d'interpolation
Théorème de compacité
Algèbre de Boole
Rappels d'algèbre et de topologie
Définition des algèbres de Boole
Atomes dans une algèbre de Boole
Idéaux et filtres
Le théorème de Stone
Calcul des prédicats
Syntaxe
Les structures
Satisfaction des formules dans les structures
Formes prénexes et formes de Skolem
Premiers pas en théorie des modèles
Théorèmes de complétude
Démonstrations formelles
Les modèles de Henkin
La méthode de Herbrand
Les démonstrations par coupure
La méthode de résolutionCôte titre : Fs/19563 Logique mathématique 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine, Préfacier, etc. . - Paris : Dunod, 2003 . - 1 vol. (385 p.,) : ill. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-005452-7
Bibliogr. p. 361-363
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Calcul des prédicats
Boole, Algèbre de
Calcul des propositionsIndex. décimale : 511.3 Logique mathématique 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 ce 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. Le second est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et aux théories des ensembles et 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, n'exigeant aucune connaissance préalable en logique, se destine principalement aux étudiants en licence et master 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
Calcul propositionnel
Syntaxe
Sémantique
Formes normales, systèmes complets de connecteurs
Lemme d'interpolation
Théorème de compacité
Algèbre de Boole
Rappels d'algèbre et de topologie
Définition des algèbres de Boole
Atomes dans une algèbre de Boole
Idéaux et filtres
Le théorème de Stone
Calcul des prédicats
Syntaxe
Les structures
Satisfaction des formules dans les structures
Formes prénexes et formes de Skolem
Premiers pas en théorie des modèles
Théorèmes de complétude
Démonstrations formelles
Les modèles de Henkin
La méthode de Herbrand
Les démonstrations par coupure
La méthode de résolutionCôte titre : Fs/19563 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19563 Fs/19563 Livre Bibliothéque des sciences Français Disponible
DisponibleLogique 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
Disponible