ورود به حساب کاربری

خرید کتاب Mathematical Logic for Computer Science

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 4 (1)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Mathematical Logic for Computer Science
از خودتان درباره کتاب توضیح کوتاهی بنویسید
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides a way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems. The logical systems presented are: propositional calculus (including binary decision diagrams); predicate calculus; resolution; Hoare logic; Z; and temporal logic.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2011

نویسنده

Mordechai Ben-Ari

ناشر

Springer

شابک

9781852333195
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mordechai B...
20
هزار تومان
Partners in Healing

Partners in Healing

Lisa Helmanis
20
هزار تومان
21 Days to Master Decoding Your Dreams

21 Days to Master Decoding Your Dreams

Howard Colb...
20
هزار تومان
21 Days to Understand Qabalah

21 Days to Understand Qabalah

David Wells
20
هزار تومان
The Factory of Facts

The Factory of Facts

Hilaire Belloc
20
هزار تومان
The Hero and the Blues

The Hero and the Blues

Martha Balshem
20
هزار تومان
Delphi in a Nutshell

Delphi in a Nutshell

Marcus Lutt...
20
هزار تومان
Monitoring with Ganglia

Monitoring with Ganglia

Bob Dotson
20
هزار تومان
Knight's Microsoft SQL Server 2012 Integration Services 24-Hour Trainer

Knight's Microsoft SQL Server 2012 Integration Services 24-Hour Trainer

Lloyd James
20
هزار تومان
Location-Aware Services and QR Codes for Libraries

Location-Aware Services and QR Codes for Libraries

Patricia Cr...
20
هزار تومان
IM and SMS Reference Services for Libraries

IM and SMS Reference Services for Libraries

Joseph W. S...
20
هزار تومان
Joint Libraries

Joint Libraries

Andrea Redmond
20
هزار تومان
Four Lessons of Psychoanalysis

Four Lessons of Psychoanalysis

S. C. Gwynne
20
هزار تومان
Beyond Gender

Beyond Gender

David Drummond
20
هزار تومان
Successful Acquisitions

Successful Acquisitions

Beth Moore
20
هزار تومان
Moving Innovation

Moving Innovation

Thomas Penn
20
هزار تومان
Autodesk Maya 2014 Essentials

Autodesk Maya 2014 Essentials

Gildart Jac...
20
هزار تومان
Reflections in the Light

Reflections in the Light

Richard Holmes
20
هزار تومان
Quantum Shift in the Global Brain

Quantum Shift in the Global Brain

Anna-Lisa H...
20
هزار تومان
Transcending Madness

Transcending Madness

Sonali Dera...
20
هزار تومان
The Buddha Speaks

The Buddha Speaks

Hannah Curtis
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن