G. Gierz – Continuous Lattices and Domains

1.340 ₽

Автор: G. Gierz
Название книги: Continuous Lattices and Domains
Формат: PDF
Жанр: Математика
Страницы: 629
Качество: Изначально компьютерное, E-book

Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area. An extensive index and bibliography make this an ideal sourcebook for all those working in domain theory.

Описание

G. Gierz. Continuous Lattices and Domains — фундаментальная монография по теории непрерывных решёток и доменов, центральных понятий в современной математике и теоретической информатике.

Книга подробно разбирает структуру непрерывных решёток, доменов Скотта, способы их построения, свойства аппроксимации и связи с теорией порядков. Авторы систематически излагают как классические результаты, так и более поздние достижения в области Domain Theory, включая приложения к семантике языков программирования, топологии и теории категорий.

  • Математикам, специализирующимся на теории порядков, решётках и топологии
  • Исследователям в области теоретической информатики и семантики программирования
  • Студентам и аспирантам математических и компьютерных специальностей, изучающим Domain Theory
  • Специалистам, применяющим математические методы в разработке языков программирования и верификации

Отзывы

Отзывов пока нет.

Только зарегистрированные клиенты, купившие данный товар, могут публиковать отзывы.