• Introduction To Lattice Theory With Computer Science Applications
  • Introduction To Lattice Theory With Computer Science Applications

Introduction To Lattice Theory With Computer Science Applications

RUR 7082.15
В наличии

4.5 звезд, основано на 54 отзывах
Описание

A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the theory and applications of lattice theory

Introduction to Lattice Theory with Computer Science Applications Examines posets, Dilworth s theorem, merging algorithms, lattices, lattice completion, morphisms, modular and distributive lattices, slicing, interval orders, tractable posets, lattice enumeration algorithms, and dimension theory Provides end of chapter exercises to help readers retain newfound knowledge on each subject Includes supplementary material at www.ece.utexas.edu/ garg Introduction to Lattice Theory with Computer Science Applications is written for students of computer science, as well as practicing mathematicians.

The applications covered include tracking dependency in distributed systems, combinatorics, detecting global predicates in distributed systems, set families, and integer partitions

The author s intent is for readers to learn not only the proofs, but the heuristics that guide said proofs

The book presents algorithmic proofs of theorems whenever possible

These proofs are written in the calculational style advocated by Dijkstra, with arguments explicitly spelled out step by step

Похожие товары

Офисный системный блок
41590.00 р.
Модель процессора Core i5-6600, Видеокарта NVIDIA GT 710 2GB, Размер оперативной памяти, ГБ 16 Гб, Объем твердотельного накопителя SSD , ГБ 60 Гб, Объем жесткого
Компьютер настольный офисный
50770.00 р.
Модель процессора Core i7-8700K, Видеокарта Интегрированная, Размер оперативной памяти, ГБ 16 Гб, Объем твердотельного накопителя SSD , ГБ 60 Гб, Объем жесткого диска, ГБ
Компьютер офисный настольный
48540.00 р.
Модель процессора Core i5-8600K, Видеокарта Интегрированная, Размер оперативной памяти, ГБ 16 Гб, Объем твердотельного накопителя SSD , ГБ 60 Гб, Объем жесткого диска, ГБ
Настольный компьютер для офиса
32100.00 р.
Модель процессора Core i3-8350K, Видеокарта Интегрированная, Размер оперативной памяти, ГБ 4 Гб, Объем твердотельного накопителя SSD , ГБ 120 Гб, Объем жесткого диска, ГБ
Системный блок для офиса
35620.00 р.
Модель процессора Core i5-8600, Видеокарта NVIDIA GT 730 2GB, Размер оперативной памяти, ГБ 16 Гб, Объем твердотельного накопителя SSD , ГБ 120 Гб, Объем жесткого
Компьютер настольный офисный
38670.00 р.
Модель процессора Core i5-8400, Видеокарта NVIDIA GT 730 2GB, Размер оперативной памяти, ГБ 4 Гб, Объем твердотельного накопителя SSD , ГБ 60 Гб, Объем жесткого
Системный блок для офиса
56670.00 р.
Модель процессора Core i7-8700K, Видеокарта NVIDIA GT 730 2GB, Размер оперативной памяти, ГБ 8 Гб, Объем твердотельного накопителя SSD , ГБ 60 Гб, Объем жесткого
ПК для офиса
42250.00 р.
Модель процессора Core i5-7600K, Видеокарта NVIDIA GT 710 2GB, Размер оперативной памяти, ГБ 8 Гб, Объем твердотельного накопителя SSD , ГБ 60 Гб, Объем жесткого
JetBrains YouTrack
33075.20 р.
YouTrack онлайн баг-трекер и инструмент для управления задачами, проектами и Agile-процессами.
SCADA Extension Historical Data для
72699.29 р.
SCADA Extension Historical Data для PostgreSQL обеспечивает поддержку исторических трендов и алармов через СУБД PostgreSQL. Данная лицензия позволяет использовать драйвер с неограниченным количеством тэгов
InterBase и Delphi. Клиент-серверные базы
490.00 р.
Книга посвящена разработке клиент-серверных приложений баз данных БД на платформе системы управления базами данных InterBase Firebird и языка программирования Delphi. В ней представлено точное и полное
Perl and Apache. Your visual
2247.19 р.
Visually explore the range of built-in and third-party libraries of Perl and Apache Perl and Apache have been providing Common Gateway Interface CGI access to Web sites for
Access 2007 VBA Programming For
2311.41 р.
If you ve been using Access for a while, you re probably aware of its power and potential and itching to take advantage of both. Access 2007 VBA Programming For
Swipe This!. The Guide to
2568.31 р.
Learn to design games for tablets from a renowned game designer! Eager to start designing games for tablets but not sure where to start Look no further! Gaming guru
5603720 Phoenix contact VLC-RTM-P
397182.90 р.
Лицензия - VLC-RTM-P - 5603720 Phoenix contact Среда выполнения VLC с ключом для параллельного интерфейса
3ds Max 2011 Bible
3210.54 р.
Updated version of the bestselling 3ds Max book on the market Used by more than 150, 000 people, and the winner of more than 65 industry awards, 3ds Max is
C и Pascal
111.00 р.
Книга рассказывает о новейших технологиях программирования на языках C и Pascal, реализованных в среде Kylix 3, о поддержке XSL и интерактивной отладке Web-приложений в Kylix IDE. Подробно рассматриваются
Самоучитель Delphi
183.00 р.
Описываются интерфейс системы Delphi на примере версии 7.0, состав и характеристика элементов проекта приложения, приемы программирования на языке Delphi. Рассматриваются визуальные компоненты, используемые для создания интерфейса приложений компоненты и
Программирование компьютерных игр под Windows
223.00 р.
Это серия книг настольной библиотеки начинающего программиста игр. На данный момент серия состоит из двух книг и поможет программистам изучить технику разработки игр для системы Windows и Xbox 360. В