Introduction to lattice theory with computer science applications
Resource Information
The work Introduction to lattice theory with computer science applications represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Introduction to lattice theory with computer science applications
Resource Information
The work Introduction to lattice theory with computer science applications represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books.
 Label
 Introduction to lattice theory with computer science applications
 Statement of responsibility
 Vijay K. Garg
 Subject

 COMPUTERS  Computer Literacy
 COMPUTERS  Computer Science
 COMPUTERS  Data Processing
 COMPUTERS  Hardware  General
 COMPUTERS  Information Technology
 COMPUTERS  Machine Theory
 Computer science  Mathematics
 Computer science  Mathematics
 Engineering mathematics
 Engineering mathematics
 Lattice theory
 Lattice theory
 COMPUTERS  Reference
 Language
 eng
 Summary
 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. The applications covered include tracking dependency in distributed systems, combinatorics, detecting global predicates in distributed systems, set families, and integer partitions. 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. The author's intent is for readers to learn not only the proofs, but the heuristics that guide said proofs. 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
 Cataloging source
 DLC
 Dewey number
 004.01/51
 Index
 index present
 LC call number
 QA76.9.L38
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
Context
Context of Introduction to lattice theory with computer science applicationsWork of
No resources found
No enriched resources found
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/resource/vAht7v5ezfc/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/vAht7v5ezfc/">Introduction to lattice theory with computer science applications</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Work Introduction to lattice theory with computer science applications
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/resource/vAht7v5ezfc/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/vAht7v5ezfc/">Introduction to lattice theory with computer science applications</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>