نتایج جستجو برای: استنتاج صوری
تعداد نتایج: 10093 فیلتر نتایج به سال:
چکیده تصحیح نسخه های خطی کهن زبان فارسی ایران زمین یکی از دغدغه های ادبی عصر جدید است و تضمین سلامت و اِتقان میراث گرانبهای علم بدون آن میسّر نیست. تمام تلاش مصحّح و محقّق راستین نسخه های خطی، ارائه ی متنی است که حتی الامکان عین نوشته صاحب اثر و یا حداقل نزدیکترین متن به دستنوشته ی نویسنده را فراهم سازد. در این پایان نامه، به نقد و تصحیح نسخه ی خطی منحصر به فرد "مثنوی غیاثی"پرداخته شده است. میرغ...
مقدمه: با توجه به روند متحول و متغیر بیرونی، سازمانهای عصر جدید جزء در پرتو داشتن اطلاعات دقیق و به هنگام از محیط داخلی و خارجی قادر به ادامۀ حیات و سیر مسیر تعالی نخواهند بود. برنامهریزی استراتژیک ابزاری است که این قابلیت را برای سازمانها ایجاد میکند تا با نگاهی به آیندۀ روشن، تجهیزات و امکانات متناسب را برای دست یابی به هدفی مشخص بسیج نمایند. این پژوهش با هدف ارائه برنامه راهبردی مطلوب...
هدف اصلی این پژوهش بررسی رابطه بین انگیزش تحصیلی و تفکر انتقادی دانش آموزان و مقایسه آن در مدارسهوشمند و عادی بود. روش تحقیق، علی مقایسه ای )پس رویدادی( بوده که جامعه آماری آن را کلیه دانش آموزانپسر کلاس هشتم در سال تحصیلی 1393 تش یکل دادند. با استفاده از نمون هگیری خوشه ای مرحله ای و بر اساس فرمولکوکران تعداد 156 نفر ) 113 نفر از مدارس عادی و 43 نفر از مدارس هوشمند( انتخاب شد...
هدف پژوهش حاضر دست یابی به دستور احتمالی زبان فارسی است. این دستور از نوع دستورهای صوری احتمالی بوده و از دیدگاه رایانشی از نوع دستورهای بافت آزاد واژگانی نشده است. بدیهی است زبان مانند هر پدیده یا رفتار پیچیده ی دیگر نیازمند نظام مولد منسجمی می باشد، که دست یابی به این نظام به منزله ی توانایی تولید و درک، رمزگذاری و رمزگشایی این پدیده است. روشن است نظام تولیدی یک پدیده لزوماً بر نظام خود آن پدی...
مقاله حاضر با هدف بررسی نگرش مسیحیان درباره مسلمانان در طی جنگهای صلیبی به نگارش درآمده است. بدین منظور علاوه بر منابع اختصاصی، از سایر منابع و پژوهشهای جدید در اینباره استفاده شده است.در این مقاله، پس از مقدمه کوتاهی درباره علل، روند و پیآمدهای جنگهای صلیبی، وضعیت جهان اسلام مقارن با جنگهای صلیبی و نگرش مسیحیان به مسلمانان در این دوران بررسی شده است. در ادامه، به دیدگاه ویلیام صوری، اسقف...
منطق طریق اولایی نوع خاصی از منطق صوری است که استدلال های آن، برخلاف منطق ارسطویی متعارف، دارای چهار حد است که به واسطه آن ها پس از مقایسه دو شخص، چیز یا کار با هم، حکم یکی به دیگری نیز نسبت داده می شود و یا از آن سلب می شود. این منطق را می توان، به رغم باور آوی سیون، به وفور در آیات قرآن یافت؛ تا آن جا که می توان این صورت از منطق را منطق غالب در آیات قرآن قلمداد کرد. در تحقیق حاضر، پس از مقدمه...
اگرچه روشهای تحلیل منطقی و روشهای ساخت حمله، دو رویکرد کلی در زمینه تحلیل پروتکل های رمزنگاری است، اما اغلب برای تحلیل پروتکل ها، به کارگیری توام آنها مناسبتر است. در این مقاله، یک چارچوب عمومی برای یکپارچه سازی تحلیل امنیت پروتکل های رمزنگاری ارایه شده است. بر اساس این چارچوب می توان روشهایی تحلیلی ارایه کرد که در آنها وارسی وجود ویژگیهای امنیتی در پروتکل، همراه با وارسی وجود سناریوهای نقض ویژ...
ابن سینا برای اولین بار در تاریخ منطق کمیت و کیفیت گزاره های شرطی را به تفصیل بحث نموده است و در قالب زبان طبیعی به تبیین چگونگی اعتبار کلیت جزئیت و نیز تعیین جایگاه ایجاب و سلب در گزاره های شرطی پرداخته است هر چند وی در این تحلیلها به نکات و دقایق متعددی دست یافته است اما منطق معمول و موجه شرطی ها را در هم آمیخته که به دلیل برخی مواضع متضاد در آن سیستم صوری معینی درباره شرطی از آن قابل استخراج...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید