El arte de la demostración en matemáticas. Curso de conferencias con ejercicios
A

El arte de la demostración en matemáticas. Curso de conferencias con ejercicios

Matemáticas
mathematics proof techniques logic set theory quantifiers exercises computer science
Autor
Daniel Velleman
Editorial
DMK Press
Año
2021
Idioma
Ruso
172
Calificar este libro

Para leer el libro, iniciar sesión / registrarse

Vista previa del fragmento

Libros similares

Imagen de procesos cuánticos: Curso introductorio de teoría cuántica y razonamiento con diagramas

Imagen de procesos cuánticos: Curso introductorio de teoría cuántica y razonamiento con diagramas

Bob Koke, Alex Kissinger

De las matemáticas a la programación genérica

De las matemáticas a la programación genérica

Alejandro A. Stepánov, Daniel E. Rose

Prueba de corrección de programas

Prueba de corrección de programas

C. Rustan M. Leino

Métodos de programación en problemas y ejemplos en C/C++

Métodos de programación en problemas y ejemplos en C/C++

V. D. Valedinski, A. A. Kornev

El baile de los cúbits. Cómo funcionan realmente las computadoras cuánticas

El baile de los cúbits. Cómo funcionan realmente las computadoras cuánticas

Robert S. Sator

Regresión: teoría y práctica. Con ejemplos en R y Stan

Regresión: teoría y práctica. Con ejemplos en R y Stan

Andrew Gelman, Jennifer Hill, Aki Vehtari

Sistemas de inteligencia artificial

Sistemas de inteligencia artificial

A. V. Ostroukh, N. E. Surkova

Secretos de integrales interesantes (con introducción a la integración de contorno)

Secretos de integrales interesantes (con introducción a la integración de contorno)

Paul J. Nahin

Cómo diseñar programas. Introducción a la programación y la computación

Cómo diseñar programas. Introducción a la programación y la computación

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

Mínimo teórico de Computer Science. Todo lo que necesita un programador y desarrollador

Mínimo teórico de Computer Science. Todo lo que necesita un programador y desarrollador

Vladston Ferreira Filho