یک نیم گروه نابدیهی منظم s به همراه صفر که هر بازه از اعضای خودتوان آن یک زنجیر متناهی باشد را نیم گروه ?-منظم می نامیم. این پایان نامه مشتمل بر سه فصل است. در فصل اول ابتدا مفاهیم مورد نیاز مشبکه ها و نیم گروه ها و همچنین همنهشتی ها و روابط گرین بیان می-شوند. در فصل دوم به معرفی نیم گروه t-منظم و ساختار این نیم گروه ها بر حسب درخت هایی از نیم گروه های کاملا صفرساده و مقطع و اتصال همنهشتی ها...

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

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

در این رساله، ‏برخی‎ خواص مشتق روی حلقه ها و $(f,g)$-مشتق دوتایی متقارن روی گاما‎حلقه ها مورد بررسی قرار گرفته است.‎ مفهوم مشتق روی ابرحلقه های ضربی و کراسنر به عنوان تعمیمی از مفهوم مشتق روی حلقه ها معرفی و برخی خواص آن مورد مطالعه قرار گرفته است. در این میان‏، ابرحلقه های (ضربی و کراسنر) دیفرانسیل معرفی و برخی خواص آن ها مورد بررسی قرار گرفته است. سپس، به تعمیم مفهوم مشتق پرداخته شده و بدین ت...

در این پایان نامه، ابتدا توپولوژی های متفاوتی روی مشبکه (id(a متشکل از همه ایده آل های دوطرفه بسته جبر باناخ a درنظر گرفته می شود که در بین آنها توپولوژی های " $تو-اینفینیتی$، $تو-آر$ و $تو-ان$ از اهمیت خاصی برخوردارند. سپس مفهوم ترکیبات طیفی برای جبرهای باناخ، جبرهای تابعی باناخ و pi-جبرهای باناخ مورد بررسی قرار می گیرد. نشان داده می شود که برای جبرهای باناخ جابه جایی ترکیبات طیفی با هاسدورف ...

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

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

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

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

فرض کنیم l یک مشبکه زیرفضایی جابجایی در جبر فون نویمان n باشد. نشان میدهیم اگر f یک نگاشت خطی کراندار از اشتراک algl و n به توی b(h) باشد و به ازای هر a,b,c در این اشتراک که در شرط ab=bc صدق می کنند، داشته باشیم af(b)c=0, آنگاه f یک اشتقاق تعمیم یافته است و نیز هر اشتقاق موضعی از c*-جبر a به یک a-دومدول باناخ، یک اشتقاق است. در این پایان نامه برای حکم اخیر دو برهان آمده است که هر دو با اثبات جا...