دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: NH نویسندگان: W. Ackermann سری: Studies in Logic and the Foundations of Mathematics 15 ناشر: North Holland Publishing Co. سال نشر: 1954 تعداد صفحات: 118 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 728 کیلوبایت
در صورت تبدیل فایل کتاب Solvable Cases of the Decision Problem به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب موارد قابل حل مسئله تصمیم گیری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
هدف این کتاب بررسی موارد مهمتر مسئله تصمیمگیری برای حساب محمول با برابری مرتبه اول و دوم است که تاکنون حل شدهاند. به شدت به این موضوع محدود می شود. سایر تحقیقات مرتبط با مشکل مذکور، به عنوان مثال. قضایای تقلیل، تنها تا آنجا ذکر می شوند که برای انتخاب موارد خاص مرتبط باشند.
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.