ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Mathematical Logic For Computer Science

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

Mathematical Logic For Computer Science

مشخصات کتاب

Mathematical Logic For Computer Science

دسته بندی: منطق
ویرایش: 2nd ed. 
نویسندگان:   
سری: Series in Computer Science Vol. 47 
ISBN (شابک) : 9810230915, 9789810230913 
ناشر: World Scientific Publishing Company 
سال نشر: 1998 
تعداد صفحات: 248 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت 

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



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

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


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

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


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

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


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

Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.





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