Résultat de la recherche
32 recherche sur le mot-clé 'LOGIQUE MATHEMATIQUE'
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 Interroger des sources externes Faire une suggestion
ouvrage
ouvrage
Algèbre des propositions - Calcul des propositions - Logique des prédicats - Arithmétique axiomatique - Eléments de la théorie des démonstrations.ouvrage
L½uvre du mathématicien et philosophe hongrois Imre Lakatos, interlocuteur privilégié de Paul Feyerabend et successeur de Karl Popper à la London School of Economics, a été largement diffusée et traduite dans les principaux pays dEurope, nourr[...]ouvrage
A côté de la logique dite classique, extension immédiate de la syllogistique d'Aristote, se sont introduits des systèmes plus riches en pouvoir d'expression où la validité de certaines lois est suspendue, des systèmes à plus de deux valeurs, d'a[...]ouvrage
B. Bouchon-Meunier ; C. Marsala | PARIS : HERMES SCIENCES PUBLICATIONS | Traité IC2, série Informatique et systèmes d'information | 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 ingé[...]ouvrage
Comment garantir qu'une argumentation est correcte et qu'aucun cercle vicieux ne s'immisce dans des propos qui se veulent justes ? On comprend à ces mots que la logique est un indispensable bagage pour tous. Syllogismes, tiers exclu, implication[...]ouvrage
Ce voyage dans le monde étrange des objets mathématiques permet de partir à la découverte des différentes disciplines qui les étudient : logique, géométrie, arithmétique, topologie, etc. Il permet également et peut-être surtout de comprendre à q[...]ouvrage
R. Lassaigne ; DE Rougemont M. | Paris [FRA] : Hermès | Collection Informatique, ISSN 1242-7691 | 1996Cet ouvrage présente certains résultats importants de la théorie de la complexité : son objet est la classification des problèmes suivant l'importance des ressources nécessaires à leur résolution. L'origine de cette théorie apparaît dans l'étude[...]ouvrage
Ce livre présente deux paradigmes de calcul sous l'angle de la logique. La réduction, étudiée à travers le lambda-calcul et les systèmes de réécriture, est à la base de la programmation fonctionnelle, où la notion de type et les propriétés de co[...]ouvrage
Compter, dénombrer. S'il parait simple de compter, il n'est pas facile de maîtriser l'art du dénombrement. Parmi les outils disponibles, la combinatoire est la discipline privilégiée. Elle est à l'origine de la théorie des probabilités. Mais les[...]ouvrage
J. Haton ; N. Bouzid ; F. Charpillet ; M. Haton ; B. Laasri ; H. Laasri ; P. Marquis ; T. Mondot ; A. Napoli | Paris [FRA] : Intereditions | 1991Après une introduction au domaine des systèmes à bases de connaissances dans le cadre général de l'intelligence artificielle, les auteurs abordent la logique mathématique et ses liens avec le raisonnement, le raisonnement approximatif et incerta[...]ouvrage
J. Haton ; N. Bouzid ; F. Charpillet ; M. Haton ; B. Laasri ; H. Laasri ; P. Marquis ; T. Mondot ; A. Napoli | Paris [FRA] : Intereditions | Collection iia | 1991Fruit d'un travail d'enseignement et de recherche mené au Centre de Recherche en Informatique de Nancy (CRIN,CNRS/INRIA-Lorraine), cet ouvrage constitue l'une des première présentations unifiées des divers modèles, techniques et architectures de[...]ouvrage
Issu d'une action concertée incitative du Ministère de la Recherche, cet ouvrage traite des formalismes de représentation et de raisonnement sur l'espace et le temps, tels qu'ils sont développés actuellement en intelligence artificielle. Il s'ad[...]ouvrage
article/chapitre/communication