G. Gierz – Continuous Lattices and Domains

Описание

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

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

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