دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory
دانلود کتاب استدلال خودکار در منطق مرتبه بالاتر: مجموعه درک و توسعه در نظریه نوع کلیسا
مشخصات کتاب
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory
ویرایش:
نویسندگان: C. E. Brown
سری: Studies in Logic 10
ISBN (شابک) : 1904987575, 9781904987574
ناشر: College Publications
سال نشر: 2007
تعداد صفحات: 562
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 52 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب استدلال خودکار در منطق مرتبه بالاتر: مجموعه درک و توسعه در نظریه نوع کلیسا: هوش و معناشناسی، هوش مصنوعی و یادگیری ماشین، علوم کامپیوتر، کامپیوتر و فناوری، منطق، ریاضیات محض، ریاضیات، علوم و ریاضی، منطق و زبان، فلسفه، سیاست و علوم اجتماعی
در صورت تبدیل فایل کتاب Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال خودکار در منطق مرتبه بالاتر: مجموعه درک و توسعه در نظریه نوع کلیسا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استدلال خودکار در منطق مرتبه بالاتر: مجموعه درک و توسعه در نظریه نوع کلیسا
بسیاری از مفاهیم ریاضی و محاسباتی را می توان به روشی طبیعی با استفاده از منطق مرتبه بالاتر نشان داد. در نتیجه، منطق مرتبه بالاتر به موضوع مهم تحقیق تبدیل شده است. /Automated Reasoning in Higher-Order Logic/ هم تجزیه و تحلیل نظری از قطعات منطق مرتبه بالاتر و هم یک روش جستجوی خودکار کامل را برای یک شکل توسعه ای از منطق مرتبه بالاتر ارائه می دهد. بخش اول کتاب ارائه مفصلی از تئوری ( نحو و معناشناسی) قطعات منطق درجه بالاتر ارائه می دهد. قطعات از نظر میزان گسترش و اصول درک مجموعه شامل متفاوت هستند. سه خانواده از محاسبات متوالی با توجه به کلاس‌های مدل مناسب تعریف و ثابت شده‌اند. با استفاده از ساختارهای مدل موجود در کتاب، نسخه‌های مختلف قضیه کانتور مشخص می‌شود که در قطعات خاصی قابل اثبات نیستند. در واقع، برخی از نسخه های قضیه کانتور مستقل از نسخه های دیگر (در قطعات به اندازه کافی ضعیف) هستند. در بخش دوم کتاب، یک روش اثبات خودکار برای نظریه نوع کششی توضیح داده شده است. اثبات کامل بودن چنین روش جستجوی مرتبه بالاتر یک کار غیر ضروری است. این کتاب با اثبات کامل بودن مورد زمین و سپس اثبات نتایج مناسب بالابر، چنین اثبات کاملی را ارائه می دهد. /Automated Reasoning in Higher-Order Logic/ یک سند ضروری برای محققان در منطق مرتبه بالاتر و اثبات قضیه مرتبه بالاتر است. این کتاب همچنین خواندن ضروری برای برنامه نویسانی است که روش های جستجوی مرتبه بالاتر را اجرا یا گسترش می دهند. کاربران اثبات‌کننده‌های قضایای مرتبه بالاتر می‌توانند از این کتاب برای بهبود درک خود از سیستم‌های منطقی زیربنایی استفاده کنند.
توضیحاتی درمورد کتاب به خارجی
Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has become an important topic of research. /Automated Reasoning in Higher-Order Logic/ presents both a theoretical analysis of fragments of higher-order logic as well as a complete automated search procedure for an extensional form of higher-order logic. The first part of the book provides a detailed presentation of the theory (syntax and semantics) of fragments of higher-order logic. The fragments differ in the amount of extensionality and set comprehension principles included. Three families of sequent calculi are defined and proven sound and complete with respect to appropriate model classes. Using the model constructions in the book, different versions of Cantor's theorem are determined to not be provable in certain fragments. In fact, some versions of Cantor's theorem are independent of other versions (in sufficiently weak fragments). In the second part of the book, an automated proof procedure for extensional type theory is described. Proving completeness of such a higher-order search procedure is a nontrivial task. The book provides such a completeness proof by first proving completeness of the ground case and then proving appropriate lifting results. /Automated Reasoning in Higher-Order Logic/ is an essential document for researchers in higher-order logic and higher-order theorem proving. The book is also essential reading for programmers implementing or extending higher-order search procedures. Users of higher-order theorem provers can use the book to improve their understanding of the underlying logical systems.
