دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers
دانلود کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2000 دورهام، انگلستان، 8 تا 12 دسامبر، 2000 مقالات منتخب
مشخصات کتاب
Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers
ویرایش: 1 نویسندگان: Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack (eds.) سری: Lecture Notes in Computer Science 2277 ISBN (شابک) : 9783540432876, 9783540458425 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 251 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2000 دورهام، انگلستان، 8 تا 12 دسامبر، 2000 مقالات منتخب: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2000 دورهام، انگلستان، 8 تا 12 دسامبر، 2000 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2000 دورهام، انگلستان، 8 تا 12 دسامبر، 2000 مقالات منتخب
این کتاب مجموعه مقالات پس از داوری کامل کارگاه بین المللی گروه
کاری TYPES، TYPES 2000 است که در دسامبر 2000 در دورهام،
انگلستان برگزار شد.
15 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و طی دو دور
داوری انتخاب شدند. و تجدید نظر. تمام مسائل جاری در مورد تئوری
نوع و سیستم های نوع و کاربردهای آنها در برنامه نویسی، طراحی
سیستم ها و نظریه اثبات پرداخته شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings
of the International Workshop of the TYPES Working Group, TYPES
2000, held in Durham, UK in December 2000.
The 15 revised full papers presented were carefully reviewed
and selected during two rounds of refereeing and revision. All
current issues on type theory and type systems and their
applications to programming, systems design, and proof theory
are addressed.
فهرست مطالب
Collection Principles in Dependent Type Theory....Pages 1-23
Executing Higher Order Logic....Pages 24-40
A Tour with Constructive Real Numbers....Pages 41-52
An Implementation of Type:Type....Pages 53-62
On the Logical Content of Computational Type Theory: A Solution to Curry’s Problem....Pages 63-78
Constructive Reals in Coq: Axioms and Categoricity....Pages 79-95
A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals....Pages 96-111
A Kripke-Style Model for the Admissibility of Structural Rules....Pages 112-124
Towards Limit Computable Mathematics....Pages 125-144
Formalizing the Halting Problem in a Constructive Type Theory....Pages 145-159
On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory....Pages 160-180
Changing Data Structures in Type Theory: A Study of Natural Numbers....Pages 181-196
Elimination with a Motive....Pages 197-216
Generalization in Type Theory Based Proof Assistants....Pages 217-232
An Inductive Version of Nash-Williams’ Minimal-Bad-Sequence Argument for Higman’s Lemma....Pages 233-242
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Careers in law
دانلود کتاب The Essential Canon of Classical Music
دانلود کتاب Carcinogenesis. Proceedings of a Symposium on the Biology of Skin Held at the University of Oregon Medical School, 1965
