دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Michael Kifer, Georg Lausen, James Wu سری: ناشر: Journal of the Association for Computing Machinery سال نشر: 1995 تعداد صفحات: 104 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 683 کیلوبایت
در صورت تبدیل فایل کتاب Logical Foundations of Object oriented and Frame based Languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی منطقی زبان های شی گرا و مبتنی بر قاب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Contents......Page 2
Introduction......Page 5
Object-oriented vs Declarative Programming......Page 6
F-Logic by Example......Page 8
Syntax......Page 16
F-Structures......Page 19
Satisfaction of F-Formulas by F-Structures......Page 22
Predicates & their Semantics......Page 24
Properties of the Equality......Page 26
Properties of Signature Expressions......Page 27
Miscellaneous Properties......Page 28
Skolemization & Clausal Form......Page 29
Herbrand Structures......Page 30
Correspondence btw H-Structures & F-Structures......Page 31
Herbrand Theorem......Page 32
Proof Theory......Page 33
Substitutions & Unifiers......Page 34
Core Inference Rules......Page 36
Type Inference Rules......Page 37
Miscellaneous Inference Rules......Page 38
Remarks......Page 40
Completeness of the Proof Theory......Page 41
Data Modeling in F-Logic......Page 43
Logic Programs & their Semantics......Page 44
Examples of IS-A Hierarchies......Page 47
Examples of Type Declarations......Page 48
Examples of Object Bases......Page 49
Well-Typed Programs & Type Errors......Page 55
Encapsulation......Page 59
Example......Page 60
Modules & Type Correctness......Page 61
Structural Inheritance......Page 63
Behavioral Inheritance......Page 64
Strategies for Overriding Behavioral Inheritance......Page 73
Empty Sets vs Undefined Values......Page 75
Complex Values......Page 76
Primary Classes & Immediate Superclasses......Page 78
Version Control......Page 79
Sorted F-Logic & its Uses......Page 80
Multiset-valued Methods......Page 81
F-Logic & Dynamic Behavior......Page 82
Anatomy of F-Logic......Page 84
Conclusion......Page 87
Preliminary Definitions......Page 88
Revised Definitions......Page 90
Stratification for Inheritance......Page 92
Perfect Models defined......Page 93
Examples......Page 94
Unification Algorithm for F-Molecules......Page 95
Refs......Page 97