دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Jules Desharnais, Ridha Khédri, Ali Mili (auth.), Prof. Dr. Ewa Orłowska, Prof. Dr. Andrzej Szałas (eds.) سری: Studies in Fuzziness and Soft Computing 65 ISBN (شابک) : 9783662003626, 9783790818284 ناشر: Physica-Verlag Heidelberg سال نشر: 2001 تعداد صفحات: 293 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب روش های ارتباطی برای برنامه های کاربردی علوم کامپیوتر: است
در صورت تبدیل فایل کتاب Relational Methods for Computer Science Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های ارتباطی برای برنامه های کاربردی علوم کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد به تمام جنبه های فعلی روش های رابطه ای و کاربردهای
آنها در علوم کامپیوتر می پردازد. طیف گسترده ای از زمینه ها و
موضوعاتی را ارائه می دهد که در آن نظریه های روابط ابزارهای
مفهومی یا فنی را ارائه می دهند. مشارکتها به موضوعاتی مانند
روشهای رابطهای در برنامهنویسی، محدودیتهای رابطهای،
روشهای رابطهای در زبانشناسی و استدلال فضایی، مدلسازی
رابطهای عدم قطعیت میپردازند. همه مشارکتها پیشرفتهای جدید
و بدیع را در زمینههای مربوطه در اختیار خوانندگان قرار
میدهند.
به این ترتیب خواننده طیفی بینرشتهای از وضعیت هنر روشهای
رابطهای و راهحلهای اجرا محور مشکلات مربوط به این حوزهها
را دریافت میکند.
This volume addresses all current aspects of relational
methods and their applications in computer science. It
presents a broad variety of fields and issues in which
theories of relations provide conceptual or technical tools.
The contributions address such subjects as relational methods
in programming, relational constraints, relational methods in
linguistics and spatial reasoning, relational modelling of
uncertainty. All contributions provide the readers with new
and original developments in the respective fields.
The reader thus gets an interdisciplinary spectrum of the
state of the art of relational methods and
implementation-oriented solutions of problems related to
these areas.
Front Matter....Pages I-XIII
Front Matter....Pages 1-1
Interpretation of Tabular Expressions Using Arrays of Relations....Pages 3-14
Translating Relational Programs into Prolog....Pages 15-35
A Calculus for Program Construction Based on Fork Algebras, Design Strategies and Generic Algorithms....Pages 37-58
Processes as Relations....Pages 59-73
Front Matter....Pages 75-75
A Tableaux Procedure for the Implication Problem for Association Rules....Pages 77-95
On a Static Verification of Integrity Constraints in Relational Databases....Pages 97-109
Front Matter....Pages 111-111
Contact Relation Algebras....Pages 113-133
Relations Old and New....Pages 135-147
Relational Models for the Nonassociative Lambek Calculus....Pages 149-159
Front Matter....Pages 161-161
Coping with Semilattices of Relations in Logics with Relative Accessibility Relations....Pages 163-181
A Relational Formalisation of a Generic Many—Valued Modal Logic....Pages 183-202
An Application of Standard BAO Theory to Some Abstract Information Algebras....Pages 203-215
Front Matter....Pages 217-217
Proof Systems in Relation Algebra....Pages 219-237
Connections Between Cylindric Algebras and Relation Algebras....Pages 239-246
Lattices in Dedekind Categories....Pages 247-260
Front Matter....Pages 261-261
Beyond Modalities: Sufficiency and Mixed Algebras....Pages 263-285
Cylindric Algebras for Partial Relational Systems. Quasicylindric Algebras....Pages 287-297