Topology Via Logic

Topology Via Logic PDF

Author: Steven Vickers

Publisher: Cambridge University Press

Published: 1989

Total Pages: 224

ISBN-13: 9780521576512

DOWNLOAD EBOOK →

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it 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 methods of locale theory are freely exploited. Third, there is substantial discussion of some computer science applications. Although books on topology aimed at mathematics exist, no book has been written specifically for computer scientists. 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.

Frames and Locales

Frames and Locales PDF

Author: Jorge Picado

Publisher: Springer Science & Business Media

Published: 2011-10-21

Total Pages: 412

ISBN-13: 3034801548

DOWNLOAD EBOOK →

Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited since the twenties offered an expression of the geometric intuition of a "realistic" place (spot, grain) of non-trivial extent. Imitating the behaviour of open sets and their relations led to a new approach to topology flourishing since the end of the fifties.It has proved to be beneficial in many respects. Neglecting points, only little information was lost, while deeper insights have been gained; moreover, many results previously dependent on choice principles became constructive. The result is often a smoother, rather than a more entangled, theory. No monograph of this nature has appeared since Johnstone's celebrated Stone Spaces in 1983. The present book is intended as a bridge from that time to the present. Most of the material appears here in book form for the first time or is presented from new points of view. Two appendices provide an introduction to some requisite concepts from order and category theories.

Experiments in Topology

Experiments in Topology PDF

Author: Stephen Barr

Publisher: Courier Corporation

Published: 2012-12-04

Total Pages: 244

ISBN-13: 048615274X

DOWNLOAD EBOOK →

Classic, lively explanation of one of the byways of mathematics. Klein bottles, Moebius strips, projective planes, map coloring, problem of the Koenigsberg bridges, much more, described with clarity and wit.