دانلود کتاب Solvable Cases of the Decision Problem (به فارسی: موارد قابل حل مسئله تصمیم) نوشته شده توسط «W. Ackermann»
اطلاعات کتاب موارد قابل حل مسئله تصمیم
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: North Holland Publishing Co.
نویسنده: W. Ackermann
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1954
تعداد صفحه: 118
حجم کتاب: 1 مگابایت
نوبت چاپ: NH
توضیحات کتاب موارد قابل حل مسئله تصمیم
هدف این کتاب بررسی موارد مهمتر مسئله تصمیم گیری برای حساب محمول با برابری مرتبه اول و دوم است که تاکنون حل شده اند. به شدت به این موضوع محدود می شود. سایر تحقیقات مرتبط با مشکل مذکور، به عنوان مثال. قضایای تقلیل، تنها تا آنجا ذکر می شوند که برای انتخاب موارد خاص مرتبط باشند.
This book is intended to give a survey of the more important cases of the decision problem for the predicate calculus with equality of the first and second order which have so far been solved. It strictly restricts to this subject. Other investigations connected with the said problem, e.g. the reduction theorems, are only mentioned as far as they are of relevance for the selection of special cases.
دانلود کتاب «موارد قابل حل مسئله تصمیم»
