ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

دانلود کتاب قضیه ثابت در منطق بالاتر: 15th Conference of International، TPHOLs 2002 Hampton، VA، USA، August 20-23، 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

مشخصات کتاب

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

دسته بندی: منطق
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 2410 
ISBN (شابک) : 3540440399, 9783540440390 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2002 
تعداد صفحات: 357 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب قضیه ثابت در منطق بالاتر: 15th Conference of International، TPHOLs 2002 Hampton، VA، USA، August 20-23، 2002 Proceedings: مهندسی نرم افزار، طراحی منطق



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب قضیه ثابت در منطق بالاتر: 15th Conference of International، TPHOLs 2002 Hampton، VA، USA، August 20-23، 2002 Proceedings نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب قضیه ثابت در منطق بالاتر: 15th Conference of International، TPHOLs 2002 Hampton، VA، USA، August 20-23، 2002 Proceedings

این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین المللی اثبات قضیه در منطق های مرتبه بالاتر، TPHOLs 2002 است که در همپتون، ویرجینیا، ایالات متحده آمریکا در آگوست 2002 برگزار شد.
20 مقاله کامل اصلاح شده ارائه شده همراه با 2 مشارکت دعوت شده با دقت بررسی شدند. و از بین 34 مورد ارسالی انتخاب شد. تمامی مسائل جاری در اثبات قضیه HOL و تایید رسمی سیستم های نرم افزاری و سخت افزاری مورد بررسی قرار می گیرد. از جمله سیستم های اثبات قضیه HOL ارزیابی شده، ایزابل/هول، ایزابل/ایزار و کوک هستند.


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

This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002.
The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the HOL theorem proving systems evaluated are Isabelle/HOL, Isabelle/Isar, and Coq.



فهرست مطالب

Formal Methods at NASA Langley....Pages 1-2
Higher Order Unification 30 Years Later....Pages 3-12
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction....Pages 13-30
Efficient Reasoning about Executable Specifications in Coq....Pages 31-46
Verified Bytecode Model Checkers....Pages 47-66
The 5 Colour Theorem in Isabelle/Isar....Pages 67-82
Type-Theoretic Functional Semantics....Pages 83-97
A Proposal for a Formal OCL Semantics in Isabelle/HOL....Pages 99-114
Explicit Universes for the Calculus of Constructions....Pages 115-130
Formalised Cut Admissibility for Display Logic....Pages 131-147
Formalizing the Trading Theorem for the Classification of Surfaces....Pages 148-163
Free-Style Theorem Proving....Pages 164-181
A Comparison of Two Proof Critics: Power vs. Robustness....Pages 182-197
Two-Level Meta-reasoning in Coq....Pages 198-213
PuzzleTool: An Example of Programming Computation and Deduction....Pages 214-229
A Formal Approach to Probabilistic Termination....Pages 230-245
Using Theorem Proving for Numerical Analysis Correctness Proof of an Automatic Differentiation Algorithm....Pages 246-262
Quotient Types: A Modular Approach....Pages 263-280
Sequent Schema for Derived Rules....Pages 281-297
Algebraic Structures and Dependent Records....Pages 298-313
Proving the Equivalence of Microstep and Macrostep Semantics....Pages 314-331
Weakest Precondition for General Recursive Programs Formalized in Coq....Pages 332-347




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی