02 - Les preuves interactives et l'épistémologie algorithmique

Update: 2012-11-08

Description

Bernard Chazelle

Informatique et sciences numériques

Année 2012-2013

L'algorithmique et les sciences

Deuxième cours

Deuxième cours : Les preuves interactives et l'épistémologie algorithmique

Comments

In Channel

08 - Les algorithmes naturels et les sciences

2012-12-2001:05:30

07 - Les systèmes d'influence et la dynamique sociale

2012-12-1301:10:30

06 - L'algorithmique des phénomènes émergents

2012-12-0601:02:25

05 - L'apprentissage et les algorithmes auto-améliorants

2012-11-2901:06:50

04 - La théorie algorithmique des jeux

2012-11-2201:09:46

03 - La complexité de la communication

2012-11-1558:30

02 - Les preuves interactives et l'épistémologie algorithmique

2012-11-0801:08:18

01 - La complexité de l'aléa

2012-10-2501:08:17

Leçon inaugurale - Bernard Chazelle : L'algorithmique et les sciences

2012-10-1801:10:43

00:00

#box-pro-ellipsis-175882278669895{-webkit-line-clamp:2;}02 - Les preuves interactives et l'épistémologie algorithmique