دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logical Frameworks
دانلود کتاب چارچوب منطقی
مشخصات کتاب
Logical Frameworks
ویرایش:
نویسندگان: Gerard Huet. G. Plotkin (editors)
سری:
ISBN (شابک) : 0521413001, 9780521413008
ناشر: CUP
سال نشر: 1991
تعداد صفحات: 416
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب Logical Frameworks به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چارچوب منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب چارچوب منطقی
این جلد شامل مجموعه مقالات اولین کارگاه بین المللی چارچوب های منطقی است. مشارکت‌ها به کاربرد استدلال منطقی و نظریه اثبات در علوم کامپیوتر و ارتباط آنها با اثبات قضیه خودکار و در نتیجه موضوعاتی مانند هوش مصنوعی مربوط می‌شود. این تنها منبع برای بسیاری از این مواد است و برای ریاضیدانان و دانشمندان رایانه ای که در رابط مهندسی منطق و نرم افزار تحقیق می کنند، خرید ضروری خواهد بود.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
فهرست مطالب
CONTENTS......Page 6
Preface......Page 8
Introduction......Page 10
FRAMEWORKS......Page 14
Two frameworks of theories and their implementation in Isabelle......Page 16
A plea for weaker frameworks......Page 53
Nederpelt\'s calculus extended with a notion of context as a logical framework......Page 82
IMPLEMENTATIONS......Page 100
The Boyer-Moore Prover and Nuprl: An Experimental Comparison......Page 102
Goal directed proof construction in type theory......Page 133
Logic programming in the LF logical framework......Page 162
REPRESENTING FORMAL SYSTEMS......Page 196
Operational semantics in a natural deduction setting*......Page 198
Encoding Dependent Types in an Intuitionistic Logic......Page 228
TYPE THEORY......Page 266
An algorithm for testing conversion in Type Theory......Page 268
Inductive sets and families in Martin-L6f\'s type theory and their set-theoretic semantics......Page 293
PROOFS AND COMPUTATION......Page 320
Proof-search in the All-calculus......Page 322
Finding Computational Content in Classical Proofs......Page 354
LOGICAL ISSUES......Page 376
Models of partial inductive definitions......Page 378
Structural Frameworks, Substructural Logics, and the Role of Elimination Inferences......Page 398
