چکیده: تئوری موضعی سازی و جبر کسرها، ابتدا درنظریه حلقه ها مطرح شد و سپس توسط مدرسه ی رومانی به جبر های منطق اصلی گسترش پیدا کرد. پایان نامه ی حاضر در چهار فصل به نگارش در آمده است، ابتدا پیش نیاز هایی از جبر جامع را که مورد نیاز است بیان می کنیم. ساختار جبرهای موضعی برحسب ضربگرها برای مشبکه های توزیعپذیر کراندار، جبرهای هیلبرت و هرتز، blوmv- جبرها و جبرهای heytingو لوکاسویچ مویسیل در فصل یک ...

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

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

این پایان نامه بر اساس مراجع ‎[‎4‎]‎ و ‎[‎5‎]‎ تنظیم شده است. در این پایان نامه پس از معرفی مقدماتی مشبکه های برداری و ایده آل ها‏، که مباحث آنها در [‎11‎] و [‎14‎] آغاز شده است‏، به اثبات قضیه ای می پردازیم که بر اساس آن قضیه‏، یک طبقه بندی از یک ایده آل ترتیبی در فضاهای ریس ارائه می شود. در ادامه با ‎استفاده‎ از مرجع ‎[1]‎ به‎ گسترش و توسعه اطلاعات خود در رابطه با ایده آل ها و باند ...

در این پایان نامه براساس مقاله تام هد [20] چگونگی استنتاج قضایای فازی را از نوع معمولی آنها بویژه در جبر بررسی می کنیم. فرض می کنیم x یک جبر است در این صورت زیر مجموعه های فازی x یعنی f(x) تشکیل یک جبر می دهند. در این رساله با استفاده از مفهوم زیرمجموعه -cفازی تعاریفی با الگوی یکسان برای مفاهیم فازی ارائه می دهیم و با یک روش یکسان به استنتاج قضایای جبر فازی از قضایای جبر معمولی می پردازیم ابزار...

تبادل امن کلید در پروتکل های مبتنی بر روش های رمزنگاری متقارن یکی از پارامترهای مهم تامین محرمانگی انتقال اطلاعات در ارتباطات شبکه ای است. این فرآیند به طور عمومی با استفاده از سامانه های رمزنگاری کلید نامتقارن صورت می گیرد که مبتنی بر سختی حل مسائل ریاضی مانند مسأله ی لگاریتم گسسته و مسأله ی تجزیه ی اعداد صحیح هستند. پس از ارائه ی الگوریتم «شور» در سال 1996 امکان حل این مسائل سخت در زمان قابل ...

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

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

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

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