دانلود کتاب Mathematical Logic
49,000 تومان
منطق ریاضی
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| تعداد صفحه | 205 |
| حجم فایل | 20 مگابایت |
| نویسنده | Kleene S. C. |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2002 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق ریاضی
این چاپ مجدد از متن کلین در سال 1967 یک بررسی ابتدایی اما کامل از منطق ریاضی درجه اول ارائه می دهد. کلین (قبلاً: ریاضیات، دانشگاه ویسکانسین، مدیسون) روشها و تکنیکهای مختلفی از جمله نظریه مدل (جدول حقیقت)، نظریه اثبات نوع هیلبرت، و نظریه اثبات را از طریق قوانین مشتق شده پوشش میدهد. فصلهای بعدی موضوعاتی مانند نظریه اعداد رسمی، قضیه کامل بودن گودل، قضیه گنزن، پارادوکس اسکولم و مدلهای غیراستاندارد حساب را پوشش میدهند.
Mathematical Logic
This reprint of Kleene’s 1967 text provides an elementary but thorough treatment of mathematical logic of the first order. Kleene (formerly: mathematics, University of Wisconsin, Madison) covers a variety of methods and techniques including model theory (truth tables), Hilbert-type proof theory, and proof theory through derived rules. Subsequent chapters cover topics formal number theory, Godel’s completeness theorem, Genzen’s theorem, Skolem’s paradox, and nonstandard models of arithmetic.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.