Telecharger Cours

Assistants de preuve - LIX

Formalizing analysis on a computer involves a lot of epsilon-delta reasoning, while informal reasoning may use some asymptotic hand-waving.



Download