উদাহরণস্বরূপ এই বইটি দেখুন: অ্যাপ্লিকেশন সহ ল্যাটিস থিওরি, বিজয় কে গার্গ , যা নীচে শুরু হয়:
আংশিক শৃঙ্খলা এবং জাল থিওরী এখন কম্পিউটার বিজ্ঞান এবং প্রকৌশল বিভাগের অনেক শাখায় গুরুত্বপূর্ণ ভূমিকা পালন করে। উদাহরণস্বরূপ, তাদের কাছে বিতরণকৃত কম্পিউটারিং (ভেক্টর ক্লকস, গ্লোবাল প্রিকেট ডিটেকশন), কনক্যুরঞ্জি তত্ত্ব (পমসেটস, সংঘটন জাল), প্রোগ্রামিং ল্যাঙ্গুয়েজ সিনটিক্স (ফিক্সড-পয়েন্ট সিমানটিকস), এবং ডেটা মাইনিং (ধারণা বিশ্লেষণ) এ প্রয়োগ রয়েছে have তারা গণিতের অন্যান্য শাখায় যেমন সংযুক্তি, সংখ্যা তত্ত্ব এবং গ্রুপ তত্ত্বেও কার্যকর useful এই বইটিতে, আমি কম্পিউটার বিজ্ঞানে তাদের প্রয়োগগুলির সাথে আংশিক ক্রম তত্ত্বের গুরুত্বপূর্ণ ফলাফলগুলি প্রবর্তন করি। বইটির পক্ষপাতটি জাল তত্ত্ব (অ্যালগোরিদম) এর গণনাগত দিক এবং অ্যাপ্লিকেশনগুলিতে (উদাহরণস্বরূপ বিতরণ সিস্টেমগুলি) is
বইটিতে পুনরাবৃত্তি তত্ত্ব (গণনাযোগ্য সেটগুলির তত্ত্ব) উল্লেখ করা হয়নি বলে মনে হয়, তবে উইকিপিডিয়ায় কম্পিউটারের তত্ত্ব সম্পর্কিত নিবন্ধ থেকে আমরা দেখতে পাই:
যখন পোস্ট কোনও অনন্ত পুনরায় সেট না করে অসীম পরিপূরক সহ একটি রি সেট হিসাবে একটি সহজ সেটের ধারণাটি সংজ্ঞায়িত করেছিল, তখন তিনি অন্তর্ভুক্তির অধীনে পুনরাবৃত্তভাবে গণনাযোগ্য সেটগুলির কাঠামো অধ্যয়ন করতে শুরু করেছিলেন। এই জালিস একটি সু-অধ্যয়িত কাঠামোতে পরিণত হয়েছিল। পুনরাবৃত্তাকার সেটগুলি এই কাঠামোটিতে বুনিয়াদি ফলাফল দ্বারা সংজ্ঞায়িত করা যেতে পারে যে সেটটি যদি পুনরাবৃত্ত হয় তবে কেবল যদি সেট এবং এর পরিপূরক উভয়ই পুনরাবৃত্তভাবে গণনাযোগ্য হয়। অসীম পুনরায় সেটগুলিতে সর্বদা অসীম পুনরাবৃত্ত উপগ্রহ থাকে; তবে অন্যদিকে, সরল সেটগুলির উপস্থিতি রয়েছে তবে এটি কোনও সহযোদ্ধা পুনরাবৃত্তি সুপারসেটের নেই। পোস্ট (1944) ইতিমধ্যে হাইপারসিম্পল এবং হাইপারহাইপারসিম্পল সেট চালু করেছে; পরে সর্বাধিক সেটগুলি তৈরি করা হয়েছিল যা পুনরায় সেট হয় যাতে প্রতিটি রে সুপারসেট হয় প্রদত্ত সর্বাধিক সেটগুলির সীমাবদ্ধ বৈকল্পিক হয় বা সহ-সসীম হয়। পোস্ট ' এই জালির অধ্যয়নের মূল অনুপ্রেরণা এমন একটি কাঠামোগত ধারণা পাওয়া ছিল যে এই সম্পত্তিটিকে সন্তুষ্ট করে এমন প্রতিটি সেটই পুনরাবৃত্ত সেটগুলির টিউরিং ডিগ্রিতে বা থামার সমস্যাটির টিউরিং ডিগ্রিতে নয়। পোস্ট এ জাতীয় কোনও সম্পত্তি এবং তার সমস্যার সমাধানের পরিবর্তে অগ্রাধিকার পদ্ধতি প্রয়োগ করে না; হ্যারিংটন এবং সোয়ার (1991) অবশেষে এমন একটি সম্পত্তি পেয়েছিল।
আরও পড়ার জন্য, প্রোগ্রামার এবং নন কম্পিউটার বিজ্ঞানীদের জন্য ব্লগ পোস্ট ল্যাটিস থিওরি দেখুন ।