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

در این پایان نامه روش جدیدی برای قطعی سازی اتوماتای متناهی فازی با درجه عضویت در مشبکه های مانده ای کامل ارائه می شود. در مقایسه با روش های پیشین که توسط بلهولاوک [2] ، لی و پدریسز [18]بررسی گردیده، در این روش اتوماتای کوچکتری مورد بررسی قرار می گیرد. در برخی شرایط که در روش های قبلی نتیجه روی اتوماتای نامتناهی حاصل می شد، در این روش نتیجه روی اتوماتای متناهی حاصل می شود. در ادامه نشان می ده...

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

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

در این پایان نامه ارتباط بین دو موضوع تحقیقاتی مجموعه های ناهموار و نظریه ی مشبکه مورد توجه است. نظریه ی مشبکه نقش مهمی در علوم رایانه و مهندسی دارد. همچنین در شاخه هایی از ریاضیات مانند ترکیبیات, علم اعداد و گروه ها دیده می شود. انگیزه ی ما در این پایان نامه, بحث درباره ی ویژگی های جبری مجموعه های ناهموار است که از ایدال ها در مشبکه ها نتیجه می شوند. در ادامه, رده ای ویژه از همریختی مجموعه-مق...

تکواره های مشبکه مانده کراندار(-rlتکواره ها) یک کلاس جامع از مشبکه های مانده (نه لزوماً جابجایی) می باشند. لذا شبه-bl جبرها و شبه ‎-mv جبرها و در نتیجه-bl جبرها و ‎-mv جبرها را می توان به عنوان -rlتکواره های کراندار در نظر گرفت. در پایان نامه پیش رو زبان -rlتکواره ها یی که یک مولد غیر جابجایی از ‎-mv جبرها و-bl جبرها می باشد، با اضافه کردن یک عملگر یکتایی که خواص جبری از یک حالت را توصیف می کند ...

یکی از مسایل بنیادین در هر شاخه از علم حقوق، بررسی منابع و سرچشمه های قواعد آن است. حقوق اساسی نیز سرشار از قواعدی است که برای تشخیص آن باید سراغ منابع گوناگون رفت. ویژگی این رشته از حقوق، وجود اصل سلسله مراتب شدید میان قواعد آن است. قانون اساسی به دلیل وضع آن بوسیله قوه ی موسس که برتر از قوای تاسیسی یا عمومی هستند در بالای هرم این قواعد قرار دارند. در برخی از کشورها در سلسله مراتب میان مقررات ...

در این پایان نامه ابتدا جبر bl را تعریف کرده و خواصی از آن را بیان می کنیم. سپس دستگاه های قیاسی جبرهای bl را مورد بررسی قرار داده و به بیان قضایایی از آن می پردازیم. بررسی ساختار دستگاه های قیاسی تماماً رسند تحویل ناپذیر جبرهای bl نیز از اهداف این پایان نامه است. در انتها به ساختارهای جبرهای bl ارشمیدسی و ابرارشمیدسی پرداخته می شود.

بازنگری قانون اساسی عبارت از اصلاح متن این قانون از راه حذف، الحاق و تغییر است و در اغلب قوانین اساسی حاوی قواعدی جهت تجدیدنظر در خود برای تولید هنجارهای نوین اساسی می باشند. در این قواعد می توان دید که چه شخص یا مقامی اختیار دارد در قانون اساسی بازنگری کند و برای این کار چونه باید اقدام کند. تجدیدنظر در قانون اساسی که مستلزم به کارگیری قوه ی بازنگری است ما را بدین امر وا می دارد که تصدی این قو...