38,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
19 °P sammeln
  • Broschiertes Buch

Topics in Logic: This book introduces the reader to some basic concepts in mathematical logic and propositional calculus. Topics in formal theories are briefly analyzed. First-order predicate calculus is described including some of its interpretations in arithmetic and set theory. Axiomatic set theories are covered. Some examples of axiomatic set theories are also illustrated. Relations are defined along with basic concepts of homomorphism and congruence. Finally universal algebras are defined and some of their properties discussed.

Produktbeschreibung
Topics in Logic: This book introduces the reader to some basic concepts in mathematical logic and propositional calculus. Topics in formal theories are briefly analyzed. First-order predicate calculus is described including some of its interpretations in arithmetic and set theory. Axiomatic set theories are covered. Some examples of axiomatic set theories are also illustrated. Relations are defined along with basic concepts of homomorphism and congruence. Finally universal algebras are defined and some of their properties discussed.
Autorenporträt
Dr. Milan Frankl, MBA, PhD, was a senior executive of a number of high-tech Canadian firms. He studied Computer Science and Information Technology at the University of Victoria. He teaches business and computer science at the University of Victoria and University Canada West. He is a principal with MFA Inc. a management consulting firm in Victoria.