Foundations of Logic and Mathematics
Editorial Reviews
Book Description
This modern introduction to the foundations of logic and mathematics answers many questions that usually remain unanswered: Why is the truth table for logical implication so unintuitive? Why are there no recipes to design proofs? Where do these numerous mathematical rules come from? What issues in logic, mathematics, and computer science still remain unresolved? And the perennial question: In what ways are we going to use this material? 'Foundations of Logic and Mathematics' takes into account not only theory, but also treats in some detail applications that have substantial impact on everyday life---for example, financial loans and mortgages, bar codes (Universal Product Codes), public-key cryptography (Rivest--Shamir--Adelman codes), and transportation networks. Topics covered: truth tables, propositional and predicate calculi, set theory, theory and practice of basic arithmetic, cardinality, well-formed sets, completeness and incompleteness of various logic, number theory, combinatorics, and graph theory. One of the key strengths of the presentation is the continuous thread from logic to applications, without gaps. Thus, material that is necessary for logical coherence---omitted from most texts---is found here.
Foundations of Logic and Mathematics,Yves Nievergelt,Birkhauser,0817642498,Applied,Computer science,Logic,Logic, Symbolic and mathematic,Logic, Symbolic and mathematical,Mathematical And Symbolic Logic,Mathematics,Number Theory,Science/Mathematics,Set Theory,Mathematical logic,Mathematics / Logic
Books Info:
Recommended Books