دانلود کتاب Logic for computer science: foundations of automatic theorem proving
49,000 تومان
منطق برای علوم کامپیوتر: مبانی اثبات قضیه خودکار
| موضوع اصلی | سخنرانی ها، تک نگاری ها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Longman Higher Education |
| تعداد صفحه | 534 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 9780060422257,0060422254 |
| نویسنده | Jean H. Gallier |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1986 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق برای علوم کامپیوتر: مبانی اثبات قضیه خودکار
“منطق برای علوم کامپیوتر” مقدمه ای بر منطق ریاضی با تاکید بر نظریه اثبات و روش هایی برای ساختن اثبات های رسمی فرمول ها به صورت الگوریتمی ارائه می دهد. اساساً برای دانشآموزان، دانشمندان کامپیوتر، و به طور کلی، برای خوانندگانی که به ریاضیات تمایل دارند و علاقهمند به رسمیسازی اثباتها و مبانی اثبات قضیه خودکار هستند، طراحی شده است. از آنجایی که تأکید اصلی متن بر مطالعه سیستمهای اثبات و روشهای الگوریتمی برای ساخت برهان است، ویژگیهایی دارد که به ندرت در سایر متون منطق یافت میشود. چهار مورد از این موارد عبارتند از: استفاده از سیستم های Gentzen; توجیه روش تفکیک از طریق ترجمه از سیستم Gentzen. ارائه وضوح SLD و ارائه مبانی PROLOG. رویه های تصمیم گیری سریع بر اساس بسته شدن هماهنگی.
Logic for computer science: foundations of automatic theorem proving
“Logic for Computer Science” provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers interested in the formalization of proofs and the foundations of automatic theorem proving. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains features rarely found in other texts on logic. Four of these are: the use of Gentzen systems; a justification of the resolution method via a translation from a Gentzen system; a presentation of SLD-resolution and a presentation of the foundations of PROLOG; fast decisions procedures based on congruence closures.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.