Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Software Design, Testing & Engineering   Logic

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)


Mega Sale! Save 21% on the Topology via Logic (Cambridge Tracts in Theoretical Computer Science) by Brand: Cambridge University Press at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite


Product Description

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.

Additional Information

Manufacturer:Cambridge University Press
Brand:Brand: Cambridge University Press
Publisher:Cambridge University Press
Studio:Cambridge University Press
EAN:9780521576512
Item Weight:0.89 pounds
Item Size:0.51 x 9.72 x 9.72 inches
Package Weight:1.12 pounds
Package Size:7.44 x 0.5 x 0.5 inches

Topology via Logic (Cambridge Tracts in Theoretical Computer Science) by Brand: Cambridge University Press

Buy Now:
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

Brand: Brand: Cambridge University Press
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$62.00
$49.53
You Save: 20%


Quantity:  

 


View More In Logic.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: Cambridge University Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9780199273133, isbn: 0199273138,
Completely updated and revised throughout, the fourth edition of Principles of Computer Hardware explores the fundamentals of computer structure, architecture, and programming.The book opens with an introduction to the fundamental concepts behind com...

ean: 9781118949245, isbn: 1118949242,
Widely used across industrial and manufacturing automation, Programmable Logic Controllers (PLCs) perform a broad range of electromechanical tasks with multiple input and output arrangements, designed specifically to cope in severe environmental cond...

ean: 9789813230507, isbn: 9813230509,
This text presents the formal concepts underlying Computer Science. It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog. The treatment of computability with Automata an...

ean: 9781118065587, isbn: 1118065581,
The new edition of Thomas' Analysis and Design of Linear Circuits features more skill examples, exercises, and associated problems. Specific topics emphasized are Thevenin Equivalent Circuits, Nodal and Mesh Analysis, Op-Amp Circuits, and Phasor Anal...

mpn: 12609080, ean: 9780521543101, isbn: 0541743104,
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout...

ean: 9781482593334, isbn: 1482593335,
Designing a complex ASIC/SoC is similar to learning a language well and then creating a masterpiece using experience, imagination, and creativity. Digital design starts with RTL such as Verilog or VHDL, but it is only the beginning. A complete design...

mpn: 43171-554866, ean: 9781856175074, isbn: 1856175073,
This entertaining and readable book provides a solid, comprehensive introduction to contemporary electronics. It's not a "how-to-do" electronics book, but rather an in-depth explanation of how today's integrated circuits work, how they are designed a...

ean: 9781285776712, isbn: 1285776712,
Prepare beginning programmers with the most important principles for developing structured program logic with Farrell's highly effective PROGRAMMING LOGIC AND DESIGN, COMPREHENSIVE, 8E. This popular text takes a unique, language-independent approach ...

mpn: line illustrations, ean: 9780195080292, isbn: 0195080297,
Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning co...

mpn: 23581071, ean: 9780120887859, isbn: 0120887851,
VHDL, the IEEE standard hardware description language for describing digital electronic systems, has recently been revised. The Designer's Guide to VHDL has become a standard in the industry for learning the features of VHDL and using it to verify ha...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.