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

در این پایان نامه بازی ریزش چیپ ‎ ( cfg) ‎ را به عنوان یک مدل کلی از مدل های پویای گسسته مطالعه می کنیم‎.‎ سپس انواع مختلفی از این بازی را معرفی کرده و گراف هایی را که فضای پیکربندی بازی روی آن ها تشکیل مشبکه می دهند بررسی می کنیم‎.‎ در ادامه نشان می دهیم که فضای پیکربندی هر ‎cfg‎ همگرا‎،‎ یک مشبکه است‎.‎ همچنین مشبکه های القا شده توسط ‎ cfg ‎ را با مشبکه های موضعا توزیعی بالایی‎ (uld) ، توزیعی...

در این پایان نامه دسته ای از ‎ bck-‎جبرها را می سازیم و نشان خواهیم داد این bck-‎جبرها جابجایی‎،‎ با خاصیت حذفی نسبی‎،‎ نیم مشبکه پایینی و با شرط ‎ (s)‎ است و همچنین دو مثال برای این گونه ‎ bck-‎جبرها ارائه می دهیم.مثال اول bckجبرهای فازی است و این bckجبر خواص دیگری همچون کرانداری و مشبکه بودن را داراست و نشان می دهیم که استلزامی نمی تواندباشد و مثال بعدی bck جبر روی حوزه تجزیه یکتاست. در ادامه...

در این پایان نامه، روی مجموعه ای از گزاره ها (که با ‏‎f‎‏ نمایش داده می شود.) و ارزش درستی شان را در یک مشبکه کامل می گیرند اصل استقرار منطقی را با استفاده از خانواده ای از زیر مجموعه های معمولی (فازی) ‏‎f‎‏ معرفی نموده و روابط استلزامی مختلفی را روی ‏‎f‎‏ تعریف می کنیم و ثابت می کنیم که این روابط پیش ترتیب هستند و در حالت کلی تر این روابط را با استفاده از t- نرم ها تعمیم داده و روابط ‏‎*‎‏- پی...

در ابتدای این پایان نامه به مقدماتی از جبر جامع وساختارهای جبری از جمله ‎$ bl $‎ - جبر، ‎$ mv $‎ - جبر، شبه ‎$ bl $‎ - جبر و شبه ‎$ mv $‎ - جبر می پردازیم. در ادامه به بیان مشبکه ی مانده و خاصیت های آن پرداخته و سپس فیلتر های مشبکه ی مانده و مشبکه ی فیلتر های مشبکه ی مانده را بررسی می کنیم. سپس مشبکه ی مانده ی موضعی و مشبکه ی مانده ی کامل را بیان کرده و رادیکال را روی م...

اهمیت این تحقیق در این است که با معرفی مفاهیم ذکرشده ، با ساختار بردارهای ویژه یک ماتریس مانند a ، وابسته به یک اسکالر مانند ? در l آشنا می شویم همچنین برای ماتریس a می توان بردار ویژه اولیه و بردار ویژه اولیه ماکزیمال بیابیم

در این رساله‏، مسائل ‎‎قطعی سازی‏، کاهش و کامل بودن‏ را در یک اتوماتای درختی فازی مورد بحث قرار داده و نشان می دهیم که کمینه سازی‏ نیازمند بررسی همزمان از دیدگاه زبانی و دیدگاه رفتاری در یک اتوماتای درختی فازی می باشد. برای افزایش قابلیت انعطاف در این زمینه‏ و همچنین برآورده سازی برخی نیازهای کاربردی‏، مسأله جدیدی به نام کمینه سازی تقریبی تعریف گردیده که دیدگاه های زبانی و رفتاری را هم در نظر م...

در‎‎‎‎ سرتاسر این ‏پایان نامه‏، تمام حلقه ها جابجایی و یکدار و تمام مدول ها یکانی اند. ما در این پایان نامه ویژگی های نگاشت هایی مشخص‏، به خصوص همریختی مشبکه ای‏، بین مشبکه ایده ال های حلقه جابجایی ‎r و مشبکه زیر مدول های ‎r- مدول m را بررسی می کنیم. نشان می دهیم‏ ‏که نگاشت ? ‎‎‏ از مشبکه‏ ایده ال های ‎r به مشبکه زیر مدول های ‎m ‏، تعریف شده به صورت ‎?(b)=bm ‏، یک یکریختی (مشبکه ای) است اگر و ت...

نظریه ی مایهیل- نرود شاخه ای از نظریه ی جبری زبان ها و اتوماتاست که در آن زبان های معمولی و اتوماتای قطعی توسط همنهشتی های راست و همنهشتی های روی یک تک وار آزاد بررسی می شوند. در این پایان نامه نظریه ی مایهیل-نرود نمونه را برای زبان های فازی با درجه ی عضویت در یک مجموعه ی دلخواه با دو مولفه ی مجزای 0 و 1 بررسی می کنیم. همچنین ارتباط بین توسیع پذیری زبان های فازی نسبت به همنهشتی های راست و همنهش...

چکیده ندارد.