کتاب الکترونیکی

ساختارهای گسسته، منطق و قابلیت محاسبه

Discrete structures, logic, and computability

دانلود کتاب Discrete structures, logic, and computability (به فارسی: ساختارهای گسسته، منطق و قابلیت محاسبه) نوشته شده توسط «James L. Hein»


اطلاعات کتاب ساختارهای گسسته، منطق و قابلیت محاسبه

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Jones and Bartlett

نویسنده: James L. Hein

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1995

تعداد صفحه: 949

حجم کتاب: 21 مگابایت

کد کتاب: 9780867204773 , 086720477X

توضیحات کتاب ساختارهای گسسته، منطق و قابلیت محاسبه

این متن دانش‌آموز مبتدی علوم کامپیوتر را با برخی از ایده‌ها و تکنیک‌های اساسی که امروزه توسط دانشمندان کامپیوتر استفاده می‌شود، با تمرکز بر ساختارهای گسسته، منطق و قابلیت محاسبه آشنا می‌کند. تاکید بر جنبه‌های محاسباتی است، به طوری که خواننده می‌تواند ببیند که مفاهیم واقعاً چگونه استفاده می‌شوند. به دلیل اهمیت اساسی منطق برای علوم کامپیوتر، این موضوع به طور گسترده در سه مرحله مورد بررسی قرار می گیرد که شامل: منطق غیررسمی است. تکنیک اثبات استقرایی؛ و منطق رسمی و کاربردهای آن در علوم کامپیوتر.


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.

دانلود کتاب «ساختارهای گسسته، منطق و قابلیت محاسبه»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.