دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: 2nd ed. نویسندگان: Lu Zhongwan سری: Series in Computer Science Vol. 47 ISBN (شابک) : 9810230915, 9789810230913 ناشر: World Scientific Publishing Company سال نشر: 1998 تعداد صفحات: 248 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
در صورت تبدیل فایل کتاب 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.