دانلود کتاب Structural Proof Theory
49,000 تومان
نظریه اثبات ساختاری
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Cambridge University Press |
| تعداد صفحه | 276 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 0521068428,9780521068420,9780521793070,0521793076 |
| نوبت چاپ | 1 |
| نویسنده | Jan von Plato, Sara Negri |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نظریه اثبات ساختاری
نظریه برهان ساختاری شاخه ای از منطق است که ساختار کلی و ویژگی های برهان های منطقی و ریاضی را مطالعه می کند. این کتاب هم مقدمه ای مختصر بر نتایج و روش های اصلی نظریه اثبات ساختاری است و هم یک کار تحقیقاتی است که مورد توجه متخصصان قرار خواهد گرفت. این کتاب برای استفاده دانشجویان رشته های فلسفه، ریاضیات و علوم کامپیوتر طراحی شده است. یکی از ویژگیهای خاص جلد، یک سیستم کامپیوتری برای توسعه اثباتها به صورت تعاملی، قابل دانلود از وب و بهروزرسانی منظم است.
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.