ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

دانلود کتاب قضیه تعاملی اثبات: دومین کنفرانس بین المللی ، ITP 2011 ، برگ آن ، هلند ، 22-25 آگوست ، 2011. مجموعه مقالات

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

مشخصات کتاب

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 6898 
ISBN (شابک) : 3642228623, 9783642228629 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 396 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



کلمات کلیدی مربوط به کتاب قضیه تعاملی اثبات: دومین کنفرانس بین المللی ، ITP 2011 ، برگ آن ، هلند ، 22-25 آگوست ، 2011. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی



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

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


در صورت تبدیل فایل کتاب Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب قضیه تعاملی اثبات: دومین کنفرانس بین المللی ، ITP 2011 ، برگ آن ، هلند ، 22-25 آگوست ، 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب قضیه تعاملی اثبات: دومین کنفرانس بین المللی ، ITP 2011 ، برگ آن ، هلند ، 22-25 آگوست ، 2011. مجموعه مقالات



این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی اثبات قضیه تعاملی، ITP 2011، برگزار شده در برگ ان دال، هلند، در آگوست 2011 است.
25 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از 50 ارسال. از جمله موضوعات تحت پوشش عبارتند از تولید نمونه متقابل، تأیید، اعتبارسنجی، بازنویسی عبارت، اثبات قضیه، نظریه محاسباتی، ترجمه از یک فرمالیسم به دیگری، و همکاری بین ابزارها. چندین مطالعه موردی تأیید با کاربردهایی در هندسه محاسباتی، یکسان سازی، تحلیل واقعی و غیره ارائه شد.


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

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011.
The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.



فهرست مطالب

Front Matter....Pages -
Towards Verification of Product Lines....Pages 1-1
Advances in the Formalization of the Odd Order Theorem....Pages 2-2
Logical Formalisation and Analysis of the Mifare Classic Card in PVS....Pages 3-17
Challenges in Verifying Communication Fabrics....Pages 18-21
Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq....Pages 22-38
Relational Decomposition....Pages 39-54
Structural Analysis of Narratives with the Coq Proof Assistant....Pages 55-70
Towards Robustness Analysis Using PVS....Pages 71-86
Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments....Pages 87-102
Point-Free, Set-Free Concrete Linear Algebra....Pages 103-118
A Formalization of Polytime Functions....Pages 119-134
Three Chapters of Measure Theory in Isabelle/HOL....Pages 135-151
Termination of Isabelle Functions via Termination of Rewriting....Pages 152-167
Validating QBF Validity in HOL4....Pages 168-183
Proving Valid Quantified Boolean Formulas in HOL Light....Pages 184-199
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials....Pages 200-215
Animating the Formalised Semantics of a Java-Like Language....Pages 216-232
Formalization of Entropy Measures in HOL....Pages 233-248
On the Generation of Positivstellensatz Witnesses in Degenerate Cases....Pages 249-264
A Verified Runtime for a Verified Theorem Prover....Pages 265-280
Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism....Pages 281-296
Mechanised Computability Theory....Pages 297-311
Automatic Differentiation in ACL2....Pages 312-324
seL4 Enforces Integrity....Pages 325-340
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl)....Pages 341-356
LCF-Style Bit-Blasting in HOL4....Pages 357-362
Lem: A Lightweight Tool for Heavyweight Semantics....Pages 363-369
Composable Discovery Engines for Interactive Theorem Proving....Pages 370-375
Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers....Pages 376-382
Back Matter....Pages -




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

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