How to read and do proofs : an introduction to mathematical thought processes /

Mostrar otras versiones (1)
Detalles Bibliográficos
Autor principal: Solow, Daniel
Formato: Libro
Lenguaje:English
Publicado: New York : Wiley, c1990.
Edición:2nd ed.
Materias:
Lógica matemática.
Logica matematica (textos introductorios)
Lógica simbólioca y matemática.
Acceso en línea:Table of Contents
Tabla de Contenidos:
  • The truth of it all
  • The forward-backward method
  • On definitions and mathematical terminology
  • Quantifiers I: The construction method
  • Quantifiers II: The choose method
  • Quantifiers III: Induction
  • Quantifiers IV: Specialization
  • Quantifiers V: Nested quantifiers
  • The contradiction method
  • The contrapositive method
  • Nots of nots lead to knots
  • Special proof techniques
  • Summary
  • Appendices
  • Solutions to exercises
  • Glossary of mathematical symbols
  • Index.

Ejemplares similares