Livres Logique mathématique

Logique : fondements et applications
Cours et exercices corrigés
Editeur : DUNOD
Collection : Sciences Sup
Année : 01/2022

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]

15,60 €
Définitivement indisponible
Cet ouvrage n'est plus commercialisé par l'éditeur

Les plus belles énigmes mathématiques
Auteur : Paul WAGNERMac DOàN
Editeur : ATLANDE
Année : 12/2021

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]

19,00 €
Disponible expédié
sous 4 à 8 jours


mathematiques, raisonnement et mystificatio n - comment decrypter les fausses informati
Auteur : FEHRENBACH JEROME
Editeur : ELLIPSES
Année : 11/2021

L'objectif de cet ouvrage est de permettre de s'approprier ou de se ré-approprier des outils mathématiques simples. De donner à cette discipline un aspect concret et familier. Il a aussi été conçu pour savoir repérer les faux arguments et les analyses biaisées qui déforment les faits scientifiques.
[lire la quatrième du livre mathematiques, raisonnement et mystificatio n - [...]]

12,00 €
Disponible expédié
sous 4 à 8 jours


Enigmes mathématiques
Expert - Les énigmes de Turing
Auteur : GREMESE
Editeur : GREMESE
Année : 05/2021

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]

9,90 €
Actuellement indisponible
Alerte dispo
Cet ouvrage n'est momentanément plus disponible chez l'éditeur

Logique mathématique
Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats
Editeur : DUNOD
Collection : Sciences Sup
Année : 02/2021

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]

46,00 €
Disponible expédié
sous 4 à 8 jours


Dans la tête d'un mathématicien
Editeur : HUMENSCIENCES
Année : 10/2020

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]

22,00 €
Disponible expédié
sous 4 à 8 jours


Théorie des ensembles et logique mathématique
Des infinis mathématiques aux théorèmes de Gödel
Editeur : ELLIPSES
Année : 09/2020

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]

29,00 €
Disponible expédié
sous 4 à 8 jours


Logique mathématique
T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
Editeur : DUNOD
Collection : Sciences sup
Année : 02/2020 (2ème édition)

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]

42,50 €
Disponible expédié
sous 4 à 8 jours


Les paradoxes n'existent pas...
mais sont quand même très utiles
Editeur : LE POMMIER
Collection : Impromptus
Année : 10/2019

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...]

19,00 €
Disponible expédié
sous 4 à 8 jours


Introduction à la logique
Théorie de la démonstration
Editeur : DUNOD
Collection : Sciences Sup
Année : 08/2019 (2ème édition)

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]

35,50 €
Disponible expédié
sous 4 à 8 jours


Logique et raisonnement
Editeur : ELLIPSES
Année : 10/2016

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]

21,00 €
Disponible expédié
sous 4 à 8 jours


Logique Combinatoire et (lambda)-Calcul : des logiques d'opérateurs
Editeur : CEPADUES
Année : 02/2016

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 [...]]

22,00 €
Disponible expédié
sous 4 à 8 jours


La logique pas à pas
Année : 10/2015 (1ère édition)


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]

59,00 €
Disponible expédié
sous 4 à 8 jours


La théorie des modèles en peu de maux
Auteur : Daniel LASCAR
Editeur : CASSINI
Année : 01/2009

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]

40,00 €
Disponible expédié
sous 4 à 8 jours


Logiques, ensembles, catégories Le point de vue constructif
Auteur : Pierre AGERON
Editeur : ELLIPSES
Année : 07/2000

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 [...]]

15,00 €
Actuellement indisponible
Alerte dispo
Cet ouvrage n'est momentanément plus disponible chez l'éditeur

Controler les cookies