نتایج جستجو برای: دلالت شناسی مدل محلی
تعداد نتایج: 177935 فیلتر نتایج به سال:
از زمان انتشار مقالهی سوئل کریپکی با عنوان تحلیل دلالت شناسانهی منطق شهودیI، در سال 1965، تمام آنچه پیش از آن در دلالتشناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدلهای بث تحت سایهی تنقیح و پالودگیاش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...
استفاده از روش های مرسوم ریاضیاتی در تخمین توابع، برای سیستم هایی که دارای عدم قطعیت هستند مناسب نیست. سیستم های فازی به طور گسترده برای تخمین توابع استفاده شده اند، هرچندکه دارای مشکلاتی نظیر عدم وجود روش استانداردی برای تبدیل دانش یا خبرگی بشر به پایگاه قوانین و نیاز به روش های موثری برای میزانسازی توابع عضویت می باشند. استفاده از شبکه های عصبی در تخمین توابع دارای مشکلاتی نظیر انتخاب معماری ...
مقدمه: میزان پیشرفت سرطان پستان (مرحله،Staging )، یکی از مهم ترین عوامل تعیین کننده میزان بقای فرد بیمار و انتخاب روشهای درمانی مناسب توسط پزشکان است. معمولا تعیین پیشرفت سرطان پستان، پس از عمل جراحی و از طریق ارزیابی بافت شناسی انجام می شود. از این رو یافتن الگوریتم مناسبی که بتواند میزان پیشرفت و همچنین مرحله (Staging) سرطان پستان را تعیین کند، به پزشکان در ارایه روش های درمانی مناسب کمک ...
این نوشتار در باب نام شناسی بر اساس نشانه شناسیِ نام شخصیت ها در نمایشنامه است و می کوشد با توجه به دانش نام شناسی و تکیه بر روش نشانه شناسیِ پیرس به دلالت های گوناگون چون دلالت شمایلی، نمایه ای و نمادین نام های شخصیت های نمایشی بپردازد. از آنجا که دانش نام شناسی یکی از امکانات تحلیلی در باب شناخت شخصیت ادبی– نمایشی در نظریات جدید است و در حوزه ی مطالعات نمایشی ایران نادیده گرفته شده است این مقال...
تربیت اخلاقی یکی از کارکردهای مهم نظام آموزشی است. این امر از موضوعات پرچالشی است که از سوی متفکران مورد امعان نظر بسیار قرار گرفته است . ازآن جا که دیدگاههای فلسفی یکی ازمبانی نظریه های تربیتی را تشکیل می دهد‘ ارزش شناسی نیز که از مباحث مهم فلسفی است. دلالت هایی در مباحث تربیت اخلاقی خواهد داشت. دراین مقاله سعی شده است که دلالت هایی در مباحث تربیت اخلاقی خواهد داشت در این مقاله سعی شده است که ...
ضمایر اشارهای مرکب عباراتی پرکاربرد به شکل «آن ب» و حاصل ترکیب یک ضمیر اشارهای و یک عبارت اسمی ساده یا مرکب هستند. در مورد رفتار سمانتیکی این عبارات دو تئوری غالب وجود دارد: یکی دیدگاه دلالت مستقیمی و دیگری دیدگاه تسویری. مبتنیبر اولی، ضمیر اشارهای مرکب یک حد مفرد است و محتوای آن در کاربرد اشارهای یک فرد است و گرچه عبارت اسمی مندرج در آن در تعیین مدلول ضمیر سهیم است اما در محتوای جمله سهمی...
هدف از نگارش این مقاله، بررسی اخلاق از منظر علامه طباطبایی و دلالت های آن در تربیت اخلاقی است. در پژوهش حاضر که با بهره گیری از رویکرد کیفی و با روش توصیفی- تحلیلی انجام شده، پس از بازبینی منابع قابل دسترس، دلالت های تربیت اخلاقی بر اساس آرای اخلاقی ایشان استنباط شده است. نتایج بدست آمده از این قرار است که بعد از تعریف اخلاق از منظر علامه، مساله اخلاق از طریق مبانی معرفت شناسی، هستی شناس، روان ...
در این مقاله یک مدل ریاضی برای مسئله سیستم تولیدی همکارانه ساخت بر اساس سفارش با رعایت انصاف تخصیص بارهای تولید طراحی شده است. اهداف اصلی مدل، کمینهسازی هزینههای کل و حداکثر استفاده از منابع بهمنظور عادلانه شرایط عدمقطعیت کنترل پارامترهای غیرقطعی روش برنامهریزی فازی شده نتایج نشان میدهد افزایش نرخ عدمقطعیت، مییابد. ازآنجاکه ظرفیت کارخانهها ثابت است، مقدار تقاضا، هر کارخانه نیز میی...
موضوع اصلی این پژوهش تبیین تعلیم و تربیت از دیدگاه علامه طباطبایی با تأکید بر هدف ها و روش های تربیتی است. این تحقیق از نوع نظری و روش آن توصیفی ـ تحلیلی است و برای جمع آوری اطلاعات و داده های لازم آن از روش کتابخانه ای استفاده شده است. در این پژوهش، برای استخراج دلالت های تربیتی مرحوم علامه طباطبایی یک بررسی اجمالی از انسان شناسی، معرفت شناسی و ارزش شناسی ارایه می شود. سپس دلالت های تربیتی حا...
نقش سلولهای خونی به عنوان اجزای اصلی دفاع فیزیولوژیک حشرات مهم گزارش شده است. اولین فاکتورهای سیستم گردش خون هستند که در مقابله با انواع تنشها و عوامل بیگانه مشارکت می کنند. تحقیق حاضر، چهار نوع هموسیت همولنف لارو سن چهارم خرطوم بلند دمبرگ چغندرقند شناسایی شد شامل پروهموسیتها، گرانولوسیتها، پلاسموتوسیتها انوسیتوئیدها هستند. بزرگترین از نظر اندازه بودند مجموع فراوانی گرانولوسیتها لاروهای سنین سو...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید