Gérard Berry
Code ISNI : 0000 0000 8378 1009
Collège de France
chaire Algorithmes
machines et languages
FR
Mathématiques
et Interactions
-
4 vidéos
![L'informatique, de la révolution technique à la révolution mentale]()
01:29:25publiée le 11 mai 2017L'informatique, de la révolution technique à la révolution mentale
De Gérard Berry
![Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)]()
01:00:17publiée le 7 mai 2014Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)
De Gérard Berry
![Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (1/2)]()
02:13:02publiée le 23 avril 2014Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (1/2)
De Gérard Berry
