F Nous contacter

0

Documents  Dowek, Gilles | enregistrements trouvés : 7

O
     

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

3 y

Research talks

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 [+]

y

Research talks

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 [+]

y

Research talks

68Q12 ; 81P68 ; 68Q05

... Lire [+]

y

Research talks

68T05 ; 68T15 ; 03B35

... Lire [+]

V

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

Le collège de la cité

Localisation : Loisir 1er étage

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

00A08 ; 97A20

... Lire [+]

V

- 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 [+]

V

- 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 [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z