|
|
libcats.org
Topology via logicSteven VickersThis 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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Странный уик-энд инспектора Роджера УэстаАвтор: Кризи ДжонКатегория: Детектив
Размер книги: 196 Kb
Занимательная кулинарияАвтор: Похлёбкин Вильям ВасильевичКатегория: Кулинария
Размер книги: 360 Kb
Б.С.Ганна, Н.М.Павленко. Способы получения иммобилизированных ферментов и их применение в пищевой промышленности (1974, djvu)Автор:
Размер книги: 694 Kb
Подготовка саперов, подразделений специального назначения по разминированиюАвтор:Категория: Научно-популярная литература (разное)
Размер книги: 1.49 Mb
Gedächtnistraining: Theoretische und praktische Grundlagen (German Edition)Автор: Helga Schloffer, Автор: Ellen Prang, Автор: Annemarie Frick
Размер книги: 47.16 Mb
Бухгалтерский учет в банках: Учебное пособиеАвтор: Димитренко Н.В.Категория: Бухгалтерский учет и аудит
Размер книги: 1.36 Mb
Jewish Themes in Spinoza's PhilosophyАвтор: Heidi M. Ravven, Автор: Lenn E. Goodman
Размер книги: 2.61 Mb
Основания проектирования автоматического оружияАвтор: Благонравов А.А.Категория: КНИГИ ВОЕННАЯ ИСТОРИЯ
Размер книги: 5.70 Mb
|
|
|