Articoli correlati a Topology via Logic
Sinossi
This is an advanced textbook on topology for computer scientists.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
This is an advanced textbook on topology for computer scientists. It is based on a course given by the author to postgraduate students of computer science at Imperial College.
Contenuti
1. Introduction; 2. Affirmative and refutative assertions; 3. Frames; 4. Frames as algebras; 5. Topology: the definitions; 6. New topologies for old; 7. Point logic; 8. Compactness; 9. Spectral algebraic locales; 10. Domain theory; 11. Power domains; 12. Spectra of rings; Bibliography.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Topology via Logic
Foto dell'editore
Topology via Logic
Editore:
Cambridge University Press, 1996
ISBN 10: 0521576512
ISBN 13: 9780521576512
Antico o usato
Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 68225362-6
Compra usato
EUR 58,69
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) (Volume 0)
Editore:
Cambridge University Press, 2008
ISBN 10: 0521576512
ISBN 13: 9780521576512
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR006365008
Compra usato
EUR 52,39
Spedizione EUR 6,70
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Topology Via Logic
Editore:
Cambridge University Press 1996-08, 1996
ISBN 10: 0521576512
ISBN 13: 9780521576512
Nuovo
PF
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice articolo 6666-IUK-9780521576512
Compra nuovo
EUR 69,19
Spedizione EUR 5,97
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 20 disponibili
Immagini fornite dal venditore
Topology Via Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 1412148-n
Compra nuovo
EUR 74,95
Spedizione EUR 2,38
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Topology via Logic
Editore:
Cambridge University Press, GB, 1996
ISBN 10: 0521576512
ISBN 13: 9780521576512
Nuovo
Paperback
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 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. Codice articolo LU-9780521576512
Compra nuovo
EUR 80,18
Spedizione gratuita
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Topology Via Logic
Editore:
Cambridge University Press, 2008
ISBN 10: 0521576512
ISBN 13: 9780521576512
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 1412148
Compra usato
EUR 78,27
Spedizione EUR 2,38
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) (Volume 0)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521576512
Compra nuovo
EUR 81,70
Spedizione EUR 2,70
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Topology via Logic: 5 (Cambridge Tracts in Theoretical Computer Science, Series Number 5)
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is an advanced textbook on topology for computer scientists. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 220 pages, 43 b/w illus. 64 exercises. BIC Classification: PBCD; PBP; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 12. Weight in Grams: 570. . 2008. Revised ed. paperback. . . . . Codice articolo V9780521576512
Compra nuovo
EUR 75,35
Spedizione EUR 9,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Topology Via Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 1412148-n
Compra nuovo
EUR 72,25
Spedizione EUR 17,95
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) (Volume 0)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9780521576512_new
Compra nuovo
EUR 80,09
Spedizione EUR 13,41
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili