Поиск книг, учебников, пособий в онлайн-магазинах
Я ищу
Название книги, автор, издатель, серия или ISBN
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

Автор: Steven Vickers, C. J. van Rijsbergen, ISBN: 0521576512

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.
Под заказ:
OZON.ru OZON.ru - 3404 руб. Перейти
 
Рейтинг книги: starstarstarstar 4 из 5, 7 голос(-ов).

Популярные книги по минимальной цене:

Кодекс 632
46 руб.
100 потрясающих мест, чтобы отправиться сегодня
300 руб.
Гражданский процессуальный кодекс Российской Федерации. Текст с изменениями и дополнениями на 20 января 2015 года
74 руб.
Melmoth the Wanderer = Мельмот Скиталец: на англ.яз
960 руб.

Дополнительно: