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

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

چکیده ندارد.

چکیده ندارد.

یکی از مهم ترین و شناخته شده ترین الگوریتم رمزنگاری معاصر، استاندارد رمزگذاری پیشرفته، موسوم به الگوریتم رمزنگاری aes می باشد. که در سال 2000 از سوی موسسه ملی استاندارد و فن آوری ایالات متحده (nist) به عنوان، الگوریتم استاندارد رمز داده ها، مورد تائید قرار گرفته است. از سال 2000 تاکنون بحث پیاده سازی موثر نرم افزاری و سخت افزاری این الگوریتم، مورد توجه محققین و صاحب نظران این رشته قرار گرفته ا...

شبکه تصادفی (rg) یک روش برای ساخت طرح تسهیم راز دیداری (vss) بدون گسترش پیکسل است. در این پایان نامه ابتدا چند طرح تسهیم راز دیداری بر اساس شبکه تصادفی که تصویر اصلی با روی هم قرار دادن سهام به طور مستقیم بازسازی می شود مورد مطالعه قرار می گیرد. سپس به بررسی یک طرح تسهسم راز دیداری بر اساس شبکه ی تصادفی با قابلیت بازسازی به دو روش پرداخته شده است. اگر دستگاه های محاسباتی در دسترس نباشند، تصویر ...

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