Sample records for logic mathematics
from WorldWideScience.org

Sample records 1 - 6 shown.



1

expertise collective


Jeux de hasard et d'argent Contextes et addictions Expertise collective Cet ouvrage présente les travaux du groupe d'experts réuni par l'Inserm dans le ... Génétique moléculaire, neurophysiologie et comportement, unité Inserm UMR 7148, Paris Marc VALLEUR, Psychiatrie, Hôpital Marmottan, Centre de soins et ...

Institut National de la Sante et de la Recherche Medicale (French)

2

Physical activity, Contexts and effects on health, Synthesis and recommendations


... Sports and Community Development (Ministère de la Jeunesse, des Sports et de la Vie Associative) with regard to physical activity, its contexts and its ... Group of experts and authors Sylvain AQUATIAS, Université de Limoges, Institut universitaire de formation des maîtres, PPF Interactions didactiques et ...

Institut National de la Sante et de la Recherche Medicale (French)

3

Guilbaud's Theorem : An early contribution to judgment aggregation

Eckert, Daniel; Monjardet, Bernard

In a paper published in 1952, the French mathematician Georges-Théodule Guilbaud has generalized Arrow's impossibility result to the "logical problem of aggregation", thus anticipating the literature on abstract aggregation theory and judgment aggregation. We reconstruct the proof of Guilbaud's theo...

DRIVER (French)

4

Guilbaud's 1952 theorem on the logical problem of aggregation

Eckert, Daniel; Monjardet, Bernard

In a paper published in 1952, shortly after publication of Arrow's celebrated impossibility result, the French mathematicien Georges-Théodule Guilbaud has obtained a dictatorship result for the logical problem of aggregation, thus anticipating the literature on abstract aggregation theory and judgme...

DRIVER (French)

5

Gambling : Contexts and addictions


Gambling Contexts and addictions Collective expert report Summary and recommendations Inserm Institut national de la santé et de la recherche médicale ... Génétique moléculaire, neurophysiologie et comportement, unité Inserm UMR 7148, Paris Marc VALLEUR, Psychiatrie, Hôpital Marmottan, Centre de soins et ...

Institut National de la Sante et de la Recherche Medicale (French)

6

An experiment concerning mathematical proofs on computers with French undergraduate students

David, René; Raffalli, Christophe

We describe our experience of using PhoX (the prover of C Raffalli) with undergraduate students in mathematic (in third year) to help them to do correct proofs. They proved, among other things, Heine's theorem.

DRIVER (French)