Tracked shipping to New Zealand with premium packaging for just NZ$15 

Ship to
New Zealand
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Formal Proofs in Maths: Book 1 First Order Algebra
Type
Physical Book
Author
Publisher
Language
English
Pages
122
Format
Paperback
Dimensions
27.9 x 21.6 x 0.8 cm
Weight
0.41 kg.
ISBN13
9781514634448
Categories

Formal Proofs in Maths: Book 1 First Order Algebra

Labros Asterios Batalas (Author) · Konstantinos Odysseas Lamogiannis (Author) · Chris Nikolas Lavranos (Author) · Createspace · Paperback

Formal Proofs in Maths: Book 1 First Order Algebra - Batalas, Labros Asterios ; Lamogiannis, Konstantinos Odysseas ; Lavranos, Chris Nikolas

New Book Imported to New Zealand
Delivery: 19 Aug - 01 Sep Shipping: 16 to 20 business days.
NZ$ 93.88
Import costs and 15% GST included in the price ✅
NZ$ 93.88

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Formal Proofs in Maths: Book 1 First Order Algebra"

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. In TYPE(A) ordinary proofs will be cited in the usual narrative style used by experienced mathematicians. In TYPE(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. In TYPE(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. In TYPE(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 a formal proof according to the definition given in the preface note of the book.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews