چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

تأمین امنیت ملی و قدرت چانه زنی هر دولت در عرصه بین­المللی بر گرفته از مؤلفه­های قدرت ملی و وزن ژئوپلیتیکی آن دولت است. قدرت ملی و وزن ژئوپلیتکی هر کشور تأثیر مستقیمی بر منزلت و مرزهای ژئوپلیتیکی آن کشور یا دولت دارد. این چهار مقوله (قدرت ملی، وزن ژئوپلیتیکی، منزلت ژئوپلیتیکی و مرزهای ژئوپلیتیکی)، ریشه های خود را از عوامل و مؤلفه های قدرت می گیرند که متخصصان امر سرچشمه قدرت را بیش از 10 مورد نا...

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

چکیده درهمتنیدگی یکی از مهمترین موضوعات در نظریه اطلاعات کوانتومی است. این پایان نامه به تولید حالت های درهمتنیده بل و ghz در نقاط کوانتومی نیمرساناها، به کمک برهمکنش مدهای کاواک با نقاط کوانتومی می پردازد

نامساوی کلاسیک بوهر توسط اچ.بوهر در سال 1924 ارائه شد.ما در این رساله تعمیم هایی از این نامساوی برای عملگرهای خطی و کران دار روی یک فضای هیلبرت تفکیک پذیر h رابیان می کنیم. علاوه بر این روشی را بیان می کنیم که این نامساوی رابه مضربی از عملگرهاتعمیم می دهد و سچس با استفاده از این روش چند نامساوی نظیر نامساوی بوهر را به دست می آوریم.در واقع ایده ی اصلی این رساله تبدیل مسائل در نظریه عملگر به مسائ...