Mathematical Reasoning: Writing and Proof

Capa do livro Mathematical Reasoning: Writing and Proof, de Ted Sundstrom

Livro digital

Título:
Mathematical Reasoning: Writing and Proof

Autor:
Ted Sundstrom

Categoria:
Tecnologia > Geral

Doador:
Raffaello D. N.

Sinopse:
Many mathematics and computer science students struggle with the leap from computation to proof — the moment a course stops asking "what is the answer?" and starts asking "how do you know?" This book addresses that transition head-on, opening with conditional statements and the structure of direct proofs before introducing the full grammar of logical reasoning: operators, quantifiers, negations, and open sentences. The progression is deliberate. Chapters 1 through 3 build the core proof toolkit — direct proofs, proof by contradiction, case analysis, and the division algorithm with congruence — before dedicating an entire chapter to mathematical induction, including other induction forms and its connection to recursion. Chapter 5 enters set theory with the same rigor: not just defining sets, but proving set relationships from the ground up. Updated to Version 3 in December 2024 by Ted Sundstrom, Professor Emeritus at Grand Valley State University, and previously published by Pearson Education, this textbook is now freely available under a Creative Commons CC BY-NC-SA license. Each concept is paired with worked examples and structured exercises, making it equally effective for self-study or as a course companion for students taking their first steps into mathematical abstraction.

Livro digital disponível gratuitamente!
Clique no botão abaixo para receber este livro.
Seja o primeiro a receber este livro
Comprar na Amazon

Continue explorando

Livros disponíveis que combinam com esta leitura.

A Gentle Introduction to the Art of Mathematics Livro digital
A Gentle Introduction to the Art of Mathematics
Discrete Mathematics: An Open Introduction Livro digital
Discrete Mathematics: An Open Introduction
An Infinite Descent into Pure Mathematics Livro digital
An Infinite Descent into Pure Mathematics
Compiler Design: Theory, Tools, and Examples, C/C++ Edition Livro digital
Compiler Design: Theory, Tools, and Examples, C/C++ Edition
The Quest for Artificial Intelligence: A History of Ideas and Achievements Livro digital
The Quest for Artificial Intelligence: A History of Ideas and Achievements
UNIX Application and System Programming, lecture notes Livro digital
UNIX Application and System Programming, lecture notes
Esse site salva cookies para uma melhor experiência de usuário. Saiba mais lendo nossaPolítica de Privacidade.