University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
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
Titre : Logique Type de document : texte imprimé Auteurs : A Fuchs, Auteur ; G Reeb, Auteur Editeur : Alger : OPU Année de publication : 1986 Collection : Le cours de mathematique Importance : 1 vol (317 p.) Format : 24 cm Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 510 - Mathématique Côte titre : Fs/24305 Logique [texte imprimé] / A Fuchs, Auteur ; G Reeb, Auteur . - Alger : OPU, 1986 . - 1 vol (317 p.) ; 24 cm. - (Le cours de mathematique) .
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 510 - Mathématique Côte titre : Fs/24305 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/24305 Fs/24305 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre Type de document : texte imprimé Auteurs : Devismes, Stéphane, Auteur ; Lafourcade, Pascal, Auteur ; Lévy, Michel, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup Importance : 1 vol. (209 p.) Présentation : fig., tabl., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Catégories : Mathématique Mots-clés : Logique du premier ordre
Calcul des propositions
Boole, Algèbre de
Théorèmes : Démonstration automatique
AlgorithmesIndex. décimale : 512 Algèbre Résumé :
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.Note de contenu :
Sommaire
Logique propositionnelle
Logique propositionnelle
Résolution propositionnelle
Déduction Naturelle
Logique du premier ordre
Logique du premier ordre
Base de la démonstration automatique
Déduction naturelle au premier ordre : quantificateurs, copie et égalité
Annexes
Corrigés
Bibliographie
IndexCôte titre : Fs/16236-16240 Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Devismes, Stéphane, Auteur ; Lafourcade, Pascal, Auteur ; Lévy, Michel, Auteur . - Paris : Ellipses, 2012 . - 1 vol. (209 p.) : fig., tabl., couv. ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-7229-8
Catégories : Mathématique Mots-clés : Logique du premier ordre
Calcul des propositions
Boole, Algèbre de
Théorèmes : Démonstration automatique
AlgorithmesIndex. décimale : 512 Algèbre Résumé :
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.Note de contenu :
Sommaire
Logique propositionnelle
Logique propositionnelle
Résolution propositionnelle
Déduction Naturelle
Logique du premier ordre
Logique du premier ordre
Base de la démonstration automatique
Déduction naturelle au premier ordre : quantificateurs, copie et égalité
Annexes
Corrigés
Bibliographie
IndexCôte titre : Fs/16236-16240 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/16236 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16237 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16238 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16240 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/16239 Fs/16236-16240 Livre Bibliothéque des sciences Français Disponible
Disponible
Titre : La logique floue : Exercices corrigés et exemples d'applications Type de document : texte imprimé Auteurs : Bernadette Bouchon-Meunier, Auteur ; Laurent Foulloy, Auteur ; Ramdani, Mohammed, Auteur Editeur : Toulouse : Cépaduès-éd. Année de publication : 1998 Importance : 1 vol (200 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-85428-469-0 Note générale : 2-85428-469-0 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique
logique floueIndex. décimale : 006.3 Intelligence artificielle Résumé :
La 4e de couverture indique : "Ce livre présente la logique floue sous l'angle de son utilisation. Son but est de faire comprendre comment fonctionne la logique floue, de démystifier les concepts théoriques et, en même temps, de montrer l'aspect rigoureux des différentes techniques disponibles"
Côte titre : Fs/23006-23007 La logique floue : Exercices corrigés et exemples d'applications [texte imprimé] / Bernadette Bouchon-Meunier, Auteur ; Laurent Foulloy, Auteur ; Ramdani, Mohammed, Auteur . - Toulouse : Cépaduès-éd., 1998 . - 1 vol (200 p.) : ill. ; 21 cm.
ISBN : 978-2-85428-469-0
2-85428-469-0
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique
logique floueIndex. décimale : 006.3 Intelligence artificielle Résumé :
La 4e de couverture indique : "Ce livre présente la logique floue sous l'angle de son utilisation. Son but est de faire comprendre comment fonctionne la logique floue, de démystifier les concepts théoriques et, en même temps, de montrer l'aspect rigoureux des différentes techniques disponibles"
Côte titre : Fs/23006-23007 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/23006 Fs/23006-23007 livre Bibliothéque des sciences Français Disponible
DisponibleFs/23007 Fs/23006-23007 livre Bibliothéque des sciences Français Disponible
DisponibleLogique floue, principes, aide à la décision
Titre : Logique floue, principes, aide à la décision Type de document : texte imprimé Auteurs : Bernadette Bouchon-Meunier, Directeur de publication, rédacteur en chef ; Christophe Marsala, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès science publications Année de publication : 2003 Collection : Traités IC2. Série Informatique et systèmes d'information Sous-collection : Informatique et systèmes d'information Importance : 1 vol (252 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-7462-0543-7 Note générale : 2-7462-0543-2 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique
Statistique mathématique
Logique floueIndex. décimale : 519.5 Statistique mathématique , analyse statistique Résumé :
Cet ouvrage présente les principaux domaines d'application de la logique floue avec une orientation méthodologique qui ne néglige pas les fondements théoriques, mais tente de répondre aux questions que se posent les étudiants, chercheurs et ingénieurs qui veulent mettre au point des réalisations dans des situations concrètes. Le premier chapitre présente les concepts de base de la théorie des sous-ensembles flous. Le deuxième chapitre traite des principes de l'arithmétique floue. Le troisième chapitre a pour objet les méthodes d'agrégation multicritère. Elles consistent à synthétiser des informations traduisant des aspects ou des points de vue différents et parfois conflictuels au sujet d'un même ensemble d'objets. Le quatrième chapitre s'intéresse aux bases des principaux moyens permettant de raisonner à partir de connaissances imprécises et certaines, elles étendent au cas de connaissances mal définies tous les modèles de raisonnement classique en intelligence artificielle. Le cinquième chapitre aborde les méthodes de classification et de diagnostic basées sur les ensembles flous. Enfin, le dernier chapitre a pour objet de présenter les concepts de base et les méthodes utilisées dans quelques approches mathématiques de la statistique et de l'analyse de données flouesNote de contenu :
Côte titre : Fs/23004-23005 Logique floue, principes, aide à la décision [texte imprimé] / Bernadette Bouchon-Meunier, Directeur de publication, rédacteur en chef ; Christophe Marsala, Directeur de publication, rédacteur en chef . - Paris : Hermès science publications, 2003 . - 1 vol (252 p.) : ill. ; 25 cm. - (Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) .
ISBN : 978-2-7462-0543-7
2-7462-0543-2
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique
Statistique mathématique
Logique floueIndex. décimale : 519.5 Statistique mathématique , analyse statistique Résumé :
Cet ouvrage présente les principaux domaines d'application de la logique floue avec une orientation méthodologique qui ne néglige pas les fondements théoriques, mais tente de répondre aux questions que se posent les étudiants, chercheurs et ingénieurs qui veulent mettre au point des réalisations dans des situations concrètes. Le premier chapitre présente les concepts de base de la théorie des sous-ensembles flous. Le deuxième chapitre traite des principes de l'arithmétique floue. Le troisième chapitre a pour objet les méthodes d'agrégation multicritère. Elles consistent à synthétiser des informations traduisant des aspects ou des points de vue différents et parfois conflictuels au sujet d'un même ensemble d'objets. Le quatrième chapitre s'intéresse aux bases des principaux moyens permettant de raisonner à partir de connaissances imprécises et certaines, elles étendent au cas de connaissances mal définies tous les modèles de raisonnement classique en intelligence artificielle. Le cinquième chapitre aborde les méthodes de classification et de diagnostic basées sur les ensembles flous. Enfin, le dernier chapitre a pour objet de présenter les concepts de base et les méthodes utilisées dans quelques approches mathématiques de la statistique et de l'analyse de données flouesNote de contenu :
Côte titre : Fs/23004-23005 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/23004 Fs/23004-23005 livre Bibliothéque des sciences Français Disponible
DisponibleFs/23005 Fs/23004-23005 livre Bibliothéque des sciences Français Disponible
DisponiblePermalinkPermalinkPermalinkPermalinkPermalink
PermalinkPermalinkPermalinkPermalinkPermalink
