کتاب الکترونیکی

موارد قابل حل مسئله تصمیم

Solvable Cases of the Decision Problem

دانلود کتاب 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.

دانلود کتاب «موارد قابل حل مسئله تصمیم»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان