کتاب Domain Theory in Computer Science اثر Jovan Pehcevski انتشارات مؤلفین طلایی

معرفی کتاب Domain Theory in Computer Science اثر Jovan Pehcevski

کتاب "Domain Theory in Computer Science" اثر Jovan Pehcevski به بررسی مفاهیم نظریه دامنه در علوم کامپیوتر می‌پردازد و دانشجویان و پژوهشگران را با موضوعات متنوعی آشنا می‌کند.

فصل اول: ترتیبات و گروه‌های جزئی در کتاب Domain Theory in Computer Science

این فصل به بررسی نظم‌ها و گروه‌های جزئی جدید می‌پردازد. همچنین به توصیف ویژگی‌ها و خصوصیات یک نظم جزئی جدید، نظم‌های جزئی طبیعی در نیمه‌گروه‌های تبدیل با مجموعه‌های ثابت، گروه‌های نرم چرخه‌ای و کاربردهای آن‌ها در گروه‌ها می‌پردازد. همچنین فاکتورسازی گروه‌های شامل گروه‌های متقارن و متناوب نیز بررسی می‌شود.

فصل دوم: حوزه‌های قدرت و معیارها در کتاب Domain Theory in Computer Science

در این بخش، به توصیف دامنه‌های FS+، توپولوژی فضاهای متریک GB و مشکلات ناهماهنگی در ترکیبی از منطق‌ها و قوانین توصیف پرداخته می‌شود. معیارهای زیرگراف‌های نظری چند مجموعه‌ای نیز به دقت مورد تجزیه و تحلیل قرار می‌گیرند.

فصل سوم: انواع داده‌های بازگشتی در کتاب Domain Theory in Computer Science

این فصل به بررسی انواع داده‌های بازگشتی، به ویژه درخت‌های دودویی می‌پردازد و چگونگی کاربرد آن‌ها در علوم کامپیوتر را بررسی می‌کند.

فصل چهارم: جبری و جبرهای بولی در کتاب Domain Theory in Computer Science

این بخش به نظریه تغییر شکل ثابت‌های ساختار برای جبرهای انجمنی، جبر بولی و جبرهای مرکزی گالوا می‌پردازد. همچنین به اضافه کردن مجموعه‌ها در فضای بولی و نیز جبر و هندسه مجموعه‌ها در فضای بولی پرداخته می‌شود. در نهایت یک مسیر چندگانه توضیح داده می‌شود.