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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب PX, a computational logic

دانلود کتاب PX ، یک منطق محاسباتی

مشخصات کتاب

PX, a computational logic

دسته بندی: ریاضیات محاسباتی
ویرایش:  
نویسندگان: Susumu Hayashi. Hiroshi Nakano  
سری: Foundations of computing 
ISBN (شابک) : 9780262081740, 0262081741 
ناشر: MIT Press 
سال نشر: 1988 
تعداد صفحات: 205 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب PX, a computational logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب PX ، یک منطق محاسباتی

منطق محاسباتی PX (Program eXtractor) برای تأیید برنامه‌ها، استخراج برنامه‌ها از برهان‌های سازنده، و پایه‌گذاری نظریه‌های نوع استفاده می‌شود. در حالی که از نظر تئوری به خوبی شناخته شده است که برنامه ها را می توان از براهین سازنده استخراج کرد، این مطالعه نشان می دهد که چگونه می توان آن را در عمل انجام داد. نویسندگان توصیف دقیقی از نظریه رسمی PX، معناشناسی آن، پایه ریاضی استخراج برنامه با استفاده از PX، و چندین روش و تئوری های استخراج برنامه ارائه می دهند. آنها همچنین پیاده سازی آزمایشی PX را توصیف می کنند. مطالب: مقدمه. سیستم رسمی تحقق پذیری. نوشتن برنامه ها از طریق اثبات PX به عنوان پایه ای از نظریه های نوع. مفاهیم. پیاده سازی PX سوسومو هایاشی همکار پژوهشی و هیروشی ناکانو دانشجوی کارشناسی ارشد، هر دو در مؤسسه تحقیقاتی علوم ریاضی در دانشگاه کیوتو هستند. PX: A Computational Logic در مجموعه مبانی محاسبات ویرایش شده توسط مایکل گاری و آلبرت مایر گنجانده شده است.

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

The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that programs can be extracted from constructive proofs, this study shows how it can be done in practice. The authors give a precise description of the formal theory of PX, its semantics, the mathematical foundation of program extraction using PX, and several methodologies and their theories of program extraction. They also describe an experimental implementation of PX. Contents: Introduction. Formal System. Realizability. Writing Programs via proofs. PX as a foundation of type theories. Semantics. Implementing PX. Susumu Hayashi is a research associate and Hiroshi Nakano a graduate student, both at the Research Institute of Mathematical Sciences at Kyoto University. PX: A Computational Logic is included in the Foundations of Computing series edited by Michael Garey and Albert Meyer.