دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic for computer science: foundations of automatic theorem proving
دانلود کتاب منطق علم کامپیوتر: مبانی اثبات قضیه اتوماتیک
مشخصات کتاب
Logic for computer science: foundations of automatic theorem proving
دسته بندی: سخنرانی ها ، تک نگاری ها ویرایش: نویسندگان: Jean H. Gallier سری: Harper & Row computer science and technology series ISBN (شابک) : 9780060422257, 0060422254 ناشر: Longman Higher Education سال نشر: 1986 تعداد صفحات: 534 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Logic for computer science: foundations of automatic theorem proving به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق علم کامپیوتر: مبانی اثبات قضیه اتوماتیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق علم کامپیوتر: مبانی اثبات قضیه اتوماتیک
\"منطق برای علوم کامپیوتر\" مقدمه ای بر منطق ریاضی با تاکید بر نظریه اثبات و رویه هایی برای ساختن اثبات های رسمی فرمول ها به صورت الگوریتمی ارائه می دهد. اساساً برای دانش‌آموزان، دانشمندان کامپیوتر، و به طور کلی، برای خوانندگانی که به ریاضیات تمایل دارند و علاقه‌مند به رسمی‌سازی اثبات‌ها و مبانی اثبات قضیه خودکار هستند، طراحی شده است. از آنجایی که تأکید اصلی متن بر مطالعه سیستم‌های اثبات و روش‌های الگوریتمی برای ساخت برهان است، ویژگی‌هایی دارد که به ندرت در سایر متون منطق یافت می‌شود. چهار مورد از این موارد عبارتند از: استفاده از سیستم های Gentzen; توجیه روش تفکیک از طریق ترجمه از سیستم Gentzen. ارائه وضوح SLD و ارائه مبانی PROLOG. رویه های تصمیم گیری سریع بر اساس بسته شدن هماهنگی.
توضیحاتی درمورد کتاب به خارجی
"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers interested in the formalization of proofs and the foundations of automatic theorem proving. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains features rarely found in other texts on logic. Four of these are: the use of Gentzen systems; a justification of the resolution method via a translation from a Gentzen system; a presentation of SLD-resolution and a presentation of the foundations of PROLOG; fast decisions procedures based on congruence closures.
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Report writing for data science in R
دانلود کتاب Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
دانلود کتاب Logic in computer science: modelling and reasoning about systems
