کتاب الکترونیکی

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

PX, a computational logic

دانلود کتاب PX, a computational logic (به فارسی: PX، یک منطق محاسباتی) نوشته شده توسط «Susumu Hayashi – Hiroshi Nakano»

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

موضوع اصلی: ریاضیات محاسباتی

نوع: کتاب الکترونیکی

ناشر: MIT Press

نویسنده: Susumu Hayashi – Hiroshi Nakano

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1988

تعداد صفحه: 205

حجم کتاب: 2 مگابایت

کد کتاب: 9780262081740 , 0262081741

توضیحات کتاب 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.

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

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان