رسته‌ها

Language, Proof and Logic, 2nd Edition

Language, Proof and Logic, 2nd Edition
امتیاز دهید
5 / 4.7
با 3 رای
نویسنده:
امتیاز دهید
5 / 4.7
با 3 رای
This textbook covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.
Lorem ipsum dolor sit amet, consectetur adipiscing elit.
E R S
آپلود شده توسط: E R S
۱۳۹۵/۰۶/۱۹
اطلاعات نسخه الکترونیکی
تعداد صفحات:
620
فرمت:
PDF

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

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

دیدگاه‌های کتاب الکترونیکی Language, Proof and Logic, 2nd Edition

تعداد دیدگاه‌ها:
0
دیدگاهی درج نشده؛ شما نخستین نگارنده باشید.
افزودن نسخه جدید
انتخاب فایل
comment_comments_for_the_file
کاربر گرامی!
امکان خرید اشتراک از خارج کشور ایران، با استفاده از حساب پی‌پال فراهم شده است.