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
Daniel Welleman
Publisher
DMK Press
Year
2021
Language
Russian
167
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

Bob Koke, Alex Kissinger

From Mathematics to Generic Programming

From Mathematics to Generic Programming

Alexander A. Stepanov, Daniel E. Rose

Program correctness proof

Program correctness proof

C. Rustan M. Leino

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

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

V. D. Valedinsky, A. A. Kornev

Dancing with Qubits. How Quantum Computing Really Works

Dancing with Qubits. How Quantum Computing Really Works

Robert S. Sator

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

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

Andrew Gelman, Jennifer Hill, Aki Vehtari

Artificial Intelligence Systems

Artificial Intelligence Systems

A. V. Ostroukh, N. E. Surkova

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

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

Paul J. Nahin

How to Design Programs. An Introduction to Programming and Computing

How to Design Programs. An Introduction to Programming and Computing

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

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

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

Vladston Ferreira Filho