Life of Fred - Logic

Life of Fred - Logic

Publisher: Polka Dot Publishing
Author: Stan Schmidt
$49.00
Do you think Logic is a dry, boring subject? It's not! Not when Fred teaches it. What other math book has a chapter titled "Stinky Logic?" This book doesn't have bothersome "problems" or strenuous "exercises." It has delightful "puzzles," instead. It has serious mathematical Logic, from the basics to advanced topics.
As usual, Fred has adventures. The duck comes back. Fred is pressured to buy life insurance for his wife (Fred isn't married). Fred "beeps" the nose of 128 lions.
Suitable for a high school text (first six chapters) or as a college text (all 16 chapters).
  • Sentences in logic
  • Connectives
  • Inductive reasoning
  • Seventeen logic fallacies
  • Predicate logic
  • Syllogisms
  • Quantifiers
  • Proofs in predicate logic
  • Direct and indirect proofs
  • Set theory as a predicate logic structure
  • Axiom systems: consistent, complete, meaningful, independent, and recursive
  • Arithmetic model
  • Gödel numbering of symbols, sentences, and proofs
  • Proof of the Diagonal Lemma
  • Gödel’s Completeness theorem
  • Gödel’s two Incompleteness theorems and their proofs
  • Many puzzles and their complete solutions
Click here to view sample pages.
    Hardback, ISBN 9781937032555, 176 pages
    Book Title Life of Fred - Logic
    Publisher: Polka Dot Publishing
    Author Stan Schmidt
    Do you think Logic is a dry, boring subject? It's not! Not when Fred teaches it. What other math book has a chapter titled "Stinky Logic?" This book doesn't have bothersome "problems" or strenuous "exercises." It has delightful "puzzles," instead. It has serious mathematical Logic, from the basics to advanced topics. As usual, Fred has adventures. The duck comes back. Fred is pressured to buy life insurance for his wife (Fred isn't married). Fred "beeps" the nose of 128 lions. Suitable for a high school text (first six chapters) or as a college text (all 16 chapters).
    • Sentences in logic
    • Connectives
    • Inductive reasoning
    • Seventeen logic fallacies
    • Predicate logic
    • Syllogisms
    • Quantifiers
    • Proofs in predicate logic
    • Direct and indirect proofs
    • Set theory as a predicate logic structure
    • Axiom systems: consistent, complete, meaningful, independent, and recursive
    • Arithmetic model
    • Gödel numbering of symbols, sentences, and proofs
    • Proof of the Diagonal Lemma
    • Gödel’s Completeness theorem
    • Gödel’s two Incompleteness theorems and their proofs
    • Many puzzles and their complete solutions
    Click here to view sample pages.
      Hardback, ISBN 9781937032555, 176 pages