این نوشتارمشتمل بر 2فصل است.درفصل اول تعاریف وگزاره های موردنیاز را درمباحث جبر وتوپولوژی وهمچنین ساختار مشبکه رابین کردیم.درفصل دوم ودربخش 1و2گزاره های موردنیاز را درمبحث ایدآلهای اول مینیمال فضای دلخواه را بیان کردیم.دربخش3چارچوب رامعرفی کردیم.در بخش چهارم چارچوب های کاملا مجزا ولیندلف ضعیف را بیان کردیم.دربخش پنجم چارچوب ناهمبند پایه ای وpچارچوب را معرفی کردیم.دربخشهای 6و7 پایه شکیل وc-خارج ...

دراین پایان نامه فضاهای شبه متریک و متریک های جزئی در مشّبکه های مقداری مطالعه می شود. کامل سازی فضاهای متریک جزئی که شامل دو کامل سازی و کامل سازی کروی است نیز مطالعه می شود. قضیه هایی در این بحث مورد بررسی قرار داده می شود. مثال هایی از v-متریک های جزئی که مجموعه مرتب جزئی کامل جهت دار پیوسته هستند آورده شده است .

در این پایان نامه، مفهوم جبرهای- استلزامی و ایدآل های استلزامی معرفی و دسته بندی می شوند و با استفاده از خصوصیات ایدآل ها و این دسته بندی، ارتباط بین ایدآل های استلزامی و دیگر ایدآل ها مورد بررسی قرار می گیرد و در نتیجه جبرهای- استلزامی با استفاده از ایدآل های استلزامی کاملاً توصیف می شوند. به علاوه، در اثر بعضی خواص شاخه های یک جبر استلزامی که شبیه به جبرهای استلزامی هستند، ثابت می کنیم که هر ب...

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

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

امروزه ترسیم گراف و نیز ترسیم لاتیس به عنوان زیرشاخه ای از ترسیم گراف با استفاده از برنامه های کامپیوتری بسیار مورد توجه قرار گرفته است. برای رسیدن به یک ترسیم قابل قبول از گراف و لاتیس‏، الگوریتم های مختلفی ارائه شده است. برخی از این الگوریتم ها برای ترسیم گراف ها در حالت عمومی (به طور معمول بدون جهت) به کار گرفته می شوند اما برخی برای ترسیم گراف های با ویژگی های معین مورد استفاده قرار می گیرن...

دراین پایان نامه پس از آشنایی با مشبکه ها، توپولوژی‏، مباحث جبری منطق دو ارزشی ‎‏، به مطالعه و بررسی مفاهیم ‎$ bl $‎-جبرها و حاصل ضرب های بولی ضعیف ‎روی‎ آن ها می پردازیم. همچنین حاصل ضرب های بولی ‎$ bl $‎-زنجیرها، حاصل ضرب های بولی ضعیف ‎$ bl $‎-جبرهای موضعی و کامل و تجزیه ناپذیری آن ها را بررسی می کنیم. در پایان این مفاهیم را به موضوعات دیگر توسیع داده و قضیه و مثال ها‏یی در این خصوص ارائه خو...