La logique ou l'art de raisonner (Broché)

Yannis Delmas-Rigoutsos, René Lalement

  • Le Pommier

  • Paru le : 05/04/2000
Note moyenne : |
Ce produit n'a pas encore été évalué. Soyez le premier !
Donnez votre avis !
Depuis les syllogismes des Anciens, qui permettaient de distinguer entre le " vrai " et le " faux ", entre le " bon " et le " mauvais " raisonnement,... > Lire la suite
14,20 €
Neuf - Définitivement indisponible
  • ou
Votre note
Depuis les syllogismes des Anciens, qui permettaient de distinguer entre le " vrai " et le " faux ", entre le " bon " et le " mauvais " raisonnement, jusqu'à la logique moderne qui s'intéresse à la validité des démonstrations de la géométrie comme aux calculs pratiqués par les ordinateurs, ce livre vous permet de vous familiariser avec les symboles, les règles et les théorèmes qui constituent les fondements universels de cet " art de raisonner ".
  • FORMALISER - DES OBJETS AUX ENONCES
    • Les faits en tout-ou-rien
    • Combiner les faits
    • Parler des objets
    • Pourquoi formaliser
  • INTERPRETER - DES ENONCES AUX OBJETS
    • Deux valeurs de vérité
    • La valeur d'un énoncé se calcule
    • Objets et structures
    • Les variables ont un environnement
    • Langages, théories, modèles
    • Vérités et conséquences
  • PROUVER - DES ENONCES AUX ENONCES
    • Pour jouer, il faut des règles
    • La déduction, c'est naturel
    • I faut bien gérer ses hypothèses
    • Jeu de variables
    • Le choix des règles
    • Il faut savoir dire " non "
    • A quoi sert la complétude ? Simplicité ou intelligence
  • AXIOMATISER - DES OBJETS AUX ENSEMBLES
    • Tant d'objets à modéliser
    • Les ensembles, naïvement
    • Fonder l'édifice mathématique
    • Nos objets sont nos ensembles
    • Fondement et choix
    • Arithmétique
    • Vérifier
  • LOGIQUE ET MATHEMATIQUES
  • Date de parution : 05/04/2000
  • Editeur : Le Pommier
  • Collection : Quatre à quatre
  • ISBN : 2-7465-0035-3
  • EAN : 9782746500358
  • Format : Grand Format
  • Présentation : Broché
  • Nb. de pages : 159 pages
  • Poids : 0.185 Kg
  • Dimensions : 13,5 cm × 20,0 cm × 1,5 cm
Yannis Delmas-Rigoutsos, spécialiste de logique et d'histoire des sciences, enseigne à l'IUFM de Paris. René Lalement, chercheur et professeur d'informatique à l'Ecole nationale des Ponts et Chaussées, est l'auteur de Logique, réduction, résolution (1991, Masson).
Yannis Delmas-Rigoutsos et René Lalement - La logique ou l'art de raisonner.
La logique ou l'art de raisonner
14,20 €
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK