ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings

دانلود کتاب گروه تئوری و علوم کامپیوتر: ادینبورگ، U.K.، 7-9 سپتامبر، 1987 پرونده

Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings

مشخصات کتاب

Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 283 
ISBN (شابک) : 3540185089, 9783540185086 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1987 
تعداد صفحات: 305 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



کلمات کلیدی مربوط به کتاب گروه تئوری و علوم کامپیوتر: ادینبورگ، U.K.، 7-9 سپتامبر، 1987 پرونده: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، منطق ریاضی و مبانی



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

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


در صورت تبدیل فایل کتاب Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب گروه تئوری و علوم کامپیوتر: ادینبورگ، U.K.، 7-9 سپتامبر، 1987 پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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



فهرست مطالب

Categories and effective computations....Pages 1-11
Polymorphism is set theoretic, constructively....Pages 12-39
An equational presentation of higher order logic....Pages 40-56
Enriched categories for local and interaction calculi....Pages 57-70
The category of Milner processes is exact....Pages 71-97
Relating two models of hardware....Pages 98-113
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms....Pages 114-139
A typed lambda calculus with categorical type constructors....Pages 140-157
Final algebras, cosemicomputable algebras, and degrees of unsolvability....Pages 158-181
Good functors ... are those preserving philosophy!....Pages 182-195
Viewing implementations as an institution....Pages 196-218
An interval model for second order lambda calculus....Pages 219-237
Logical aspects of denotational semantics....Pages 238-253
Connections between partial maps categories and tripos theory....Pages 254-269
A fixpoint construction of the p-adic domain....Pages 270-289
A category of Galois connections....Pages 290-300




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