Nous utilisons des cookies pour vous proposer des contenus et services adaptés. En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies.
Ce site respecte la loi RGPD du 25 mai 2018. Pour en savoir plus, cliquez ici

Tous les livres - Logique - Mathématiques fondamentales

Logique Combinatoire et (lambda)-Calcul : des logiques d'opérateurs

Logique Combinatoire et (lambda)-Calcul : des logiques d'opérateurs

Auteur : Jean-Pierre DESCLES Gaëll GUIBERT Benoît SAUZAY
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 suite]

22,00 €
Sur commande , expédition sous 4 à 8 jours (en savoir plus)

Calcul en logique du premier ordre

Calcul en logique du premier ordre

Auteur : Yves Bouchard
Editeur : PRESSES DE L'UNIVERSITE DU QUEBEC
Année : 03/2015

Un calcul logique, au sens large, est une méthode de résolution appliquée au traitement d'une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des expressions d'une langue naturelle (comme le français) que des expressions d'un langage formalisé (comme l'arithmétique), liées entre elles par une dépendance de nature fonctionnelle. [lire la suite]

32,00 €
Sur commande , expédition sous 4 à 8 jours (en savoir plus)

Logique arithmétique

Logique arithmétique

L'arithmétisation de la logique
Auteur : Yvon GAUTHIER
Editeur : PRESSES UNIVERSITAIRES DE LAVAL
Collection : Logique de la science
Année : 10/2010

La logique arithmétique est la logique interne de l'arithmétique, c'est la traduction ou l'interprétation de la logique formelle dans le langage de l'arithmétique.

Cette arithmétique n'est pas l'arithmétique formelle de Frege et Peano, mais l'arithmétique classique de Fermat à Kronecker jusqu'à la théorie contemporaine des nombres. [lire la suite]

31,50 €
Sur commande , expédition sous 4 à 8 jours (en savoir plus)

Les démonstrations et les algorithmes

Les démonstrations et les algorithmes

Introduction à la logique et à la calculabilité
Auteur : Gilles DOWEK
Editeur : ECOLE POLYTECHNIQUE
Année : 10/2010

Gilles Dowek est professeur à l'École Polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'École Polytechnique.

Ses travaux portent sur la formalisation des mathématiques et sur la mécanisation du raisonnement. [lire la suite]

18,30 €
Sur commande , expédition sous 4 à 8 jours (en savoir plus)

Logique mathématique

Logique mathématique

Auteur : Jean-François PABION
Editeur : HERMANN
Collection : Méthodes
Année : 06/2010


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é sélectionnés quelques thèmes importants, abordés par des méthodes instructives et illustrés par des applications non gratuites. [lire la suite]

44,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

Logiques non-standard

Logiques non-standard

Auteur : Gérard CHAZAL
Editeur : EDITIONS UNIVERSITAIRES DE DIJON
Année : 11/2009

En associant philosophie et logique, cet ouvrage apporte un éclairage sur l'évolution de la logique de l'époque d'Aristote à nos jours. Il présente les différents formalismes des logiques non-standard en expliquant tout d'abord les besoins de ces logiques puis leurs descriptions syntaxiques et sémantiques. [lire la suite]

16,00 €
Sur commande , expédition sous 4 à 8 jours (en savoir plus)

Précis de sudoku

Précis de sudoku

Auteur : Narendra JUSSIEN
Editeur : HERMES / LAVOISIER
Année : 10/2006


Le sudoku est devenu un jeu de logique très populaire. Ce Précis de sudoku permet de découvrir les origines de ce jeu et d'apprendre à le résoudre par la présentation de règles mathématiques ou logiques. Près de quinze règles et techniques sont étudiées. Des exemples et des exercices progressifs sont illustrés à partir de grilles qui vont du plus facile à l'expert. [lire la suite]

27,00 €
Sur commande , expédition sous 4 à 8 jours (en savoir plus)

Logique mathématique

Logique mathématique

Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
Auteur : René Cori Daniel Lascar
Editeur : DUNOD
Collection : Sciences Sup
Année : 01/2003

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. [lire la suite]

42,50 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

Logiques classiques et non-classiques

Logiques classiques et non-classiques

Essai sur les fondements de la logique
Auteur : Newton C.A. DA COSTA
Editeur : DUNOD
Année : 01/1997

Newton C.A. Da Costa, mondialement connu pour ses travaux en logique, offre ici une synthèse des notions essentielles de la logique et des divers cheminements qui mènent aux travaux les plus à jour. Les thèmes les plus importants et les plus pertinents en logique, en philosophie des sciences, pour la mathématique ou pour la physique sont ainsi exposés. [lire la suite]

34,00 €
Epuisé , cet ouvrage n'est plus commercialisé par l'éditeur (en savoir plus)

Logique Tome 2

Logique Tome 2

Méthodes formelles pour l'étude des programmes
Auteur : Paul GOCHET
Editeur : HERMES
Année : 02/1994


La première partie est consacrée à la théorie des ensembles. Le premier chapitre est une introduction philosophique et historique, les aspects techniques étant exposés au chapitre deux. La théorie des ensembles constitue à la fois une application essentielle de la logique du premier ordre, étudiée dans le premier volume, et la base théorique des méthodes formelles en programmation. [lire la suite]

56,00 €
Epuisé , cet ouvrage n'est plus commercialisé par l'éditeur (en savoir plus)