Computing and Logic. Mathematics and Language. Introductiones. Satty, Glenn J.,
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.
Jetzt bei Ebay:
