نتایج جستجو برای: مدل صوری
تعداد نتایج: 124429 فیلتر نتایج به سال:
«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...
شرح و تفسیر مثنوی جلالالدین محمد مولوی سابقهای دیرین دارد، اما نکتۀ حائز اهمیت در شیوۀ شرح این تفاسیر، گرایش عرفانی آنها در توضیح محتوایی ابیات است. در شیوۀ تفسیری که برای تحلیل مثنوی در این مقاله ارائه نمودهام، کوشیدهام تا حوزۀ معانی ابیات را در الفاظ آن محدود و مدلل سازم. در این شیوه، مبنای معنایابی شعر توجه به صنایع ادبی و آرایههای زبانی آن است. این شیوه را جهت به چ...
باتوجه به رشد روز افزون استفاده از سیستمهای همروند، داشتن مدلی مناسب برای توصیف این گونه سیستمها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیاء واکنشی مستقل از هم، ...
امروزه استفادهکنندگان از اینترنت و به تبع آن وبسایتهای ورزشی به سبب ارائه اطلاعات مهم درباره سازمانها، محصولات، تیمها و بازیکنان افزایش یافته است. بدین منظور تحقیق حاضر با هدف ارائه مدل عوامل مؤثر در استفاده از وبسایتهای ورزشی با انتخاب تعداد 258 نفر از دانشجویان تریتبدنی دانشگاه کردستان به روش سرشماری و با روش تحقیق توصیفی - همبستگی انجام پذیرفت. با بررسی پیشینه از پرسشنامه استاندارد م...
با توجه به تغییرات گسترده، مداوم و روزافزون در بازارهای جهانی تقاضای مشتریان، بهکارگیری ابزارهایی قدرتمند قابلاطمینان برای پشتیبانی از تصمیمگیرندگان، اجتنابناپذیر است. این منظور پژوهش حاضر، مسئله برنامهریزی تولید شرایط احتمالی یک سیستم تولیدی هیبرید MTS/MTO بررسی شده رویکرد، مدل ارائهشده را بهطور کامل MTO یا MTS نیز سازگار کرده بهطورمعمول بازه میانمدت صورت گرفته است تصمیمات اخذشده هر م...
مکانیابی با درنظرگرفتن موضوع رقابت در بازار، یک تصمیم راهبردی و بلندمدت محسوب میشود. چنانچه انتخاب مکان، بررسیهای لازم صورت نگیرد، حیات سازمان تحت تأثیر قرار میگیرد. بهدلیل وجود پیچیدگیهای موجود مسائل مکانیابی، ارائه مدلهای محدودیتهای متنوعی مواجه است. هدف این پژوهش، توسعه مدل رقابتی درنظرگرفتن دو محصول از سوی سه رقیب است؛ برای منظور، مسئله بهصورت بازی مکان ـ قیمت تعریف استفاد...
مراقبت سلامت خانگی، ارائه مجموعهای از خدمات مراقبتی در منزل پیشگیری تا توانبخشی و مراقبتهای اولیه حرفهای پرستاری است. این پژوهش یک مدل ریاضی دوهدفه بر اساس رویکرد برنامهریزی خطی عدد صحیح مختلط برای مسئله مسیریابی زمانبندی مراقبت خانگی با اهداف حداقلسازی هزینههای سفر پرستاران حداکثر تفاوتهای زمان کاری بین شده درنظرگرفتن حالتهای دوگانه حملونقل عمومی خصوصی، مراکز درمانی آغازین پای...
هدف: این پژوهش با هدف ارائه مدل چالشهای پرورش کودکان کمشنوای پیشدبستانی از دیدگاه مادران و متخصصان بر اساس نظریه دادهبنیاد انجام شده است. روش: نمونه 15 مادر کودک کمشنوا 4 تا 6 ساله انجمن والدین شهر تهران 5 متخصص حوزه ناشنوا بودند که در سال 1400 استفاده روش نمونهگیری هدفمند انتخاب شدند. چالش های طریق مصاحبه نیمه ساختاریافته عمیق رسیدن به اشباع نظری جمعآوری کدگذاری (کدگذاری باز، محوری ان...
قرآن کریم سرچشمه تمام علوم اسلامی است که به زبان عربی کلاسیک نگاشته شده است و این در حالی است که در بهره برداری از متون قرآنی توانمندیهای بسیار بالای پردازش رایانه کمتر مورد توجه قرار گرفته است. بسامد وقوع گروههای اسمی در قرآن نسبت به سایر انواع کلمه بیشتر می باشد. در این میان اهمیت آگاهی از نقش اسم در درک آن بسیار حائز اهمیت است. در بین مطالعات انجام گرفته تاکنون تحقیقی که بیانگر دستوری صوری ب...
هدف: هدف تحقیق، تدوین الگوی پیادهسازی راهبردهای اداره کل ورزش و جوانان استان گلستان در حوزهی سالمندان با روش کارت امتیازی متوازن میباشد.طراحی/ روششناسی/ رویکرد: پژوهش کاربردی به شیوهی توصیفی است نوع دادهها آمیخته میباشد. مفهومی تحقیق بر اساس مدل کاپلان نورتن جامعهی آماری بخش کمّی مدیران کل، مسئولین هیأت ورزشهای همگانی اساتید دانشگاه بالغ 44 نفر بودند نمونهگیری تمامشمار انجام...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید