Formal Proofs in Maths

Book 1 First Order Algebra

By: Labros Asterios Batalas, Konstantinos Odysseas Lamogiannis, Chris Nikolas Lavranos

Write A Review

Paperback | 15 July 2015

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

The scope of Formal Proofs in Maths is to teach students between higher school classes and University undergraduate or postgraduate studies , how to write a formal proof with the true meaning of the concept, of simple theorems in Algebra, particulary in identities concerning equalities, equations and inequalities. This is accomplished by writing four different types of proof namely type(A), type(B), type(C) and type(D) for each theorem or exercise. InTYPE(A) ordinary proofs will be cited in the usual narrative style used by experienced mathematicians. InTYPE(B) a rigorous proof in steps will be introduced to the reader. Each line of that proof will be justified by an appropriate axiom, theorem or definition.InTYPE(C) we will try for a smooth transition from a rigorous proof to a formal proof exposing the way that the laws of logic apply on one or more statements of the proof.InTYPE(D) we will simply write in tabular stepwise form, the results of TYPE(C) mentioning both:1) Axioms, theorems or definitions.2) The laws of logic.Hence, finally producing aformal proof according to the definition given in the preface note of the book.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.