دانلود کتاب Discrete structures, logic, and computability
49,000 تومان
ساختارهای گسسته، منطق و قابلیت محاسبه
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Jones and Bartlett |
| تعداد صفحه | 949 |
| حجم فایل | 20 مگابایت |
| کد کتاب | 9780867204773,086720477X |
| نویسنده | James L. Hein |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1995 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ساختارهای گسسته، منطق و قابلیت محاسبه
این متن دانشآموز مبتدی علوم کامپیوتر را با برخی از ایدهها و تکنیکهای اساسی که امروزه توسط دانشمندان کامپیوتر استفاده میشود، با تمرکز بر ساختارهای گسسته، منطق و قابلیت محاسبه آشنا میکند. تاکید بر جنبههای محاسباتی است، به طوری که خواننده میتواند ببیند که مفاهیم واقعاً چگونه استفاده میشوند. به دلیل اهمیت اساسی منطق برای علوم کامپیوتر، این موضوع به طور گسترده در سه مرحله مورد بررسی قرار می گیرد که شامل: منطق غیررسمی است. تکنیک اثبات استقرایی؛ و منطق رسمی و کاربردهای آن در علوم کامپیوتر.
Discrete structures, logic, and computability
This text introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic and computability. The emphasis is on the computational aspects, so that the reader can see how the concepts are actually used. Because of logic’s fundamental importance to computer science, the topic is examined extensively in three phases which cover: informal logic; the technique of inductive proof; and formal logic and its applications to computer science.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.