The text is designed to help students overcome their hesitancy in the face of computing by leading them through simple mathematics, including set-theory and two forms of logic (proposition logic and traditional syllogistics), to basic questions of natural-language parsing. This text is recommended for mathematics classes, where the use of the computer will support traditional methods; and for philosophy courses, where digitized logic can help illustrate the evolution of formal methods; and for linguistic sectors that involve parsing and questions of natural-language representation in formal languages.
"synopsis" may belong to another edition of this title.
Shipping:
US$ 3.99
Within U.S.A.
Seller: Books From California, Simi Valley, CA, U.S.A.
Paperback. Condition: Fine. Brand new! Still sealed in plastic. Seller Inventory # mon0002648235
Quantity: 1 available
Seller: Fundus-Online GbR Borkert Schwarz Zerfaß, Berlin, Germany
Originalbroschur. Condition: Sehr gut. 221 S. Gebraucht, wie neu. - Inhalt: Some Introductory Basic: Constants and Variables -- Assignment Statements -- Branching -- Formal Looping -- Subscripted Variables I: One-Dimensional Arrays -- Subroutines -- String Functions -- Algorithms -- Bases: Sets -- Universal Set and Null Set -- Complementation (not) -- Intersection (and) -- Union (or) -- A Simple Example -- Subsets and Set Equality -- Propositional Logic -- Truth Tables -- Negation -- Conjunction (and) -- Disjunction (or) -- Implication (if.,.then) -- Biconditionality (Equivalence) -- Quantifiers -- The Negation of Quantifiers -- Computer Logic -- Russell's Paradox -- Elements and Manipulations: Terms -- Definition -- Classification and Division -- Propositions -- Reasoning -- Immediate Inference 2.311 Modal Logic -- The Assertorie Syllogism 2.321 The Enthymeme -- The Hypothetical Syllogism -- Truth-Tables -- Formal Systems -- Tautologies: Truth-Table Verification -- Excluded Middle -- Double Negation -- DeMorgan's First Law -- DeMorgan's Second Law -- Material Implication -- The Biconditional -- Substitution -- Computer Science: NAND and NOR Gates -- Induction -- Language Analyzers: The Syntactic Check -- Sketch of a Syntax Checker -- The Setni-Semantic Checker -- Semantic Categorizing -- General Operation of a Semantic Categorizer -- Dictionaries and Lexicons -- Toward an Artificial Intelligence -- Appendix 1: Matrix of Valid Syllogistic Modes -- Appendix 2: Axioms and Laws of Prepositional Calculus -- Appendix 3: Solutions to some Exercises -- Appendix 4: Programs. ISBN 3884050710 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 973922
Quantity: 1 available
Seller: avelibro OHG, Dinkelscherben, Germany
22 x 14,5 cm. Condition: Gut. VII, 222 Pages ; With Figures Introductiones - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). In Englischer Sprache B09-04-05E|S67 Sprache: Englisch Gewicht in Gramm: 362. Seller Inventory # 73979
Quantity: 1 available
Seller: Buchpark, Trebbin, Germany
Condition: Hervorragend. Zustand: Hervorragend - ungelesen | Seiten: 223 | Sprache: Deutsch | Produktart: Bücher. Seller Inventory # 743043/11
Quantity: 1 available