ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic in Computer Science

دانلود کتاب منطق در علوم کامپیوتر

Logic in Computer Science

مشخصات کتاب

Logic in Computer Science

دسته بندی: منطق
ویرایش: 2 
نویسندگان: ,   
سری:  
ISBN (شابک) : 9780511264016 
ناشر: Cambridge 
سال نشر: 2004 
تعداد صفحات: 443 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 35,000



کلمات کلیدی مربوط به کتاب منطق در علوم کامپیوتر: ریاضیات، منطق ریاضی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Logic in Computer Science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق در علوم کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق در علوم کامپیوتر

این ویرایش دوم به ارائه مقدمه روشنی برای استدلال رسمی ادامه می دهد که هم با نیازهای علوم رایانه مدرن مرتبط است و هم به اندازه کافی برای کاربرد عملی دقیق است. با بخش‌ها و تمرین‌های اضافی و توسعه‌یافته، پیشرفت‌هایی در سرتاسر انجام شده است. پوشش بررسی مدل به طور قابل ملاحظه ای به روز شده است.


توضیحاتی درمورد کتاب به خارجی

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی