TOPOLOGY VIA LOGIC by Steven Vickers, C. J. Van Rijsbergen, S. Abramsky ( 9780521576512 )

Item Details

Title:

TOPOLOGY VIA LOGIC

By:

Steven Vickers, C. J. Van Rijsbergen, S. Abramsky

Format:

Paperback

List price:	£47.99
We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10:

0521576512

ISBN 13:

9780521576512

Publisher:

CAMBRIDGE UNIVERSITY PRESS

Pub. date:

22 August, 1996

Series:

Cambridge Tracts in Theoretical Computer Science 5

Pages:

220

Description:

This is an advanced textbook on topology for computer scientists.

Synopsis:

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.

Illustrations:

43 b/w illus. 64 exercises

Publication:

Imprint:

Cambridge University Press

Returns:

Returnable

Some other items by this author:

ACTION SEMANTICS (PB)

ADVANCES IN INFORMATION RETRIEVAL (PB)

ALGORITHMIC INFORMATION THEORY (PB)

APPLICATIONS OF PROCESS ALGEBRA (PB)