چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

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

یک _nتایی از عملگرها دنباله ای متناهی به طول n از عملگرهای خطی پیوسته جابجاپذیر روی فضای موضعاً محدب x است. در فصل اول، مدارهای عملگرهای ساده و عملگرهای ابردوری (در حالت n=1) مورد بررسی قرار گرفته است. بخصوص « قضیه برخی جاها چگال»، که می گوید اگر t یک عملگر خطی پیوسته روی فضای موضعاً محدب x باشد، آنگاه هر مدار t یا همه جا چگال است یا هیچ جا چگال، اثبات شده است. در فصل دوم ثابت شده است _(n+1)تایی ...

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

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

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

این پایان نامه که به تبیین و تشریح تعمیمی از مدول های کوهمولوژی موضعی نسبت به ایده آل های ‎(i,j)‎می پردازد. فرض کنیمr یک حلقه جابجایی و نوتری، ‎i‎وjدو ایده آل از rباشند. فرض کنیمr ‎‎موضعی با ایده آل ماکسیمال‎m‎ باشد. نشان می دهیم :‎ ‎(i)‎ برای هر ‎r‎-مدول متناهی مولد m‎ تساوی زیر برقرار است، ‎ inf lbrace i vert h^{i} _{i,j} (m) mbox{نیست آرتینی} ‎ brace =inf lbrace depth m_{p} ver...