دانلود کتاب Introduction to mathematical logic
49,000 تومان
مقدمه ای بر منطق ریاضی
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Van Nostrand |
| تعداد صفحه | 336 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 0442253079,9780534253073 |
| نوبت چاپ | دومین ویرایش |
| نویسنده | Elliott Mendelson |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1979 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مقدمه ای بر منطق ریاضی
ویرایش چهارم این متن قدیمی تمام ویژگیهای کلیدی نسخههای قبلی را حفظ میکند و مباحث اولیه یک دوره اول محکم در منطق ریاضی را پوشش میدهد. این نسخه شامل یک ضمیمه گسترده در منطق مرتبه دوم، بخشی در نظریه مجموعهها با urlementها، و بخشی در منطقی است که وقتی مدلهایی با دامنههای خالی را مجاز میکنیم، به دست میآید. متن شامل تمرینهای متعدد و پیوستی به بسیاری از آنها پاسخ میدهد. مقدمهای بر منطق ریاضی شامل: نظریه اعداد منطقی مرتبه اول منطقی مخالف و قضایای ناقص بودن و تصمیمناپذیری گودل، راسر، چرچ، و تارسکیواکسیوماتیک نظریه ترکیبپذیری، مطالعه نظریه ترکیبپذیری مجموعهها است. منطق ریاضی، نظریه مجموعههای بدیهی، و نظریه محاسبات، درکی از مفروضات اساسی و تکنیکهای اثباتی که اساس ریاضیات را تشکیل میدهند، فراهم میکند. منطق و نظریه محاسبات نیز به ابزارهای ضروری در علوم کامپیوتر نظری، از جمله هوش مصنوعی تبدیل شده اند. Introduction to Mathematical Logic این موضوعات را به شیوه ای روشن و خواننده پسند پوشش می دهد که برای هر کسی که در علوم کامپیوتر کار می کند و همچنین مدرسان و محققان در ریاضیات، فلسفه و زمینه های مرتبط با ارزش خواهد بود.
Introduction to mathematical logic
The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them.Introduction to Mathematical Logic includes:opropositional logicofirst-order logicofirst-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarskioaxiomatic set theoryotheory of computabilityThe study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.