m

Documents  Dowek, Gilles | enregistrements trouvés : 8

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Computer Science

L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère algorithmique de ces objets scientifiques nous amène à considérer de nouveaux langages pour les décrire. Cette révolution, dans le langage dans lequel la science s'écrit, peut-être comparée à la révolution qui s'est produite, au début du XVIIe siècle, quand le langage mathématique a commencé à être utilisé pour décrire des phénomènes physiques. L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère ...

00A30 ; 03B35 ; 68T15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Computer Science

Cet exposé présente un certain nombre d'exemples d'exercices de programmation sur les arbres qui peuvent être effectués dans les premières années d'université. Les programmes étant eux-mêmes des arbres, écrire des programmes qui opèrent sur des arbres permet d'écrire des programmes qui opèrent sur d'autres programmes.

68Wxx ; 68N15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Computer Science;Mathematical Physics

68Q12 ; 81P68 ; 68Q05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Computer Science;Logic and Foundations

68T05 ; 68T15 ; 03B35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 61 p.
ISBN 978-2-7465-0025-9

Les petites pommes du savoir , 000

Localisation : Salle détente Bastide

loisir # statistique # sondage # vulgarisation

62-01 ; 00A06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 181 p.
ISBN 978-2-7465-0243-7

Le collège de la cité

Localisation : Loisir RdC

récréation mathématique # énigme # labyrinthe # jeu de voyage de commerce # carte # coloriage

00A08 ; 97A20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 360 p.
ISBN 978-2-340-01666-8

Références sciences

Localisation : Enseignement RdC (DEMO)

théorie de la démonstration # raisonnement # manuel

97-XX ; 97Exx ; 97E50 ; 97E30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxii; 833 p.
ISBN 978-0-521-76614-2

Perspectives in logic

Localisation : Ouvrage RdC (BARE)

lambda calcul # lambda-calcul simplement typé # type récursif # type intersection

03-00 ; 03B40 ; 03B70

... Lire [+]

Z