دانلود کتاب Mathematical logic
49,000 تومان
منطق ریاضی
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Dover Publications |
| تعداد صفحه | 412 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 0486425339,9780486425337 |
| نوبت چاپ | Dover ed |
| نویسنده | Stephen Cole Kleene |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق ریاضی
دانشجویان مقطع کارشناسی بدون آموزش قبلی در کلاس درس در منطق ریاضی از این متن چند قسمتی یکنواخت توسط یکی از بزرگترین مقامات قرن ها در این موضوع بهره خواهند برد. بخش اول یک مرور ابتدایی اما کامل از منطق ریاضی مرتبه اول ارائه می دهد. درمان با یک روش واحد برای فرمول بندی منطق متوقف نمی شود. دانشآموزان در مورد تکنیکهای مختلفی آموزش میبینند، ابتدا نظریه مدل را میآموزند (جدول حقیقت)، سپس نظریه اثبات نوع هیلبرت، و نظریه اثبات که از طریق قوانین مشتق شده به کار میرود. قسمت دوم مطالبی را تکمیل می کند که در قسمت اول پوشش داده شده است و برخی از ایده های جدیدتر و نتایج عمیق تر تحقیقات منطقی در قرن بیستم را معرفی می کند. فصل های بعدی مطالعه نظریه اعداد رسمی را با بررسی نتایج معروف ناقص بودن و غیرقابل تصمیم گیری گودل، چرچ، تورینگ و دیگران معرفی می کند. تاکید در فصل پایانی با بررسی قضیه کامل بودن گودل، قضیه جنتزن، پارادوکس اسکولم و مدلهای غیراستاندارد حساب و سایر قضایا به منطق بازمیگردد. انتشار مجدد بدون خلاصه نسخه منتشر شده توسط John Wiley & Sons, Inc. New York, 1967. مقدمه. کتابشناسی – فهرست کتب. قضیه و اعداد لما: صفحات. فهرست اصول. نمادها و نمادها. فهرست.<br
Mathematical logic
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Gödel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Gödel’s completeness theorem, Gentzen’s theorem, Skolem’s paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.<br
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.