Topology Via Logic

By: Steven Vickers, C. J. Van Rijsbergen (Editor), Samson Abramsky (Editor)

Write A Review

Paperback | 21 October 1996

At a Glance

Paperback
220 Pages

Dimensions(cm)
24.61 x 18.9 x 1.17

Paperback

RRP $99.95

$89.75

10%OFF

or 4 interest-free payments of $22.44 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Mathematical Theory of Computation Mathematics Topology Mathematical Foundation Mathematical Logic Computer Architecture & Logic Design Computer Programming & Software Development Programming & Scripting Languages

Introduction
Affirmative and refutative assertions
Frames
Frames as algebras
Topology: the definitions
New topologies for old
Point logic
Compactness
Spectral algebraic locales
Domain theory
Power domains
Spectra of rings
Bibliography
Table of Contents provided by Publisher. All Rights Reserved.

Topology Via Logic

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

ARM Assembly Language

Fundamentals and Techniques

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Computer Architecture

A Modern Approach

Basic Computer Architecture

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Simply AI

Facts Made Fast

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Augmented Software Design

A Team Exercise in Empirical Software Design

Site Reliability Engineering

How Google Runs Production Systems

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Observability Engineering

Achieving Production Excellence

Fundamentals of Software Architecture

A Modern Engineering Approach

Facilitating Software Architecture

Empowering Teams to Make Architectural Decisions

Docker: Up & Running

Shipping Reliable Containers in Production

Cross-Platform Powerhouse

Building Web, Mobile, and Desktop Apps with .NET MAUI Hybrid Blazor

Cross-Platform Powerhouse

Building Web, Mobile, and Desktop Apps with .NET MAUI Hybrid Blazor

Program Architecture

Fight the Good Fight

Introduction to Semiconductor Devices for Engineering Students

Introduction to Semiconductor Devices for Engineering Students

Governing AI Risk—The RIVER Charter

An Enterprise Resilience Standard

Logic Synthesis for Multi-Core Counter-Based Control Units

Structural Decomposition in Logic Design

This product is categorised by