Name: Formal Proofs in Maths: Book 1 First Order Algebra (en Inglés)
Price: 184639.00 COP
Availability: InStock
Author: Batalas, Labros Asterios ; Lamogiannis, Konstantinos Odysseas ; Lavranos, Chris Nikolas
ISBN: 9781514634448

portada Formal Proofs in Maths: Book 1 First Order Algebra (en Inglés)

Formato

Libro Físico

Autor

Labros Asterios Batalas

Konstantinos Odysseas Lamogiannis

Chris Nikolas Lavranos

Editorial

Createspace Independent Publishing Platform

Idioma

Inglés

N° páginas

122

Encuadernación

Tapa Blanda

Dimensiones

27.9 x 21.6 x 0.8 cm

Peso

0.41 kg.

ISBN13

9781514634448

Categorías

Lógica matemática

Formal Proofs in Maths: Book 1 First Order Algebra (en Inglés)

Labros Asterios Batalas (Autor) · Konstantinos Odysseas Lamogiannis (Autor) · Chris Nikolas Lavranos (Autor) · Createspace Independent Publishing Platform · Tapa Blanda

Libro Nuevo

$ 184.639

$ 284.061

Ahorras: $ 99.421

35% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 12 de Agosto y el Lunes 26 de Agosto.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Formal Proofs in Maths: Book 1 First Order Algebra (en Inglés)"

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.