ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings

دانلود کتاب دسته بندی نظریه و علوم کامپیوتر: هفتمین کنفرانس بین المللی، CTCS '97 Santa Margherita Ligure ایتالیا، 4 تا 6 سپتامبر 1997 مجموعه مقالات

Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings

مشخصات کتاب

Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 1290 
ISBN (شابک) : 354063455X, 9783540634553 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1997 
تعداد صفحات: 320 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 21 مگابایت 

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



کلمات کلیدی مربوط به کتاب دسته بندی نظریه و علوم کامپیوتر: هفتمین کنفرانس بین المللی، CTCS '97 Santa Margherita Ligure ایتالیا، 4 تا 6 سپتامبر 1997 مجموعه مقالات: است



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

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


در صورت تبدیل فایل کتاب Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب دسته بندی نظریه و علوم کامپیوتر: هفتمین کنفرانس بین المللی، CTCS '97 Santa Margherita Ligure ایتالیا، 4 تا 6 سپتامبر 1997 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب دسته بندی نظریه و علوم کامپیوتر: هفتمین کنفرانس بین المللی، CTCS '97 Santa Margherita Ligure ایتالیا، 4 تا 6 سپتامبر 1997 مجموعه مقالات



این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی نظریه مقوله‌ها و علوم رایانه، CTCS'97 است که در سپتامبر 1997 در سانتا مارگریا لیگوره، ایتالیا برگزار شد.
تئوری مقوله‌ها توجه جامعه نظری علوم رایانه را به خود جلب می‌کند. به دلیل توانایی آن در ایجاد ارتباط بین حوزه های مختلف در علوم کامپیوتر و ریاضیات و ارائه چند اصل کلی برای سازماندهی نظریه های ریاضی. این کتاب منتخبی از 15 مقاله کامل اصلاح شده را به همراه سه مشارکت دعوت شده ارائه می کند. موضوعات پرداخته شده شامل اصول استدلال برای انواع، بازنویسی، معناشناسی برنامه، و ساختار سیستم های منطقی است.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.
Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.



فهرست مطالب

An introduction to n -categories....Pages 1-33
Allegories as a basis for algorithmics....Pages 34-46
Separating shape from data....Pages 47-48
A factorisation theorem in rewriting theory....Pages 49-68
Monads and modular term rewriting....Pages 69-86
A 2-categorical presentation of term graph rewriting....Pages 87-105
Presheaf models for the π -calculus....Pages 106-126
Categorical modelling of structural operational rules case studies....Pages 127-146
Specifying interaction categories....Pages 147-158
Shedding new light in the world of logical systems....Pages 159-176
Combining and representing logical systems....Pages 177-196
A deciding algorithm for linear isomorphism of types with complexity O ( nlog 2 ( n )).....Pages 197-209
Effectiveness of the global modulus of continuity on metric spaces....Pages 210-219
Proof principles for datatypes with iterated recursion....Pages 220-241
When Do Datatypes Commute?....Pages 242-260
A calculus for collections and aggregates....Pages 261-280
Lifting....Pages 281-292
General synthetic domain theory — A logical approach (extended abstract)....Pages 293-313




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