Bücher — proof techniques

EN
Mathematik für Informatik

Mathematik für Informatik

A

Eric Lehman, F Thomson Leighton, Albert R Meyer

Algorithmen und Theorie
RU
Die Kunst des Beweisens in der Mathematik. Vorlesungsreihe mit Übungen

Die Kunst des Beweisens in der Mathematik. Vorlesungsreihe mit Übungen

A

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

Algorithmen und Theorie