This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic.
Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and absolute value, and other applications. Numerous examples and exercises aid in the mastery of the language of logic.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: moluna, Greven, Deutschland
Kartoniert / Broschiert. Zustand: New. InhaltsverzeichnisrnrnPrefacenGlossary of Special Symbols and AbbreviationsnI. Mathematics, Formal logic, and NamesnII. The Statement CalculusnIII. Proof and DemonstrationnIV. Abstract Mathematical SystemsnV. The Restricted Predicate CalculusnVI. Artikel-Nr. 898070307
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Numerous examples and exercises. 1959 edition. Artikel-Nr. 9780486482217
Anzahl: 2 verfügbar