04183cam a2200757 i 4500 ocn904047561 OCoLC 20171025094236.0 m o d cr ||||||||||| 150224s2015 nju ob 001 0 eng 2015007773 9781119069713 electronic bk. 1119069718 electronic bk. 9781119069737 1119069734 9781118914373 (cloth) 9781119069706 111906970X 1118914376 DEBSZ 449476510 DEBSZ 45217399X DEBBG BV043397563 DEBSZ 480366772 (OCoLC)904047561 (OCoLC)928712410 (OCoLC)942670585 CL0500000671 Safari Books Online DLC eng rda DLC OCLCF DG1 EBLCP YDXCP COO UMI DEBSZ OCLCQ N$T IDEBK CDX OCLCQ KSU VT2 RECBK pcc MAIN QA76.9.L38 COM 013000 bisacsh COM 014000 bisacsh COM 018000 bisacsh COM 067000 bisacsh COM 032000 bisacsh COM 037000 bisacsh COM 052000 bisacsh 004.01/51 23 Garg, Vijay K. (Vijay Kumar), 1963- Introduction to lattice theory with computer science applications / Vijay K. Garg. [electronic resource] Hoboken, New Jersey : Wiley, [2015] 1 online resource. text rdacontent computer rdamedia online resource rdacarrier Includes bibliographical references and index. 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. Description based on print version record and CIP data provided by publisher. Computer science Mathematics. Engineering mathematics. Lattice theory. Computer science Mathematics. fast (OCoLC)fst00872460 Engineering mathematics. fast (OCoLC)fst00910601 Lattice theory. fast (OCoLC)fst00993426 COMPUTERS / Computer Literacy bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Reference bisacsh Electronic books. Print version: Garg, Vijay K. (Vijay Kumar), 1963- Introduction to lattice theory with computer science applications Hoboken, New Jersey : John Wiley & Sons, Inc., [2015] 9781118914373 (DLC) 2015003602 http://onlinelibrary.wiley.com/book/10.1002/9781119069706 Wiley Online Library ddc BK 207910 207910