دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Wayne Snyder
سری: Progress in Computer Science and Applied Logic 11
ISBN (شابک) : 0817635939, 9783764335939
ناشر: Springer
سال نشر: 1991
تعداد صفحات: 188
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب A Proof Theory for General Unification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه اثبات یکپارچگی عمومی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
در این مونوگراف ما دو تعمیم یکسان سازی استاندارد، یکسان سازی الکترونیکی و یکسان سازی مرتبه بالاتر را با استفاده از یک رویکرد انتزاعی که توسط هربراند ابداع شده و در مورد یکسان سازی مرتبه اول استاندارد توسط مارتلی و مونتاناری توسعه یافته است، مطالعه می کنیم. فرمالیسم محاسبات یکسان سازی را به عنوان مجموعه ای از قوانین تبدیل غیر قطعی برای تبدیل مجموعه ای از معادلات به یک نمایش صریح از یک متحد کننده (در صورت وجود) ارائه می دهد. این یک ابزار انتزاعی و از نظر ریاضی ظریف برای تجزیه و تحلیل ویژگی های یکسان سازی در تنظیمات مختلف با ارائه یک جداسازی دقیق از مسائل منطقی از مشخصات اطلاعات رویه ای فراهم می کند، و به مجموعه ای از «قواعد استنتاج» برای یکسان سازی می رسد، از این رو عنوان این کتاب. ما مجموعه ای از تحولات را برای یکسان سازی E-کلی و یکسان سازی مرتبه بالاتر از تجزیه و تحلیل معنایی که در آن اصطلاحات «یکسان» هستند پس از اعمال یک جانشینی یکسان کننده به دست می آوریم. در هر دو مورد، این منجر به گسترش ساده مجموعه ای از تبدیل های اساسی می شود که توسط هربراند مارتلی-مونتاناری برای یکسان سازی استاندارد ارائه شده است، و روابط اساسی عملیات اساسی لازم در هر مورد را به وضوح نشان می دهد، و بنابراین ساختار زیربنایی مهمترین آنها را نشان می دهد. کلاس های مسائل یکسان سازی اصطلاح
In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig inated by Herbrand and developed in the case of standard first-order unifi cation by Martelli and Montanari. The formalism presents the unification computation as a set of non-deterministic transformation rules for con verting a set of equations to be unified into an explicit representation of a unifier (if such exists). This provides an abstract and mathematically elegant means of analysing the properties of unification in various settings by providing a clean separation of the logical issues from the specification of procedural information, and amounts to a set of 'inference rules' for unification, hence the title of this book. We derive the set of transformations for general E-unification and higher order unification from an analysis of the sense in which terms are 'the same' after application of a unifying substitution. In both cases, this results in a simple extension of the set of basic transformations given by Herbrand Martelli-Montanari for standard unification, and shows clearly the basic relationships of the fundamental operations necessary in each case, and thus the underlying structure of the most important classes of term unifi cation problems.
uni01......Page 1
uni03......Page 3
uni04......Page 4
uni05......Page 5
uni06......Page 6
uni07......Page 7
uni08......Page 8
uni09......Page 9
uni10......Page 10
uni11......Page 11
uni12......Page 12
uni13......Page 13
uni14......Page 14
uni15......Page 15
uni16......Page 16
uni17......Page 17
uni18......Page 18
uni19......Page 19
uni20......Page 20
uni21......Page 21
uni22......Page 22
uni23......Page 23
uni24......Page 24
uni25......Page 25
uni26......Page 26
uni27......Page 27
uni28......Page 28
uni29......Page 29
uni30......Page 30
uni31......Page 31
uni32......Page 32
uni33......Page 33
uni34......Page 34
uni35......Page 35
uni36......Page 36
uni37......Page 37
uni38......Page 38
uni39......Page 39
uni40......Page 40
uni41......Page 41
uni42......Page 42
uni43......Page 43
uni44......Page 44
uni45......Page 45
uni46......Page 46
uni47......Page 47
uni48......Page 48
uni47......Page 0
uni49......Page 49
uni50......Page 50
uni51......Page 51
uni52......Page 52
uni53......Page 53
uni54......Page 54
uni55......Page 55
uni56......Page 56
uni57......Page 57
uni58......Page 58
uni59......Page 59
uni60......Page 60
uni61......Page 61
uni62......Page 62
uni63......Page 63
uni64......Page 64
uni65......Page 65
uni66......Page 66
uni67......Page 67
uni68......Page 68
uni69......Page 69
uni70......Page 70
uni71......Page 71
uni72......Page 72
uni73......Page 73
uni74......Page 74
uni75......Page 75
uni76......Page 76
uni77......Page 77
uni78......Page 78
uni79......Page 79
uni80......Page 80
uni81......Page 81
uni82......Page 82
uni83......Page 83
uni84......Page 84
uni85......Page 85
uni86......Page 86
uni87......Page 87
uni88......Page 88
uni89......Page 89
uni90......Page 90
uni91......Page 91
uni92......Page 92
uni93......Page 93
uni94......Page 94
uni95......Page 95