The Art of Proof in Mathematics. A Lecture Course with Exercises
A

The Art of Proof in Mathematics. A Lecture Course with Exercises

Mathematics
mathematics proof techniques logic set theory quantifiers exercises computer science
Author
Дэниэл Веллеман
Publisher
ДМК Пресс
Year
2021
Language
Russian
43
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Visualizing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning

Visualizing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning

Боб Коке, Алекс Киссинджер

From Mathematics to Generic Programming

From Mathematics to Generic Programming

Александр А. Степанов, Дэниэл Э. Роуз

Program correctness proof

Program correctness proof

К. Рустан М. Лейно

Programming Methods in Problems and Examples in C/C++

Programming Methods in Problems and Examples in C/C++

В. Д. Валединский, А. А. Корнев

Dancing with Qubits. How Quantum Computing Really Works

Dancing with Qubits. How Quantum Computing Really Works

Роберт С. Сатор

Regression: Theory and Practice. With Examples in R and Stan

Regression: Theory and Practice. With Examples in R and Stan

Эндрю Гельман, Дженнифер Хилл, Аки Вехтари

Artificial Intelligence Systems

Artificial Intelligence Systems

А. В. Остроух, Н. Е. Суркова

Secrets of Interesting Integrals (with an Introduction to Contour Integration)

Secrets of Interesting Integrals (with an Introduction to Contour Integration)

Пол Дж. Нахин

How to Design Programs. An Introduction to Programming and Computing

How to Design Programs. An Introduction to Programming and Computing

Маттиас Фелляйзен, Роберт Брюс Финдлер, Мэтью Флэтт, Шрирам Кришнамурти

Theoretical Minimum in Computer Science. Everything a Programmer and Developer Needs

Theoretical Minimum in Computer Science. Everything a Programmer and Developer Needs

Владстон Феррейра Фило