نتایج جستجو برای: پازل کریپکی
تعداد نتایج: 159 فیلتر نتایج به سال:
هدف این پژوهش شناسایی و تحلیل شگردهای گفتمانی مورد استفاده در برنامه «صفحه 2 آخر هفته» پخش شده از شبکه بیبیسی فارسی در سالهای 94 و 95 هست. تلاش بر آن بوده تا ابتدا با استفاده از تکنیکها و مقولههای گفتمانی، شگردهای گفتمانی برنامه را شناسایی و سپس با بهره از روش تحلیل گفتمان انتقادی این برنامه مورد تجزیه و تحلیل قرار گیرد. نتایج این پژوهش حاکی از آن است که برنامه مذکور از شگردهای تخاصم گفتم...
حجاب، با وجود اهمیّت بسیارش، در اسلام اصالت ندارد؛ بلکه امر اصیل، عفاف و خودکنترلی است؛ زیرا اگر عفاف نباشد حجاب نیز کارکرد خود را از دست خواهد داد. نتیجه این پژوهش گویای این است که مهندسیِ تحقّق حجاب در جامعه، مبتنی بر نظریه حریم جنسی است که بر اساس آن، همّت اصلی بر ایجاد حریم حداکثری بین دو جنسِ زن و مرد، در تمامیِ ساحتهای زندگی میباشد که در هر ساحتی حریمی متناسب با آن و براساس اقتضاء و واقعیت...
چکیده تامس کوون در 1962 نظریهای اصیل در فلسفة علم ابراز داشت. اما صاحب نظرانی ادعا کردهاند که هیدگر آنچه را کوون «پارادایم»، «علم متعارف» و «انقلاب علمی» مینامید، پیشتر گفته بود. متهمتیکال بودن علم جدید، نیاز به جهانهای تفسیری و افق دانایی، مبانی ادعاهای قول هیدگر به پارادایم هستند. افکندن طرح جامع، مبنای اصلی قول او به علم متعارف است. مقاومت ناهنجاریها و بازنگری ریشهای در مفاهیم بنیادی...
اصل توحید و مسائل مربوط به آن از جمله مسائل محوری در منظومهی اندیشهی اسلامی به شمار میآید، به طوری که فهم درست و دریافت صحیح آیات کلام الهی در این مورد همواره ذهن اندیشمندان مسلمان را به خود مشغول داشته است. در فضای اندیشهی کلامی و فلسفی، عقل به عنوان کارآمدترین قوای ادراکی برای فهم و دریافت جهان بینی توحیدی محسوب شده است. جهت گیری تلاشهای عقلی نیز همواره تنزیه خداوند و دورداشت و تعالی وی ...
هنگامیکه پژوهشگری در یک فرایند تحقیق درگیر میشود آنچه انجام میدهد و گزارش میکند به مفاهیم زیربنایی او درباره ماهیت تحقیق بستگی دارد. مطالعه حاضر مفهوم تحقیق را از دیدگاه اساتید در حیطههای مختلف علمی موردبررسی قرارداده است. پارادایم معرفتشناسی تفسیری و رویکرد کیفی اتخاذ گردید. ازآنجاکه پژوهشگران قصد داشتند برداشتها و تجارب متفاوت در مورد پدیده تحقیق را بررسی و طبقهبندی کنند لذا روش پدید...
پروژه¬های شهر دوستدار کودک به طور عمده برای ایجاد فرصت برای کودکان در راستای شکل دادن و یا تغییر محیط پیرامونشان است. از این منظر طرح¬های دوستدار کودک به دنبال اعطای حق شهروندی به بچه¬ها، توسعه آگاهی، بالابردن مشارکت جمعی، کم کردن میزان خشونت علیه کودکان، توجه به موضوعات زیست- محیطی و .. است. در کشور ما شهر بم (بعد از زلزله ناگوار سال 1382) از نمونه¬هایی بود که رویکرد دوستدار کودک در بازسازی...
چکیده نظریۀ اقتصادی کلاسیک بیشتر تمایل داشت ادم اسمیت را اقتصاددانی بداند که نیمنگاهی به فلسفۀ اخلاق داشت، نه یک فیلسوف اخلاق جدی با دغدغههای سترگ اخلاقی. به همین دلیل، ثروت ملل ادم اسمیت غالباً اثری کاملاً جدا از اثر اخلاقی او ـنظریهای دربارۀ عواطف اخلاقیـ دانسته شد و بیش از آن قدر دید. این در حالی است که اسمیت اقتصاد و اخلاق را مکمل هم و این دو اثر را مرتبط به هم میدانست. او پیش از آنکه ...
یکی از مسائل اصلی در وارسی سیستم های کامپیوتری، ساخت فضای حالت به صورت یک ساختار مبتنی بر حالت ها مانند ساختار کریپکی است. ابزارهای ارائه شده در بررسی مدل دارای مشکلات انفجار تعداد حالات در فضای حالت سیستم های بزرگ هستند. برای حل این مشکل، تاکنون روش های زیادی ارائه شده است، با این وجود، در سیستم های بزرگ ساخت کل فضای حالت ممکن نیست. برای رهایی از این مشکل، روش های نمادین مانند نمودار های تصمیم...
هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...
این پژوهش با توجه به مشکلات موجود در صنعت بانکداری ایران و پیشرفت همزمان این صنعت دردنیا طی مطالعه تطبیقی بین وضعیت موجود یک بانک ایرانی و شیوه های پیاده شده در بانکهای بزرگ دنیا که منطبق بر معماری سرویس گرا می باشد و نیز مطالعه کامل یک نمونه برتر سعی دارد تا بتواند الگویی مبتنی بر معماری سرویس گرا و همسو با سامانه ای جامع متمرکز بانکی برای بانک مورد مطالعه ارائه نماید.. آنچه مهم است این است که...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید