Computing logic mathematics language di satty glenn (4 risultati)

22 x 14,5 cm. Condizione: 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 B07-01-09Y Sprache: Englisch Gewicht in Gramm: 362.…

Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Re-bound by library. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:3884050710.…

Oktav. Illustr. Org.-Broschur. VII (+I), 222 (+2) S., sehr wohlerhaltenes Exemplar. Aus der Reihe: Introductiones. Beispiele philosophischer Analyse. - ISBN 3884050710 (Paperback). Aus der Reihe: Introductiones. Beispiele philosophischer Analyse. - ISBN 3884050710 (Paperback). 750 g.

Originalbroschur. Condizione: 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. …