در این پایان نامه که بر مبنای مقاله ذیل نوشته می شود، مفهومی از تکامل و یک نوع کامل سازی در غیاب اصل انتخاب شمارا ارائه می شود. این کار ساخت اعداد حقیقی و کامل سازی یک فضای متری را در بر می گیرد. مجموعه اعداد حقیقی به عنوان یک میدان هیتینگ ارشمیدسی کامل که یک شئ پایانی در رسته میدان های هیتینگ ارشمیدسی می باشد، طبقه بندی می شود ‎f‎. ‎richman‎, ‎real number and other completions‎, ‎math‎. ‎lo...

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

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

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

Background & Aim: One of the complementary psychological approaches for dealing with problems of ageing individuals is Music therapy. The aim of the current research was to investigate the effectiveness of listening to relaxation and instrumental music by Arnd Stein on quality of sleep and happiness among ageing women in nursing home. Methods: The current study was a quasi-experimental study i...

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

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

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

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