| |
Description: Logic, set theory, and mathematical induction play essential roles in modern mathematics and computer science. Logic, Sets, and Recursion, Second Edition provides students with the tools needed to master these important concepts. This text paves the way for students preparing to enter more advanced math, computer science, and logic courses, furnishing them with the experience necessary to construct rigorous proofs with ease. It is intended to fill the gap between advanced mathematical logic texts and Discrete Mathematics texts that do not treat logic with the depth required in modern computer science. The new Second Edition incorporates a wealth of exercise sets, allowing students to test themselves and review important topics discussed throughout the text.
Key features:
• This text teaches students how to construct and write informal, yet difficult, mathematical proofs using basic set theory, recursive definitions, and mathematical induction.
• Formal languages are emphasized along with formal derivations and elementary metatheory. Relations between formal and informal proofs are discussed.
• Set exercises, which were formerly a supplement, have been moved into the body of the text, enhancing the text’s pedagogy.ISBN - 9789380108087
|
| |
Pages : 524
|