دانلود کتاب Deducibility and decidability
49,000 تومان
کسر پذیری و تصمیم پذیری
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Routledge |
| تعداد صفحه | 168 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 0415000335,9780415000338,9780203015094 |
| نوبت چاپ | 1 |
| نویسنده | R. R. Rockingham Gill |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1990 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
کسر پذیری و تصمیم پذیری
نتایج کلاسیکی که گودل، تارسکی، کلین و چرچ در اوایل دهه سی به دست آوردند، بهترین گل های منطق نمادین هستند. آنها از اهمیت اساسی در تحقیقات مبانی ریاضیات از طریق مفهوم یک سیستم رسمی که توسط فرگه افتتاح شد، و اهمیت آشکاری برای رشته های ریاضی، مانند نظریه محاسبات، که از آنها ایجاد شد، هستند.
برگرفته از دروسی که نویسنده در طی چندین سال تدریس می کند، این توضیح جدید همه نتایج را با براهین اصلی و مفاهیم اصلی آنها به شیوه ای ارائه می کند که با یک زمینه سیستماتیک مفهوم اثربخشی در معنای شناسی کمیت وجودی متحد می شود. منطقدانان و غیرریاضیدانان، که با جزئیاتی که آشکارا در کتابهای درسی استاندارد مرتبط نیستند دفع میشوند، میتوانند با حداقل سر و صدا به اصل موضوع برسند.
Deducibility and decidability
The classic results obtained by Godel, Tarski, Kleene, and Church in the early thirties are the finest flowers of symbolic logic. They are of fundamental importance to those investigations of the foundations of mathematics via the concept of a formal system that were inaugurated by Frege, and of obvious significance to the mathematical disciplines, such as computability theory, that developed from them.
Derived from courses taught by the author over several years, this new exposition presents all of the results with their original proofs and central concepts in a manner that is unified by a systematic grounding of the notion of effectiveness in the semantics of the existential quantifier. Logicians and non-mathematicians, repelled by detail which is not obviously relevant in the standard textbooks, will be able to reach the heart of the matter with a minimum of fuss.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.