Mathématique et Informatique - Inria

1. Contexte historique. L'informatique a des racines qui remontent aux .... sur les
fondements et sur la notation mathématique ne développent dans les ... lesquels
sont passés du statut de notation de haut niveau pour des codes ..... les
ordinateurs du moment, un examen exhaustif des cas spéciaux conclut la preuve
.

Part of the document