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

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

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

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

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

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

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

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

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