نتایج جستجو برای: مدل صوری

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

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

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

ژورنال: آینه میراث 2012
فرزاد اقبال

شرح و تفسیر مثنوی جلال‌الدین محمد مولوی سابقه‌ای دیرین دارد، اما نکتۀ حائز اهمیت در شیوۀ شرح این تفاسیر، گرایش عرفانی آن­‌ها در توضیح محتوایی ابیات است. در شیوۀ تفسیری که برای تحلیل مثنوی در این مقاله ارائه نموده‌ام، کوشیده‌ام تا حوزۀ معانی ابیات را در الفاظ آن محدود و مدلل سازم. در این شیوه، مبنای معنایابی شعر توجه به صنایع ادبی و آرایه‌‏های زبانی آن است. این شیوه را جهت به چ...

الهام موسوی علی موقر رحیم آبادی مرجان سیرجانی نیلوفر رضوی

باتوجه به رشد روز افزون استفاده از سیستم‌های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم‌ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده ‌است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده ‌است. اشیا‎ء واکنشی مستقل از هم، ...

ژورنال: مدیریت ورزشی 2019

امروزه استفاده‌کنندگان از اینترنت و به تبع آن وب‌سایت‌های ورزشی به سبب ارائه اطلاعات مهم درباره سازمان‌ها، محصولات، تیم‌ها و بازیکنان افزایش یافته است. بدین منظور تحقیق حاضر با هدف ارائه مدل عوامل مؤثر در استفاده از وب‌سایت‌های ورزشی با انتخاب تعداد 258 نفر از دانشجویان تریت‌بدنی دانشگاه کردستان به روش سرشماری و با روش تحقیق توصیفی - همبستگی انجام پذیرفت. با بررسی پیشینه از پرسشنامه استاندارد م...

Journal: : 2022

با توجه به تغییرات گسترده، مداوم و روزافزون در بازارهای جهانی تقاضای مشتریان، به‌کارگیری ابزارهایی قدرتمند قابل‌اطمینان برای پشتیبانی از تصمیم‌گیرندگان، اجتناب‌ناپذیر است. این منظور پژوهش حاضر، مسئله برنامه‌ریزی تولید شرایط احتمالی یک سیستم تولیدی هیبرید MTS/MTO بررسی شده رویکرد، مدل ارائه‌شده را به‌طور کامل MTO یا MTS نیز سازگار کرده به‌طورمعمول بازه میان‌مدت صورت گرفته است تصمیمات اخذشده هر م...

Journal: : 2022

مکان‌یابی با درنظرگرفتن موضوع رقابت در بازار، یک تصمیم راهبردی و بلندمدت محسوب می­‌شود. چنانچه انتخاب مکان، بررسی‌­های لازم صورت نگیرد، حیات سازمان تحت تأثیر قرار می‌­گیرد. به‌­دلیل وجود پیچیدگی‌­های موجود مسائل مکان‌یابی، ارائه مدل‌های محدودیت­‌های متنوعی مواجه است. هدف این پژوهش، توسعه مدل رقابتی درنظر­گرفتن دو محصول از سوی سه رقیب است؛ برای منظور، مسئله به‌­صورت بازی مکان ـ قیمت تعریف استفاد...

Journal: : 2022

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

Journal: : 2022

هدف: این پژوهش با هدف ارائه مدل چالش‌های پرورش کودکان کم‌شنوای پیش‌دبستانی از دیدگاه مادران و متخصصان بر اساس نظریه داده‌بنیاد انجام ‌شده است. روش: نمونه 15 مادر کودک کم‌شنوا 4 تا 6 ساله انجمن والدین شهر تهران 5 متخصص حوزه ناشنوا بودند که در سال 1400 استفاده روش نمونه‌گیری هدفمند انتخاب شدند. چالش ­های طریق مصاحبه نیمه ساختاریافته عمیق رسیدن به اشباع نظری جمع‌آوری کدگذاری (کدگذاری باز، محوری ان...

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

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

Journal: : 2022

هدف: هدف تحقیق، تدوین الگوی پیاده­‌سازی راهبردهای اداره کل ورزش و جوانان استان گلستان در حوزه­‌ی سالمندان با روش کارت امتیازی متوازن می­‌باشد.طراحی/ روش‌شناسی/ رویکرد: پژوهش کاربردی به شیوه­‌ی توصیفی است نوع داده‌­ها آمیخته می­‌باشد. مفهومی تحقیق بر اساس مدل کاپلان نورتن جامعه­‌ی آماری بخش کمّی مدیران کل، مسئولین هیأت ورزش­‌های همگانی اساتید دانشگاه بالغ 44 نفر بودند نمونه­‌گیری تمام­‌شمار انجام...

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

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