This introduction covers the calculus of propositions as well as quantification theory. Presupposing no more than a familiarity with the most elementary principles of logic and mathematics, the book is accessible to the high-school student or the layman desiring a clear and straightforward presentation of the subject that will prepare him to take on the standard, more advanced texts. The book is carefully designed to be self-sufficient for purposes of self-study, and the exercises following the end of each section can be used by the student to gauge the level of his understanding: they serve as "feedback signals" that tell him if he should proceed or review the material just covered.
Of particular interest is the application of the logic of propositions to the analysis and synthesis of digital systems, which is presented at the end of the first of the three sections.
The first section develops the fundamentals of the logic of propositions. Taken up in turn are objects and operations; formulas, equivalent formulas, and identically true formulas; applications; normal and minimum forms of functions; and applications to digital systems.
The second section covers the calculus of propositions. Material is presented on the axiomatic approach, including the consistency, independence, and completeness of a system of axioms in the calculus of propositions.
The logic of predicates is the subject of the last section. It treats in some detail operations on sets, defects in the logic of propositions, operations on predicates, quantifiers, equivalent and generally valid formulas, aspects of traditional logic, equality relations, and the axiomatic derivation of the mathematical theory.
References to more advanced studies available in English are provided.
"synopsis" may belong to another edition of this title.
Text: English, Russian (translation)
"About this title" may belong to another edition of this title.
FREE shipping within U.S.A.
Destination, rates & speedsSeller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP83139547
Quantity: 2 available
Seller: Dunaway Books, St. Louis, MO, U.S.A.
Hardcover. Condition: Good. Seller Inventory # 54678
Quantity: 1 available
Seller: Easy Chair Books, Lexington, MO, U.S.A.
Hardcover. Condition: Good. Dust Jacket Condition: No Dust Jacket. 209 pages. Ex-university library book, light wear and discoloring, sunned spine; a good tight binding. No jacket. Quantity Available: 1. Category: Mathematics; ISBN: 0262190540. ISBN/EAN: 9780262190541. Inventory No: 206947. Seller Inventory # 206947
Quantity: 1 available
Seller: Chaucer Bookshop ABA ILAB, Canterbury, United Kingdom
8vo hardback with d/w, bookplate to front pastedown, neat ink owner name to ffep, previous owner has covered d/w with adhesive film, otherwise VG/VG.IF FURTHER DESCRIPTION NEEDED, PLEASE ENQUIRE (Shelf 202 Bx 3) ISBN: 0262190540 PLEASE NOTE: Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.** Pictures available upon request.** Visit our homepage for our shop opening hours. Over 20,000 books in stock - come and browse. PayPal, credit and most debit cards welcome. Books posted worldwide. For any queries please contact us direct. Seller Inventory # 23214
Quantity: 1 available
Seller: Antiquariat Orban & Streu GbR, Frankfurt am Main, Germany
englischsprachige Erstausgabe, 8°, 209 S., illustr. original Kartonage (Paperback), Einband stellenweise deutliche nachgedunkelt, insbesondere auch im Rückenbereich, die helle Rückenbeschriftung dadurch blass, sonst ein sehr gutes, sauberes Exemplar (in englischer Sprache) (bi1) Sprache: Englisch. Seller Inventory # 11291BB
Quantity: 1 available
Seller: dsmbooks, Liverpool, United Kingdom
hardcover. Condition: Good. Good. book. Seller Inventory # D8S0-3-M-0262190540-3
Quantity: 1 available