Topology via Logic: 5 (Cambridge Tracts in Theoretical Computer Science, Series Number 5) - Image 1

£46.69

Cambridge University Press Topology via Logic: 5 (Cambridge Tracts in Theoretical Computer Science, Series Number 5)

Name: Topology via Logic: 5 (Cambridge Tracts in Theoretical Computer Science, Series Number 5)
Brand: Cambridge University Press
Price: 41.31 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 52 days • 52 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 52 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £47 (22 days, 42.3%)

Price range: £41 - £47

Price levels: 5 different prices over 52 days

Description

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.

Product Specifications

Brand: Cambridge University Press
Format: Paperback
ASIN: 0521576512
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 21 August 2008
Listed Since: 08 January 2007

Barcode

No barcode data available

Cambridge University Press Topology via Logic: 5 (Cambridge Tracts in Theoretical Computer Science, Series Number 5)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

The Foundations of Topological Analysis: A Striaghtforward Introduction: Book 2 Topological Ideas: 002

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Computational Topology for Data Analysis

Topology for Computing: 16 (Cambridge Monographs on Applied and Computational Mathematics, Series Number 16)

Topoi: The Categorial Analysis of Logic (Volume 98) (Studies in Logic and the Foundations of Mathematics, Volume 98)

Logic for Mathematicians

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Geometric and Topological Inference: 57 (Cambridge Texts in Applied Mathematics, Series Number 57)

Logic in Computer Science: Modelling and Reasoning about Systems

Geometry and Topology

Topological Methods in Data Analysis and Visualization V: Theory, Algorithms, and Applications (Mathematics and Visualization)

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

A First Course in Algebraic Topology

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

An Invitation to Computational Homotopy

Topological Spaces: From Distance to Neighborhood (Undergraduate Texts in Mathematics)

The Logic of Infinity

Distributed Computing Through Combinatorial Topology

Topological Data Analysis for Genomics and Evolution: Topology in Biology

The Foundations of Analysis: A Straightforward Introduction: Book 1 Logic, Sets and Numbers

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Logical Dynamics of Information and Interaction

Mathematical Logic with Special Reference to the Natural Numbers

Separation in Point-Free Topology