Survol de la logique
Répondre à la discussion
Affichage des résultats 1 à 4 sur 4

Survol de la logique



  1. #1
    Seirios

    Survol de la logique


    ------

    Bonjour à tous,

    Je cherche un livre qui survol la logique, sans pour autant vraiment rentrer dans le formalisme ; je ne suis pas contre quelques développements, mais ce que je cherche, c'est plutôt une culture générale sur le sujet et du recul.

    En faisant une recherche sur le forum, j'ai trouvé cette ancienne discussion ; je ne sais pas vraiment si cela correspond à ce que je cherche, j'irai le feuilleter à la bibliothèque universitaire.

    Auriez-vous quelque chose à me conseiller ?

    Seirios

    -----
    If your method does not solve the problem, change the problem.

  2. #2
    Médiat

    Re : Survol de la logique

    Bonsoir,

    Votre question est trop générale, vous intéressez-vous à la logique du premier ordre, aux logiques modales, à la logique catégorique, à la théorie des modèles, à la théorie des ensembles etc. ?
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  3. #3
    Seirios

    Re : Survol de la logique

    Rien de précis, c'est plutôt pour faire un tour d'horizon. J'ai quelques notions en théorie des modèles, que je vais certainement compléter dans les mois qui suivent, mais je n'ai par exemple aucune connaissance de la logique du second ordre. Le mieux est de ratisser large.
    If your method does not solve the problem, change the problem.

  4. #4
    Médiat

    Re : Survol de la logique

    Pour le second ordre, je n'ai pas de références sous la main (une recherche sur 2nd order arithmetic devrait vous donner des résultats intéressant, sinon, sur la logique infinitaire, il y a la référence qui est gratuite : http://www.math.wisc.edu/~keisler/kk2.pdf
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  5. A voir en vidéo sur Futura

Discussions similaires

  1. la logique mathematique est elle une logique scientifique?
    Par solo109 dans le forum Mathématiques du supérieur
    Réponses: 6
    Dernier message: 17/11/2012, 14h11
  2. Survol de la lune
    Par JimmyStar dans le forum Matériel astronomique et photos d'amateurs
    Réponses: 4
    Dernier message: 28/10/2012, 20h26
  3. survol de terminator
    Par conquérant dans le forum Matériel astronomique et photos d'amateurs
    Réponses: 25
    Dernier message: 11/03/2012, 20h52
  4. survol lunaire
    Par margoulin dans le forum Matériel astronomique et photos d'amateurs
    Réponses: 3
    Dernier message: 10/03/2012, 07h44
  5. changer image au survol
    Par aj95 dans le forum Internet - Réseau - Sécurité générale
    Réponses: 14
    Dernier message: 10/10/2008, 21h17