Les nombreuses applications de la logique floue et des systèmes flous qui ont été réalisées dans le monde entier depuis une cinquantaine d'années en font un des outils importants de l'intelligence artificielle.
Elles ont prouvé son efficacité pour résoudre divers types de problèmes dans lesquels les connaissances disponibles sont imprécises, incertaines et/ou incomplètes.
[lire la quatrième du livre Logique floue]
Livres Logique mathématique
Dans ce récit plein d'humour, l'un des plus grands mathématiciens français raconte sa jeunesse entre maths et rock'n'roll.
[lire la quatrième du livre Dans la tête d'un mathématicien]
Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir la logique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les universités et dans les classes préparatoires MP2I et MPI, du niveau L2 jusqu'à la préparation a l'agrégation d'informatique.
[lire la quatrième du livre Logique : fondements et applications]
Cet ouvrage n'est plus commercialisé par l'éditeur
Pour ceux qui aiment se triturer les méninges 76 remue-méninges mathématiques pour tous les âges, tous les niveaux et toutes les situations. Un petit bijou littéraire avec des énigmes entièrement revisitées et replongées dans leur contexte historique et culturel, parfois surprenant. Un voyage logique à travers l'Histoire et le monde. Un bel ouvrage plaisamment illustré, tout en [...]
[lire la quatrième du livre Les plus belles énigmes mathématiques]
L'objectif de cet ouvrage est de permettre aux citoyen.ne.s de s'approprier ou de se ré-approprier des outils mathématiques simples. De donner à cette discipline un aspect concret et familier, pour dépasser les a-priori d'aridité et d'obscurité qu'on lui prête.
[lire la quatrième du livre mathematiques, raisonnement et mystificatio n - [...]]
Dans 'Jeux d'intelligence' , deuxième volume de la nouvelle série 'EXPERT - Les énigmes de Turing' , les lecteurs se feront un plaisir de devoir se creuser la tête afin de résoudre des énigmes de logique.
[lire la quatrième du livre Jeux d'intelligence]
La nouvelle collection 'EXPERT - Les énigmes de Turing' est le résultat de la collaboration avec le Turing Trust, qui avec l'auteur Eric Saunders a créé pour chaque volume plus de 130 énigmes capables d'intriguer, de donner du fil à retordre aux amateurs de puzzles mentaux ! Dans chaque ...
[lire la quatrième du livre Enigmes mathématiques]
Cet ouvrage n'est plus commercialisé par l'éditeur
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. Daniel lascar Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique.
[lire la quatrième du livre Logique mathématique]
On ne s'interdit pas de faire du footing parce que d'autres sont des champions olympiques, ni de jouer d'un instrument à cause de Mozart. Les mathématiques ne sont pas différentes. La bosse des maths n'existe pas, tout le monde peut comprendre les mathématiques.
[lire la quatrième du livre Dans la tête d'un mathématicien]
Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique. La théorie des ensembles, développée au XIXe et au XXe siècle, est en particulier une théorie mathématique de l'infini. A ce titre, elle présente souvent des résultats très étonnants.
[lire la quatrième du livre Théorie des ensembles et logique mathématique]
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.
[lire la quatrième du livre Logique mathématique]
Comment une théière bleue peut-elle confirmer que tous les corbeaux sont noirs ? Est-ce qu'un homme riche à qui on prend un euro demeure un homme riche ? Si un Crétois affirme que tous les Crétois sont des menteurs, doit-on le croire ? Est-ce que "le roi de France en 2019 est chauve" est un ...
[lire la quatrième du livre Les paradoxes n'existent pas...]
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés.
[lire la quatrième du livre Introduction à la logique]
Ce livre fait le lien entre logique et raisonnement, les erreurs classiques sont analysées, les notions de preuve et de déduction expliquées avec des raisonnements courants. De nombreux exercices corrigés permettent au novice de maîtriser peu à peu les notions de base ayant trait à la syntaxe, la sémantique et la théorie de la preuve.
[lire la quatrième du livre Logique et raisonnement]
Le but de cet ouvrage est de présenter la Logique Combinatoire développée principalement par Curry. Pour les auteurs, la Logique Combinatoire est pensée comme une logique d'opérateurs, de composition et de transformations intrinsèques d'opérateurs où la seule opération de base est l'application d'un opérateur à un opérande.
[lire la quatrième du livre Logique Combinatoire et (lambda)-Calcul : des [...]]
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éfinitivement rétifs aux maths et au formalisme, il ne requiert aucune formation ou bagage préalable.
[lire la quatrième du livre La logique pas à pas]
À la fin du XVIIIe siècle, Emmanuel Kant pouvait encore voir dans les mathématiques le modèle même des jugements synthétiques a priori, c'est-à-dire dotés d'un contenu intuitif propre quoique non dérivé de l'expérience sensible.
[lire la quatrième du livre Intuition et déduction en mathématique]
La théorie des modèles est un puissant outil pour l'étude générale des structures algébriques. La notion d'ensemble définissable y joue un rôle prépondérant. Cette algèbre universelle connaît actuellement un développement spectaculaire et intéresse de plus en plus de mathématiciens.
[lire la quatrième du livre La théorie des modèles en peu de maux]
Ce petit livre traite de quelques aspects des fondements des mathématiques. Il reprend un cours semestriel de maîtrise de mathématiques, enseigné à l'Université de Caen.
[lire la quatrième du livre Logiques, ensembles, catégories Le point de vue [...]]
Alerte dispo
Cet ouvrage n'est momentanément plus disponible chez l'éditeur