MARC details
| 100 ## - Données générales de traitement |
|---|
| a |
20150504 frey50 |
| 101 ## - Langue |
|---|
| langue doc. |
français |
| 110 ## - Zone de données codées : publications en série |
|---|
| données codées pour les périodiques |
y 100zd |
| 200 ## - Titre |
|---|
| titre propre |
Pour la Science |
| sous-titre |
Dossier hors-série n°49, octobre-décembre 2005 |
| type document |
Périodique |
| 210 ## - Editeur |
|---|
| lieu de publication |
Paris |
| nom de l'éditeur |
Pour la Science |
| date de publication |
2005 |
| 215 ## - Description |
|---|
| Importance matérielle |
120 p. |
| 225 ## - collection |
|---|
| titre de la collection |
Pour la Science |
| compléments de titre de la collection |
Dossier hors-série |
| numéro du volume |
49 |
| 345 ## - note |
|---|
| Renseignements sur l'acquisition |
Achat |
| 545 ## - Titre de section |
|---|
| page |
p.108-112 |
| Auteur section |
DELAHAYE J.-P. |
| Titre section |
On se sacrifie...pour nuire aux autres ! : En théorie des jeux et en économie, on suppose que chacun est rationnel. Or, souvent l'attrait du gain est moins fort que le souci d'égalité |
| 545 ## - Titre de section |
|---|
| page |
p.113 |
| Auteur section |
BOULANGER P. |
| Titre section |
Jouer le meilleur coup ? : Dans les jeux et les choix de la vie, préoccupez-vous de la force de votre adversaire ou de sa générosité, sinon vous perdrez " logiquement " |
| 545 ## - Titre de section |
|---|
| page |
p.114-120 |
| Auteur section |
DUBOIS D., PRADE H. |
| Titre section |
Traiter le flou et l'incertain : Dans les situations réelles, nos informations sont incomplètes et nos avis nuancés. La logique floue et la logique possibiliste simulent convenablement le raisonnement humain dans ces cas de figure |
| 545 ## - Titre de section |
|---|
| page |
p.13 |
| Auteur section |
GOURINAT J.-B. |
| Titre section |
Les stoiciens et les opérateurs logiques : Un risonnement est un enchaînement de propositions. Quelles règles doit-il respecter ? |
| 545 ## - Titre de section |
|---|
| page |
p.14-20 |
| Auteur section |
BOQUIN D., CELEYRETTE J. |
| Titre section |
L'argumentation au Moyen Age : la logique, au moyen age, est un art de la persuasion, de l'explication, notamment du message divin. Dans ce contexte religieux, les logiciens médiévaux posent de grandes questions, reprises et formalisées à l'époque contempraine |
| 545 ## - Titre de section |
|---|
| page |
p.22-23 |
| Auteur section |
BOQUIN D., CELEYRETTE J. |
| Titre section |
Guillaune d'Ockham et le nominalisme : Ockham appuie la logique sur une théorie du signe et sur une position " nominaliste " dans la question des " universaux " |
| 545 ## - Titre de section |
|---|
| page |
p.24-29 |
| Auteur section |
ATTEN M.V. |
| Titre section |
Brouwer et godel : deux frères ennemis : leurs conceptions philosophiques les opposaient, mais tous deux s'appuyèrent sur elles pour fonder une logique et des mathématiques modernes |
| 545 ## - Titre de section |
|---|
| page |
p.2-5 |
| Auteur section |
DUBUCS J., SANDU G. |
| Titre section |
La logique, fil d'Ariane du raisonnement : Inventée par les grecs de l'Antiquité, la logique a gardé une identité unique juqu'au XIXe siècle, ou elle prit une voie plus mathématique. Aujourd'hui elle explore les multiples facettes du raisonnement, l'une d'elles étant le psychologie des acteurs |
| 545 ## - Titre de section |
|---|
| page |
p.30-35 |
| Auteur section |
MIQUEL A. |
| Titre section |
L'intuitionnisme : ou l'on construit une preuve : le raisonnement par l'absurde n'est pas constructif ! La logique intuitionniste, au contraire, relie preuve construite et calcul |
| 545 ## - Titre de section |
|---|
| page |
p.38-43 |
| Auteur section |
DELAHAYE J.-P. |
| Titre section |
Démonstrations et certitude en mathématiques : prouver sans écrire de démonstration est un jeu, mais c'est aussi l'occasion de réfléchir à la certitude mathématique |
| 545 ## - Titre de section |
|---|
| page |
p.45-50 |
| Auteur section |
EGRE P. |
| Titre section |
L'analyse logique des langues naturelles : Conçue pour mener des raisonnements sous forme de calculs et remédier aux imperfections du langage ordinaire, la logique formelle constitue aujourd'hui l'une des clefs de l'analyse des langues naturelles |
| 545 ## - Titre de section |
|---|
| page |
p.51-53 |
| Auteur section |
ENGEL P. |
| Titre section |
La logique de ce qui n'existe pas : Qu'est-ce que l'existence en logique ? Que peut-on dire des êtres de fiction ? Des logiques non classiques, dites libres, redéfinissent l'existence |
| 545 ## - Titre de section |
|---|
| page |
p.54-59 |
| Auteur section |
SANDU G. |
| Titre section |
La quête du sens et de la vérité : quel sens donner aux énoncés ? Qu'est-ce que la vérité ? Peut-on analyser la logique par la logique sans tomber dans des paradoxes ? La solution consiste à s'extraire du langage en définissant un métalangage |
| 545 ## - Titre de section |
|---|
| page |
p.60-61 |
| Auteur section |
BAILHACHE P. |
| Titre section |
Voyager dans les mondes possibles : comment tient-on compte, en logique, du possible, du nécessaire, du contingent ? |
| 545 ## - Titre de section |
|---|
| page |
p.62-67 |
| Auteur section |
BAILHACHE P. |
| Titre section |
Le droit peut-il être automatisé ? : Le raisonnement juridique s'appuie sur la description de l'obligatoire, du permis et de l'interdit. Récemment on a amélioré sa formalisation en prenant en compte l'identité des acteurs et la chronologie des actions |
| 545 ## - Titre de section |
|---|
| page |
p.69-73 |
| Auteur section |
BENTHEM J.V. |
| Titre section |
L'art et la logique de la conversation : définie comme un calcul, la logique réduit le raisonnement à un processus solitaire. En revanche, quand elle s'intéresse à la conversation, la logique rend le raisonnement dynamique et décrit diverses manières d'échanger l'information |
| 545 ## - Titre de section |
|---|
| page |
p.7-11 |
| Auteur section |
GOURINAT J.-B. |
| Titre section |
Les grecs jouèrent avec la dialectique, mais se livrèrent aussi à une analyse du raisonnement : syllogistique et règles de déduction apparurent dans les écrits d'aristotes et de chrysippe |
| 545 ## - Titre de section |
|---|
| page |
p.74-79 |
| Auteur section |
WALLISER B. |
| Titre section |
Croyances en théorie des jeux : nous voulons jouer de manière retionnelle dans des situations ou les données sont claires. Pour cela, nous devons traiter l'information sous une forme logique. Comment ? |
| 545 ## - Titre de section |
|---|
| page |
p.80-86 |
| Auteur section |
DUBUC J. |
| Titre section |
La connaissance interactive : pour représenter l'accès au savoir et son évolution dans un groupe, la logique de la connaissance s'est élaborée sur la notion de " mondes possibles " et sur le savoir que l'on a du savoir des autres |
| 545 ## - Titre de section |
|---|
| page |
p.87-89 |
| Auteur section |
RAHMAN S., KEIFF L. |
| Titre section |
La preuve par le dialogue : on peut jouer à polémiquer ! Les échnages d'arguments et d'information respectent certaines règles ...Comme dans un jeu |
| 545 ## - Titre de section |
|---|
| page |
p.90-95 |
| Auteur section |
ZWIRN D., ZWIRN H. |
| Titre section |
La révision des croyances : Nous modifions sans cesse nos croyances lorsque nous sommes confrontés à des informations contredisant ce qui nous semblait acquis. Les logiciens ont développé des théories qui formalisent ces mécanismes |
| 545 ## - Titre de section |
|---|
| page |
p.97-101 |
| Auteur section |
LEITGEB H. |
| Titre section |
Réseaux de neurones capables de raisonner : les premiers réseaux de neurones effectuaient des calculs logiques éloignés des raisonnements humains. Grâce à la logique monotone, les nouveaux décrivent mieux le fonctionnement de la pensée |
| 545 ## - Titre de section |
|---|
| Auteur section |
POLITZER G., BONNEFON J.-F. |
| Titre section |
Nos raisonnements de tous les jours s'écartent de la logique classique. La raison tient à l'usage d'une mémoire, dite de travail, à capacité limitée, à l'interprétation parfois ambigue des énoncés et à des sous-entendus contenus dans nos déclarations quotidiennes |
| 610 ## - sujets |
|---|
| sujet |
SCIENCES |
| 801 ## - source de catalogage |
|---|
| pays |
TN |
| agence de catalogage |
BIB.CEC |
| date de la transaction |
20090410 |
| règles de catalogage utilisées |
UNIMARC |