دانلود کتاب Constructivism in mathematics: An introduction
49,000 تومان
ساختگرایی در ریاضیات: مقدمه
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | North-Holland |
| تعداد صفحه | 361 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 9780444702661,9780444705068,0444702660,0444705066 |
| نویسنده | Anne S. Troelstra, Dirk van Dalen |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1988 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ساختگرایی در ریاضیات: مقدمه
(توجه: جلد 2 در این کتاب الکترونیکی موجود نیست.)
این دو جلد رویکردهای اصلی سازه انگاری در ریاضیات را پوشش می دهد. آنها با توجه ویژه به شهودگرایی، ساختارگرایی مارکوف و نظریه نوع مارتین-لوف با معناشناسی عملیاتی آن، مقدمه ای کامل و به روز را بر فراریاضیات ریاضیات سازنده ارائه می دهند. شرح مفصلی از ویژگی های اساسی ریاضیات سازنده، با تصاویری از تجزیه و تحلیل، جبر و توپولوژی، با توجه کافی به جنبه های فرا ریاضی ارائه شده است. جلد 1 مقدمه ای مستقل برای تمرین و مبانی سازه انگاری است و به دانش تخصصی فراتر از منطق پایه ریاضی نیاز ندارد. جلد 2 عمدتاً شامل مباحث پیشرفته ای با ماهیت اثباتی-نظری و معنایی است.
(Note: Volume 2 is NOT contained in this eBook.)
These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov’s constructivism and Martin-Lof’s type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.