دانلود کتاب Logic for Mathematicians
49,000 تومان
منطق برای ریاضیدانان
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 117 |
| حجم فایل | 10 مگابایت |
| کد کتاب | 0521368650,9780521368650,0521218381,0521292913 |
| نوبت چاپ | 2 |
| نویسنده | A. G. Hamilton |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق برای ریاضیدانان
این متن برای منطق دانان و ریاضیدانان در نظر گرفته شده است، این متن بر اساس سخنرانی های دکتر همیلتون به دانشجویان سال سوم و چهارم کارشناسی ریاضیات در دانشگاه استرلینگ است. نویسنده با پیش نیاز ریاضیات سال اول، دانش آموزان و ریاضیدانان حرفه ای را با تکنیک ها و نتایج اصلی منطق ریاضی آشنا می کند. در ارائه موضوع بدون سوگیری نسبت به جنبه ها، کاربردها یا پیشرفت های خاص، در چارچوب ریاضیات قرار می گیرد. برای تأکید بر سطح، متن از بحث غیررسمی به توصیف دقیق و استفاده از سیستمهای ریاضی و منطقی رسمی پیش میرود. بازنگری این کتاب درسی بسیار موفق شامل بخشهای جدیدی در مورد اسکولمیسازی و استفاده از فرمولهای خوب در برنامهنویسی منطقی است. اصلاحات متعددی انجام شده و تمرینات اضافی اضافه شده است.
Logic for Mathematicians
Intended for logicians and mathematicians, this text is based on Dr. Hamilton’s lectures to third and fourth year undergraduates in mathematics at the University of Stirling. With a prerequisite of first year mathematics, the author introduces students and professional mathematicians to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, it is placed in the context of mathematics. To emphasize the level, the text progresses from informal discussion to the precise description and use of formal mathmematical and logical systems. The revision of this very successful textbook includes new sections on skolemization and the application of well-formed formulae to logic programming; numerous corrections have been made and extra exercises added.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.