A Gentle Introduction to the Art of Mathematics
by Joseph Fields
Publisher: Southern Connecticut State University 2009
Number of pages: 428
The point of this book is to help you with the transition from doing math at an elementary level (which is concerned mostly with solving problems) to doing math at an advanced level (which is much more concerned with axiomatic systems and proving statements within those systems).
Home page url
Download or read it online here:
by Richard Hammack - Virginia Commonwealth University
This textbook is an introduction to the standard methods of proving mathematical theorems. It is written for an audience of mathematics majors at Virginia Commonwealth University, and is intended to prepare the students for more advanced courses.
by Farshid Hajir - University of Massachusetts
Problem Solving, Inductive vs. Deductive Reasoning, An introduction to Proofs; Logic and Sets; Sets and Maps; Counting Principles and Finite Sets; Relations and Partitions; Induction; Number Theory; Counting and Uncountability; Complex Numbers.
by Martin Day
The book helps students make the transition from freshman-sophomore calculus to more proof-oriented upper-level mathematics courses. Another goal is to train students to read more involved proofs they may encounter in textbooks and journal articles.
by Paul Taylor - Cambridge University Press
It explains the basis of mathematical reasoning both in pure mathematics itself and in computer science. In addition to the formal logic, this volume examines the relationship between computer languages and plain English mathematical proofs.