دانلود کتاب Topology via logic
کتاب توپولوژی از طریق منطق نسخه زبان اصلی
دانلود کتاب توپولوژی از طریق منطق بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Topology via logic
نام کتاب : Topology via logic
عنوان ترجمه شده به فارسی : توپولوژی از طریق منطق
سری : Cambridge tracts in theoretical computer science 5
نویسندگان : Steven Vickers
ناشر : Cambridge University Press
سال نشر : 1989
تعداد صفحات : 211
ISBN (شابک) : 0521360625 , 9780521360623
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 1 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب درسی پیشرفته در زمینه توپولوژی دارای سه ویژگی غیر معمول است. اول، مقدمه از نقطه نظر محلی است که با منطق مشاهدات محدود انجام می شود: این رویکرد مستقیم تری نسبت به روش سنتی مبتنی بر ویژگی های انتزاعی مجموعه های باز در خط واقعی ارائه می دهد. دوم، نویسنده آزادانه از روش‌های نظریه محلی بهره‌برداری می‌کند. سوم، بحث اساسی در مورد برخی از کاربردهای علوم کامپیوتر وجود دارد. همانطور که دانشمندان کامپیوتر از مبانی ریاضی رشته خود بیشتر آگاه می شوند، مناسب است که چنین موضوعاتی به شکلی مرتبط و کاربردی ارائه شوند. این کتاب تا حدودی به سمت پر کردن شکاف برای دانشمندان کامپیوتر پیش می رود.
توضیحاتی در مورد کتاب به زبان اصلی :
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.