Книги — proof techniques

EN
Математика для компьютерных наук

Математика для компьютерных наук

A

Eric Lehman, F Thomson Leighton, Albert R Meyer

Алгоритмы и теория
RU
Искусство доказательства в математике. Курс лекций с упражнениями

Искусство доказательства в математике. Курс лекций с упражнениями

A

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

Алгоритмы и теория