دانلود کتاب First-Order Logic (به فارسی: منطق مرتبه اول) نوشته شده توسط «Raymond M. Smullyan»
اطلاعات کتاب منطق مرتبه اول
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Dover Publications
نویسنده: Raymond M. Smullyan
زبان: english
فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1995
تعداد صفحه: 180
حجم فایل: 1.45 مگابایت
کد کتاب: 0486683702 , 9780486683706
توضیحات کتاب منطق مرتبه اول
این مطالعه کاملاً مستقل که به طور گسترده به عنوان بهترین کتاب در این زمینه در نظر گرفته می شود، در نظر گرفته شده است که هم به عنوان مقدمه ای بر نظریه کمی سازی و هم به عنوان نمایشی از نتایج و تکنیک های جدید در روش های “تحلیلی” یا “بدون برش” خدمت کند. مطالب ارائه شده در قالب تابلو، منطق گزاره ای و مرتبه اول را پوشش می دهد. 144 تصویر.
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in “analytic” or “cut-free” methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
