دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: James L. Hein سری: ISBN (شابک) : 9780867204773, 086720477X ناشر: Jones and Bartlett سال نشر: 1995 تعداد صفحات: 949 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 20 مگابایت
در صورت تبدیل فایل کتاب Discrete structures, logic, and computability به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ساختارهای گسسته، منطق، و محاسباتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این متن دانشآموز مبتدی علوم کامپیوتر را با برخی از ایدهها و تکنیکهای اساسی که امروزه توسط دانشمندان کامپیوتر استفاده میشود، با تمرکز بر ساختارهای گسسته، منطق و قابلیت محاسبه آشنا میکند. تاکید بر جنبههای محاسباتی است، به طوری که خواننده میتواند ببیند که مفاهیم واقعاً چگونه استفاده میشوند. به دلیل اهمیت اساسی منطق برای علوم کامپیوتر، این موضوع به طور گسترده در سه مرحله مورد بررسی قرار می گیرد که شامل: منطق غیررسمی است. تکنیک اثبات استقرایی؛ و منطق رسمی و کاربردهای آن در علوم کامپیوتر.
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.