ELEMENTS DE LOGIQUE CONTEMPORAINE - TROISIEME EDITION REVUE ET AUGMENTEE AVEC EXERCICES ET CORRIGES

Pu Montreal - EAN : 9782760622302
LEPAGE FRANCOIS
Édition papier

EAN : 9782760622302

Paru le : 29 nov. 2010

27,00 € 25,59 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
  • Benefits Livraison gratuite
    en France sans minimum
    de commande
  • Benefits Manquants maintenus
    en commande
    automatiquement
  • Benefits Un interlocuteur
    unique pour toutes
    vos commandes
  • Benefits Toutes les licences
    numériques du marché
    au tarif éditeur
  • Benefits Assistance téléphonique
    personalisée sur le
    numérique
  • Benefits Service client
    Du Lundi au vendredi
    de 9h à 18h
  • EAN13 : 9782760622302
  • Réf. éditeur : 647428
  • Collection : PARAMETRES
  • Editeur : Pu Montreal
  • Date Parution : 29 nov. 2010
  • Disponibilite : Disponible
  • Barème de remise : NS
  • Nombre de pages : 282
  • Format : 1.30 x 15.20 x 22.70 cm
  • Poids : 406gr
  • Interdit de retour : Retour interdit
  • Résumé : 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.
Du même auteur
Haut de page
Copyright 2024 Cufay. Tous droits réservés.