ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logical Foundations of Object oriented and Frame based Languages

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

Logical Foundations of Object oriented and Frame based Languages

مشخصات کتاب

Logical Foundations of Object oriented and Frame based Languages

ویرایش:  
نویسندگان: , ,   
سری:  
 
ناشر: Journal of the Association for Computing Machinery 
سال نشر: 1995 
تعداد صفحات: 104 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 683 کیلوبایت 

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



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

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


در صورت تبدیل فایل کتاب 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




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