لیلا شهباز

نظریه دامنه یا قلمرو،که مجموعه
های مرتب جهتی-کامل را مورد مطالعه قرار میدهد، برای اولین بار در سال 1970 توسط اسکات به عنوان پایه و اساس معناشناسی برنامه ای معرفی شد و یک مدل مجرد محاسباتی را به دست میدهد، و به عنوان یک رشته مرزی، بین ریاضیات و علوم کامپیوتر مورد توجه قرار گرفته است. در این پایان
نامه، کنش
های یک نیمگروه (تکواره یا گروه) روی مجموعه
های مرتب جزئی جهتی- کامل مورد توجه قرار گرفته و مفاهیم جبری مانند انژکتیوی و درون
بری نسبت به چند کلاس از تکریختی
ها در این رسته مورد مطالعه قرار مr
گیرند. به ویژه ضرب
ها و هم
ضرب
ها را در این رسته
ها مشخص می
کنیم. همچنین بروریختی ها و تکریختی ها را در این رسته
ها بررسی میکنیم.