-
Steven Vickers
Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read
دانلود کتاب Topology via logic
by Steven Vickers|
|
عنوان فارسی: توپولوژی از طریق منطق |
دانلود کتاب
جزییات کتاب
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.
کتاب های مرتبط
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topo...
Piero Pagliani, Mihir Chakraborty, 2008 
Category Theory, Applications to Algebra, Logic, and Topology: Proceed...
Kamps K.H., Pumplün D., Tholen W., 1982 
Category Theory: Applications to Algebra, Logic and Topology Proceedin...
H. L. Bentley (auth.), Klaus Heiner Kamps, Dieter Pumplün, Walter Tholen (eds.), 1982 
این کتاب رو مطالعه کردید؟ نظر شما چیست؟
برای ارسال نظر، لطفا وارد شوید.
نظر دهید
Adding comments has been disabled.
نظرات (0)
هنوز نظری داده نشده است. شما اولین باشید!
