A Mathematical Introduction to Logic

Herbert B. Enderton (Autor)

Buch | Hardcover

336 Seiten

2001 | 2nd edition
Academic Press Inc (Verlag)
978-0-12-238452-3 (ISBN)

Infos

Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.

---

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.

Inhalt

USEFUL FACTS ABOUT SETS.
SENTENTIAL LOGIC.
FIRST-ORDER LOGIC.
UNDECIDABILITY.
SECOND-ORDER LOGIC.

Produkt-Details

• Erscheint lt. Verlag: 23.1.2001
• Verlagsort: San Diego
• Sprache: englisch
• Gewicht: 580 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 0-12-238452-0 / 0122384520
• ISBN-13: 978-0-12-238452-3 / 9780122384523
• Zustand: Neuware