SEARCH Advanced Search Topic All Topics Algebra Applied Mathematics Calculus and Analysis Chemistry Computer Science Courseware Differential Equations Discrete Mathematics Earth Sciences Economics and Finance Engineering Geometry Graphics Life Sciences Modeling and Simulation Number Theory Physics Probability and Statistics Programming Recreational Social Sciences Tutorial and Reference Language All Languages English Bulgarian Catalan Chinese Dutch Finnish French German Greek Hungarian Italian Japanese Korean Lithuanian Norwegian Polish Portuguese Russian Spanish Swedish
 BROWSE TOPICS Algebra» Applied Mathematics» Calculus and Analysis» Chemistry» Computer Science» Courseware» Differential Equations» Discrete Mathematics» Earth Sciences» Economics and Finance» Engineering» Geometry» Graphics» Life Sciences» Modeling and Simulation» Number Theory» Physics» Probability and Statistics» Programming» Recreational» Social Sciences» Tutorial and Reference»
A Logic of Exceptions, Using The Economics Pack Applications of Mathematics for Elementary Logic
by Thomas Colignatus
• Publisher: Thomas Cool
• Year: 2011
• ISBN: 9789080477476 (Paperback)
• 256 pp
• Based on: Version 8
Description
A Logic of Exceptions provides the concepts and tools for sound inference. Discussed are: (1) the basic elements: propositional operators, predicates and sets; (2) the basic notions: inference, syllogism, axiomatics, proof theory; (3) the basic extra’s: history, relation to the scientific method, the paradoxes. The new elements in the book are: (4) a logic of exceptions, solutions for those paradoxes, analysis of common errors in the literature, routines in Mathematica. The book is intended to be used in the first year of college or university. The last two chapters require a more advanced level that is worked up to. Contents
A direct hands-on introduction to logic | Logic, theory and programs | Propositional logic | Predicate logic | Inference | Applications | Three-valued propositional logic | Brouwer and intuitionism | Proof theory and the Gödeliar | Notes on formalization | Reading notes Related Topics
The Mathematica Journal
Articles on all aspects of Mathematica usage
Can't find what you're looking for or don't see your title listed? Contact us.