An Inquiry-Based Introduction to Proofs
by Jim Hefferon
Publisher: Saint Michael's College 2013
Number of pages: 23
Introduction to Proofs is a Free undergraduate text. It is inquiry-based, sometimes called the Moore method or the discovery method. The text consists of a sequence of exercises, statements for students to prove, along with a few definitions and remarks. The instructor does not lecture but instead lightly guides as the class works through the material together.
Home page url
Download or read it online here:
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.
by Julie Rowlett - BookBoon
This is a fun and rigorous introduction to pure mathematics, suitable for both students and a general audience interested in learning what pure mathematics is all about. Presented in a friendly, accessible, and nonetheless rigorous style.
by W.B.V. Kandasamy, F. Smarandache, K.Ilanthenral - arXiv
Basic properties of codes and super matrices are given. New type of super special vector space is constructed. Three new classes of super special codes namely, super special row code, super special column code and super special codes are introduced.
by Dave Witte Morris, Joy Morris - University of Lethbridge
This undergraduate textbook provides an introduction to proofs, logic, sets, functions, and other fundamental topics of abstract mathematics. It is designed to be the textbook for a bridge course that introduces undergraduates to abstract mathematics.