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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Topology via logic

دانلود کتاب توپولوژی از طریق منطق

مشخصات کتاب

Topology via logic

دسته بندی: هندسه و توپولوژی
ویرایش:  
نویسندگان: Steven Vickers  
سری: Cambridge tracts in theoretical computer science 5 
ISBN (شابک) : 0521360625, 9780521360623 
ناشر: Cambridge University Press 
سال نشر: 1989 
تعداد صفحات: 211 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

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

کلمات کلیدی مربوط به کتاب توپولوژی از طریق منطق: ریاضیات، توپولوژی

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

در صورت تبدیل فایل کتاب Topology via logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب توپولوژی از طریق منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب توپولوژی از طریق منطق

این کتاب درسی پیشرفته در زمینه توپولوژی دارای سه ویژگی غیر معمول است. اول، مقدمه از نقطه نظر محلی است که با منطق مشاهدات محدود انجام می شود: این رویکرد مستقیم تری نسبت به روش سنتی مبتنی بر ویژگی های انتزاعی مجموعه های باز در خط واقعی ارائه می دهد. دوم، نویسنده آزادانه از روش‌های نظریه محلی بهره‌برداری می‌کند. سوم، بحث اساسی در مورد برخی از کاربردهای علوم کامپیوتر وجود دارد. همانطور که دانشمندان کامپیوتر از مبانی ریاضی رشته خود بیشتر آگاه می شوند، مناسب است که چنین موضوعاتی به شکلی مرتبط و کاربردی ارائه شوند. این کتاب تا حدودی به سمت پر کردن شکاف برای دانشمندان کامپیوتر پیش می رود.

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

This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the author freely exploits the methods of locale theory. Third, there is substantial discussion of some computer science applications. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct relevance and applicability. This book goes some way towards bridging the gap for computer scientists.