رسته‌ها
A Mathematical Introduction to Logic
امتیاز دهید
5 / 4.5
با 2 رای
نویسنده:
امتیاز دهید
5 / 4.5
با 2 رای
An accessible, flexible introduction to the subject of mathematical logic, the second edition of this popular and widely-adopted text has been revised to be appropriate for courses enrolling either advanced undergraduates or graduate students.
Like the First Edition, this book is an introduction to the concepts of proof, truth, and computability. This Second Edition has additional examples and explanations to help the reader. Footnotes indicate optional paths through the material that the user might wish to take. Topics relevant to computer science, such as finite models, are also now included.
Reasons for This Book's Success
"Rigor, integrity and coherence of overall purpose, introducing students to the practice of logic . . ."
--Douglas Cannon, University of Washington
"The book is clearly and carefully written. I adopted this text because of its detailed and rigorous treatment of the predicate calculus, detailed and optimal treatment of the incompleteness phenomena, standard notation as developed by the Berkeley school."
--Karel Priory, University of Minnesota
"It is mathematically rigorous [and] it has more examples than other books . . . I definitely would use a new edition of this book."
--Sun-Joo Chin, University of Notre Dame
بیشتر
اطلاعات نسخه الکترونیکی
تعداد صفحات:
330
فرمت:
PDF
آپلود شده توسط:
حسین 73
حسین 73
۱۳۹۸/۱۰/۱۸

کتاب‌های مرتبط

درج دیدگاه مختص اعضا است! برای ورود به حساب خود اینجا و برای عضویت اینجا کلیک کنید.

دیدگاه‌های کتاب الکترونیکی A Mathematical Introduction to Logic

تعداد دیدگاه‌ها:
0
دیدگاهی درج نشده؛ شما نخستین نگارنده باشید.
PDF
A Mathematical Introduction to Logic
2 مگابایت
comment_comments_for_the_file
عضو نیستید؟ ثبت نام در کتابناک