Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
INTRODUCTION A LA LOGIQUE FORMELLE ET SYMBOLIQUE
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

INTRODUCTION A LA LOGIQUE FORMELLE ET SYMBOLIQUE

INTRODUCTION A LA LOGIQUE FORMELLE ET SYMBOLIQUE

Avec des exercices et leurs corrigés

Jean Salem

Parution le 07/04/1998

Résumé

Les apprentis logiciens et leurs enseignants avec eux se plaignaient jusqu'ici de ne disposer d'aucun ouvrage d'initiation à la logique formelle et symbolique ; aussi devaient-ils se rabattre sur des traités unanimement jugés trop difficiles pour satisfaire le débutant. Cet ouvrage se propose tout d'abord de présenter à l'étudiant les premières notions du calcul propositionnel et du calcul des prédicats. Il prétend également le familiariser au maniement des principaux outils logiques : aussi chaque leçon est-elle suivie par de nombreux exercices, dont les solutions sont données à la fin du volume. Fait suite à cette initiation un choix de textes relatifs à l'épistémologie de la logique : on y trouvera notamment des extraits d'oeuvres d'Aristote, Boole, Frege, Russel, Wittgenstein, etc. Cet ouvrage comporte également un glossaire détaillé ainsi que de nombreuses indications bibliographiques qui guideront ultérieurement le lecteur, s'il cherche à se perfectionner.

Sommaire

  • Rappels de cours et exercices
  • Notions préliminaires
  • La proposition
  • Le formalisme logique : les e
  • B
  • F
    • La négation
    • Les connecteurs binaires
    • Evaluation des e
  • B
  • F
    • : les tables de vérité
    • Quelques lois logiques
    • Dualité
    • Formes normales
    • Evaluation des e
  • B
  • F
    • : tables de vérité réduites
    • Méthode des arbres
    • Distinction des niveaux de langage
    • Eléments de syllogistique aristotélicienne
    • Introduction au calcul des prédicats
    • Documents
    • Logique et argumentation
    • Logique formelle, logique symbolique
    • Qu'est-ce qu'une tautologie ? paradoxes
    • Langue et métalangue
    • Logique et mathématiques
    • Le syllogisme
    • La proposition comme espèce de fonction
  • Voir tout
    Replier

    Caractéristiques techniques

      PAPIER
    Éditeur(s) Nathan
    Auteur(s) Jean Salem
    Parution 07/04/1998
    Format 15 x 21
    Couverture Broché
    EAN13 9782091905198

    Avantages Eyrolles.com

    Livraison à partir de 0,01 en France métropolitaine
    Paiement en ligne SÉCURISÉ
    Livraison dans le monde
    Retour sous 15 jours
    + d'un million et demi de livres disponibles
    satisfait ou remboursé
    Satisfait ou remboursé
    Paiement sécurisé
    modes de paiement
    Paiement à l'expédition
    partout dans le monde
    Livraison partout dans le monde
    Service clients sav@commande.eyrolles.com
    librairie française
    Librairie française depuis 1925
    Recevez nos newsletters
    Vous serez régulièrement informé(e) de toutes nos actualités.
    Inscription