دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: John C. Baez (auth.), Eugenio Moggi, Giuseppe Rosolini (eds.) سری: Lecture Notes in Computer Science 1290 ISBN (شابک) : 354063455X, 9783540634553 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1997 تعداد صفحات: 320 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب دسته بندی نظریه و علوم کامپیوتر: هفتمین کنفرانس بین المللی، 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 به فرمت های 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
نظرات کاربران
کتاب های مرتبط
دانلود کتاب CodeIgniter Testing Guide: Beginners' Guide to Automated Testing in PHP
دانلود کتاب L'information et le renseignement par Internet
دانلود کتاب Blender Reference Manual. Volume 4: Render
دانلود کتاب Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
دانلود کتاب Fallout New Vegas
دانلود کتاب FrontPage 2003 All-in-One Desk Reference For Dummies (For Dummies (Computer Tech))
