उदाहरण के लिए इस पुस्तक को देखें: एप्लिकेशन के साथ जाली सिद्धांत, विजय के। गर्ग , जो निम्नानुसार शुरू होता है:
आंशिक क्रम और जाली सिद्धांत अब कंप्यूटर विज्ञान और इंजीनियरिंग के कई विषयों में महत्वपूर्ण भूमिका निभाते हैं। उदाहरण के लिए, उनके पास वितरित कंप्यूटिंग (वेक्टर घड़ियां, वैश्विक विधेय का पता लगाने), संगोष्ठी सिद्धांत (पोमेट्स, घटना जाल), प्रोग्रामिंग भाषा शब्दार्थ (निश्चित बिंदु शब्दार्थ), और डेटा माइनिंग (अवधारणा विश्लेषण) में अनुप्रयोग हैं। वे गणित के अन्य विषयों जैसे कि कॉम्बिनेटरिक्स, संख्या सिद्धांत और समूह सिद्धांत में भी उपयोगी हैं। इस पुस्तक में, मैं कंप्यूटर विज्ञान में अपने अनुप्रयोगों के साथ आंशिक क्रम सिद्धांत में महत्वपूर्ण परिणाम पेश करता हूं। पुस्तक का पूर्वाग्रह जाली सिद्धांत (एल्गोरिथम) के कम्प्यूटेशनल पहलुओं और अनुप्रयोगों पर आधारित (एस्प वितरित सिस्टम) पर है।
पुस्तक में पुनरावर्तन सिद्धांत (कम्प्यूटेबल सेट्स का सिद्धांत) का उल्लेख नहीं किया गया है, लेकिन कम्प्यूटेबिलिटी सिद्धांत पर विकिपीडिया के लेख से , हम देखते हैं:
जब पोस्ट ने एक सरल सेट की धारणा को फिर से परिभाषित के साथ एक अनंत पूरक के साथ सेट किया, जिसमें कोई भी अनंत सेट नहीं था, तो उन्होंने समावेशन के तहत पुनरावर्ती गणना योग्य सेट की संरचना का अध्ययन करना शुरू कर दिया। यह जाली एक अच्छी तरह से अध्ययन की गई संरचना बन गई। पुनरावर्ती सेटों को इस संरचना में मूल परिणाम द्वारा परिभाषित किया जा सकता है कि एक सेट पुनरावर्ती है यदि और केवल यदि सेट और इसके पूरक दोनों पुनरावर्ती रूप से गणना योग्य हैं। अनंत री सेट में हमेशा अनंत पुनरावर्ती उपसमूह होते हैं; लेकिन दूसरी ओर, सरल सेट मौजूद हैं, लेकिन एक पुनरावर्ती पुनरावर्ती सुपरसेट नहीं है। पोस्ट (1944) पहले से ही हाइपरसिमल और हाइपरहाइपरसिमल सेट पेश करता था; बाद में मैक्सिमम सेट का निर्माण किया गया जो कि ऐसे सेट हैं जो हर री सुपरसेट या तो दिए गए अधिकतम सेट का एक परिमित संस्करण है या सह-परिमित है। पद' इस जाली के अध्ययन में मूल प्रेरणा इस तरह की संरचनात्मक धारणा को खोजने की थी कि हर सेट जो इस संपत्ति को संतुष्ट करता है, न तो पुनरावर्ती सेटों की ट्यूरिंग डिग्री में है और न ही हॉल्टिंग समस्या की ट्यूरिंग डिग्री में। पोस्ट को ऐसी कोई संपत्ति नहीं मिली और उसकी समस्या का समाधान इसके बजाय प्राथमिकता के तरीकों पर लागू हुआ; हैरिंगटन और सारे (1991) ने अंततः ऐसी संपत्ति पाई।
आगे पढ़ते हुए, प्रोग्रामर और नॉन कंप्यूटर वैज्ञानिकों के लिए ब्लॉग पोस्ट लाटिस थ्योरी देखें ।