دانلود کتاب Logical Frameworks
کتاب چارچوب های منطقی نسخه زبان اصلی
دانلود کتاب چارچوب های منطقی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logical Frameworks
نام کتاب : Logical Frameworks
عنوان ترجمه شده به فارسی : چارچوب های منطقی
سری :
نویسندگان : Gerard Huet, G. Plotkin (editors)
ناشر : CUP
سال نشر : 1991
تعداد صفحات : 416
ISBN (شابک) : 0521413001 , 9780521413008
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد شامل مجموعه مقالات اولین کارگاه بین المللی چارچوب های منطقی است. مشارکت‌ها به کاربرد استدلال منطقی و نظریه اثبات در علوم کامپیوتر و ارتباط آنها با اثبات قضیه خودکار و در نتیجه موضوعاتی مانند هوش مصنوعی مربوط می‌شود. این تنها منبع برای بسیاری از این مواد است و برای ریاضیدانان و دانشمندان رایانه ای که در رابط مهندسی منطق و نرم افزار تحقیق می کنند، خرید ضروری خواهد بود.
فهرست مطالب :
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
توضیحاتی در مورد کتاب به زبان اصلی :
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.