Livres — proof techniques

EN
Mathématiques pour l'informatique

Mathématiques pour l'informatique

A

Eric Lehman, F Thomson Leighton, Albert R Meyer

Algorithmes et théorie
RU
L'art de la démonstration en mathématiques. Cours magistral avec exercices

L'art de la démonstration en mathématiques. Cours magistral avec exercices

A

Дэниэл Веллеман

Algorithmes et théorie