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

در اندیشۀ کانت، برهان به معنای واقعی کلمه در شناخت فلسفی وجود ندارد و تنها در شناخت‌ ریاضی جاری است. وی دلیل این امر را در شهودی‌بودن دلایل ریاضی می‌داند و معتقد است که یک دلیل یقینی، تنها تا آنجا که شهودی است، برهانی می‌باشد؛ بنابراین باید دید شهود از نظر کانت چیست و چه نسبتی با برهان واقعی در اندیشه وی دارد؟ بنابراین مقاله حاضر با روش توصیفی_تحلیلی در صدد است نخست روشن کند که منظور کانت از شه...

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

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

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

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

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

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

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

مقدمه: امروزه شیوه های نوین آموزش و تربیت نیروی متخصص در حرف پزشکی مورد توجه قرار گرفته است. در این نوشته، وب کوئست (webquest) به عنوان شیوه ای جدید از آموزش مبتنی بر پویش (inquiry based learning) برای یافتن پاسخ سؤالات با دسترسی منابع عمدتاً اینترنتی، معرفی شده و کاربرد آن در آموزش علوم پزشکی، و به ویژه آموزش پرستاری تشریح می گردد. روش ها: جهت دستیابی به مقالات مرتبط با موضوع وب کوئست، از جستجو...