La logique ou l'art de raisonner - Grand Format

Yannis Delmas-Rigoutsos

,

René Lalement

Note moyenne 
Yannis Delmas-Rigoutsos et René Lalement - La logique ou l'art de raisonner.
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
En librairie

Résumé

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 ".

Sommaire

  • 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

Caractéristiques

  • Date de parution
    05/04/2000
  • Editeur
  • Collection
  • 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

Avis libraires et clients

À propos des auteurs

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).

Des mêmes auteurs

Les clients ont également aimé

Derniers produits consultés

Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK