Introduction to Elementary Mathematical Logic - Brossura

Stoliar, Abram Aronovich

 
9780486645612: Introduction to Elementary Mathematical Logic
Brossura
ISBN 10: 0486645614 ISBN 13: 9780486645612
Casa editrice: Dover Pubns, 2003

Sinossi

This lucid, non-intimidating presentation by a Russian scholar explores propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. Accessible to high school students, it also constitutes a valuable review of fundamentals for professionals. 1970 edition.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Author's Preface; Introduction I. Propositional Logic 1. Objects and operations 2. Formulas. Equivalent formulas. Tautologies 3. Examples of the application of the laws of the logic of propositions in derivations 4. Normal forms of functions. Minimal forms 5. Application of the algebra of propositions to the synthesis and analysis of discrete-action networks II. The Propositional Calculus 1. The axiomatic method. The construction of formalized languages 2. Construction of a propositional calculus (alphabet, formulas, derived formulas) 3. Consistency, independence, and completeness of a system of axioms in the propositional calculus III. Predicate Logic 1. Sets. Operations on sets 2. The inadequacy of propositional logic. Predicates 3. Operations on predicates. Quantifiers 4. Formulas of predicate logic. Equivalent formulas. Universally valid formulas 5. Traditional logic (the logic of one-place predicates) 6. Predicate logic with equality. Axiomatic construction of mathematical theories in the language of predicate logic with equality Appendix I. A proof of the duality principle for propositional logic Appendix II. A proof of the deduction theorem for the propositional calculus Appendix III. A proof of he completeness theorem for the propositional calculus Bibliography; Index of Special Symbols; Index

Product Description

Book by Abram Aronovich Stolyar

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Dover Pubns
Data di pubblicazione
2003
Lingua
Inglese
ISBN 10 
0486645614
ISBN 13 
9780486645612
Rilegatura
Copertina flessibile
Numero di pagine
220
Contatto del produttore
non disponibile
Persona responsabile
Soc. Agr. La Raia Ss
http://www.la-raia.it

Strada Monterotondo, 79
Novi Ligure
15067
Italia