دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic for Computer Science : Foundations of Automatic Theorem Proving
دانلود کتاب منطق برای علوم کامپیوتر: مبانی اثبات قضیه خودکار
مشخصات کتاب
Logic for Computer Science : Foundations of Automatic Theorem Proving
ویرایش: [2 ed.]
نویسندگان: Jean H. Gallier
سری: Dover Books on Computer Science
ISBN (شابک) : 9780486805085, 0486805085
ناشر: Dover Publications
سال نشر: 2015
تعداد صفحات:
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 64 Mb
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Logic for Computer Science : Foundations of Automatic Theorem Proving به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برای علوم کامپیوتر: مبانی اثبات قضیه خودکار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق برای علوم کامپیوتر: مبانی اثبات قضیه خودکار
این متن پیشرفته برای دانشجویان کارشناسی و کارشناسی ارشد، منطق ریاضی را با تأکید بر نظریه اثبات و روش‌هایی برای ساخت الگوریتمی برهان‌های رسمی معرفی می‌کند. درمان مستقل همچنین برای دانشمندان رایانه و خوانندگانی که به ریاضیات تمایل دارند و علاقه مند به رسمی کردن اثبات ها و مبانی اثبات قضیه خودکار هستند مفید است. موضوعات عبارتند از منطق گزاره ای و حل آن، منطق مرتبه اول، قضیه حذف برش گنتزن و کاربردها، و قضیه تیز شده هاوپتساتز و هربراند گنتزن. موضوعات اضافی شامل وضوح در منطق مرتبه اول است. وضوح SLD، برنامه نویسی منطقی، و پایه های PROLOG. و منطق مرتبه اول بسیار مرتب شده است. مشکلات متعددی در سراسر کتاب ظاهر می شود و دو ضمیمه اطلاعات پس زمینه عملی را ارائه می دهند.
توضیحاتی درمورد کتاب به خارجی
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.
