نتایج جستجو برای: مکاشفات صوری

تعداد نتایج: 5576  

ژورنال: جستارهای فلسفی 2015

اگر کسی فیلسوف باشد و بخواهد مشکل فلسفی حل کند، باید دید که آن مشکل عبارت از چیست؟ تصور رایج قدیمی این است که احساس باید تابع عقل باشد. بنابر قضاوت قدیمی معرفت و به‌ویژه اخلاق در بستر تاریخ یا به‌مثابه پیشین، صوری و عقلی و یا به‌مثابه نسبی، تجربی و عاطفی بوده است. از این‌رو بود که فیلسوفی مانند امانوئل کانت عقل صوری را از میان تقسیم‌بندی صورت-ماده،[1] یگانه راه رسیدن به معرفت قطعی و یقینی دانست...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی 1391

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

ژورنال: :فصلنامه علمی پژوهشی تاریخ اسلام 0
شهرزاد ساسانپور دانشجوی دکتری تاریخ - دانشگاه الزهراء.

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

ژورنال: :منطق پژوهی 0
محمود زراعت پیشه استادیار گروه فلسفه و کلام اسلامی، دانشگاه بیرجند (نویسندة مسئول) عاطفه رنجبر دارستانی کارشناس ارشد فلسفه و کلام اسلامی، دانشگاه تهران

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

ژورنال: :مهندسی برق مدرس 0
said jalili tarbiat modarres university behruz - tork ladani tarbiat modarres university

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

ژورنال: :مقالات و بررسیها(منتشر نمی شود) 2003
مرتضی حاج حسینی

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

ژورنال: :فصلنامه اندیشه دینی دانشگاه شیراز 2013
سیدمحمدعلی حجتی وحیده عامری

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم انسانی 1387

چکیده ندارد.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی 1394

-

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید