Catégories
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Les nombreuses applications de la logique floue qui ont été réalisées dans le monde entier ont prouvé son efficacité pour résoudre divers types de problèmes dans lesquels les connaissances disponibles sont imparfaites. Cet ouvrage a été conçu [...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/53963 Livre Bibliothèque centrale Disponible S8/53964 Livre Bibliothèque centrale Disponible S8/53965 Livre Bibliothèque centrale Disponible texte imprimé
Bernadette Bouchon-Meunier ; Christophe Marsala | Paris : Hermès | Traité IC2. Information commande communication | 2003Cet 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 in[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/65920 Livre Bibliothèque centrale Disponible S8/65921 Livre Bibliothèque centrale Disponible S8/65922 Livre Bibliothèque centrale Disponible texte imprimé
Pierre Le Barbenchon, Auteur ; Sophie Pinchinat, Auteur ; Schwarzentruber, Auteur | Malakoff : Dunod | 2022Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique vue en Licence 2 et 3 d'informatique et de mathématiques appliquées à l'informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux [...]NouveautéExemplaires (2)
Cote Support Localisation Disponibilité S8/90154 Livre Bibliothèque centrale Disponible S8/90155 Livre Bibliothèque centrale Disponible texte imprimé
Afin de ne pas manquer la simplicité fondamentale des concepts étudiés, ce manuel présente les éléments de la logique mathématique dans un style volontairement simple, dégagé du souci de la forme. Loin de prétendre couvrir le sujet, seuls ont ét[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/78922 Livre Bibliothèque centrale Disponible S8/78923 Livre Bibliothèque centrale Disponible S8/78924 Livre Bibliothèque centrale Disponible texte imprimé
Jean Largeault, Editeur scientifique | Paris : A. Colin | Collection U. Série Épistémologie, ISSN 2265-6197 | 1972Exemplaires (2)
Cote Support Localisation Disponibilité S8/901 Livre Bibliothèque centrale Disponible S8/902 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/899 Livre Bibliothèque centrale Disponible S8/900 Livre Bibliothèque centrale Disponible texte imprimé
René Cori ; Daniel Lascar ; Jean-Louis Krivine | Malakoff : Dunod | Sciences sup. Mathématiques | 2003Domaine 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[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/63936 Livre Bibliothèque centrale Disponible S8/63937 Livre Bibliothèque centrale Disponible S8/63938 Livre Bibliothèque centrale Disponible texte imprimé
Issu d'un enseignement de logique dispensé en 2e et 3e. cycles, ce cours traite de manière détaillée des domaines fondamentaux de la logique mathématique. Ce premier tome expose successivement le calcul propositionnel, les algèbres de Boole, [...]Exemplaires (1)
Cote Support Localisation Disponibilité S8/45135 Livre Bibliothèque centrale Disponible texte imprimé
René Cori ; Daniel Lascar ; Jean-Louis Krivine | Malakoff : Dunod | Sciences sup. Mathématiques | 2003Domaine 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[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/63939 Livre Bibliothèque centrale Disponible S8/63940 Livre Bibliothèque centrale Disponible S8/63941 Livre Bibliothèque centrale Disponible texte imprimé
Issu d'un enseignement de logique dispensé en 2e et 3e cycles, ce cours traite de manière détaillée des domaines fondamentaux de la logique mathématique. Après avoir exposé dans le premier tome le calcul propositionnel, les algèbres de Boole,[...]Exemplaires (1)
Cote Support Localisation Disponibilité S8/45136 Livre Bibliothèque centrale Disponible texte imprimé
Mettre les bases de la logique à la portée de tous, et plus particulièrement des non-mathématiciens, tel est l'objectif de ce manuel. Tout spécifiquement conçu pour les étudiants entretenant une relation conflictuelle avec les sciences, ou dé[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/86620 Livre Bibliothèque centrale Disponible S8/86621 Livre Bibliothèque centrale Disponible S8/86622 Livre Bibliothèque centrale Disponible texte imprimé
Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira l[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/75124 Livre Bibliothèque centrale Disponible S8/75125 Livre Bibliothèque centrale Disponible S8/75126 Livre Bibliothèque centrale Disponible S8/75127 Livre Bibliothèque centrale Disponible texte imprimé
Cet Ouvrage se propose d’apporter a l’étudiant en logique mathématique un support de cours et un recueil d’exercices qui lui permettront d’acquérir les bases du raisonnement logique en termes de représentation de la connaissance et en termes d[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/85055 Livre Bibliothèque centrale Disponible S8/85056 Livre Bibliothèque centrale Disponible S8/85057 Livre Bibliothèque centrale Disponible S8/85058 Livre Bibliothèque centrale Disponible texte imprimé
Ce Livre présente la logique sous un aspect original en s'attachant à en faire d'abord comprendre l'intérêt et la méthode. Le lien entre logique et raisonnement est ainsi constamment présent, les erreurs classiques de raisonnement analysées, e[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/79847 Livre Bibliothèque centrale Disponible S8/79848 Livre Bibliothèque centrale Disponible S8/79849 Livre Bibliothèque centrale Disponible S8/79850 Livre Bibliothèque centrale Disponible texte imprimé
Les Systèmes de lois de conservation non linéaires modélisent les écoulements compressibles et incompressibles dans des domaines extrêmement variés tels que l'aéronautique, l'hydrodynamique, la physique des plasmas, la combustion, le trafic rout[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/78176 Livre Bibliothèque centrale Disponible S8/78177 Livre Bibliothèque centrale Disponible S8/78178 Livre Bibliothèque centrale Disponible
Accueil