Livros — proof techniques

EN
Matemática para Ciência da Computação

Matemática para Ciência da Computação

A

Eric Lehman, F Thomson Leighton, Albert R Meyer

Algoritmos e teoria
RU
A Arte da Demonstração em Matemática. Curso de Palestras com Exercícios

A Arte da Demonstração em Matemática. Curso de Palestras com Exercícios

A

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

Algoritmos e teoria