Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Nous utilisons des cookies dans le but suivant :
Assurer le bon fonctionnement du site web, améliorer la sécurité et prévenir la fraude
Avoir un aperçu de l'utilisation du site web, afin d'améliorer son contenu et ses fonctionnalités
Pouvoir vous montrer les publicités les plus pertinentes sur des plateformes externes
Gestion des cookies
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Cookies techniques et fonctionnels
Ces cookies sont indispensables au bon fonctionnement du site internet et vous permettent par exemple de vous connecter. Vous ne pouvez pas désactiver ces cookies.
Cookies analytiques
Ces cookies collectent des informations anonymes sur l'utilisation de notre site web. De cette façon, nous pouvons mieux adapter le site web aux besoins des utilisateurs.
Cookies marketing
Ces cookies partagent votre comportement sur notre site web avec des parties externes, afin que vous puissiez voir des publicités plus pertinentes de Club sur des plateformes externes.
Suite à une grève chez bpost il n'est temporairement pas possible de choisir pour livraison à domicile ou à une autre adresse. Besoin de quelque chose en urgence ? Choissisez pour retrait en magasin ou passez plutôt dans un magasin Club à proximité.
Retrait gratuit dans votre magasin Club
7.000.000 titres dans notre catalogue
Payer en toute sécurité
Toujours un magasin près de chez vous
Suite à une grève chez bpost il n'est temporairement pas possible de choisir pour livraison à domicile ou à une autre adresse. Besoin de quelque chose en urgence ? Choissisez pour retrait en magasin ou passez plutôt dans un magasin Club à proximité.
Une erreur est survenue, veuillez réessayer plus tard.
Il y a trop d’articles dans votre panier
Vous pouvez encoder maximum 250 articles dans votre panier en une fois. Supprimez certains articles de votre panier ou divisez votre commande en plusieurs commandes.
Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction - sa lecture ne requérant aucune connaissance particulière - il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats. La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées : algèbre de Boole, méthode des arbres et méthode de déduction naturelle. Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales : modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle. De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.