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

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

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

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

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

در این پایان نامه تخمین دقیقی را برای عملگر اتساع f(x)? f(?x)هنگامی که روی فضاهای مخلوط وینر w(l^p,l^q) عمل می کند نشان می دهیم. همچنین از استدلالهای مقیاسی در اثبات دقیق بودن برخی روابط پیچشی و نقطه وار برای فضاهای مدولاسیون m^p,q و بهینه بودن یک برآورد برای گسترنده شروددینگر روی فضاهای مدولاسیون استفاده خواهیم کرد. فضاهای مخلوط وینر و مدولاسیون برای اندازه گیری میزان تراکم زمان-فرکانس توابع و...

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

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

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