نتایج جستجو برای: منطق برنامه
تعداد نتایج: 68805 فیلتر نتایج به سال:
پرسش اساسی پژوهش این است که آیا فقط نام اصطلاحات در منطق سهروردی با منطق مشاء فرق دارد یا او دیدگاههای متفاوت با مشاء نیز داشته است؟ به عبارت دیگر نوآوریهای شیخ اشراق در منطق چیست؟ منطق معرفی شده شیخ اشراق سادهتر است؛ چراکه او از جمله دانشمندانی است که در منطق نگاری، از نظام دوبخشی ابن سینا تبعیت نموده است. بررسی نظام فکری سهروردی از جمله اندیشههای منطقی او که تاکنون به طریقی نظام یافته بررس...
با وجود آن که تاکنون الگوریتم های متعددی برای بهینه سازی محدوده معدنکاری روباز ارائه شده اما بدلیل وجود بعضی محدودیت ها در الگوریتم های موجود، همواره ارائه الگوریتم های جدیدی که بتواند برخی از این محدودیت ها را پوشش دهد، مورد توجه متخصصان بوده است. در این مقاله، از مفاهیم روش گروههای کلیدی که به طور خاص به منظور تحلیل پایداری شیبهای سنگی استفاده می شود، برای تدوین الگوریتم بهینه سازی محدوده ن...
در این پایان نامه ابتدا مقدماتی پیرامون منطق وجه نما گفته می شود. نزدیکی این نوع منطق به منطق شناختی به آن اهمیتی روزافزون داده است که آشنایی با آن را ناگزیر می کند. بیان مباحث مربوط به منطق وجه نما با مباحث مربوط به منطق توجیه همراه شده است. منطق توجیه توضیح داده شده، ارتباطش با منطق وجه نما بیان شده است و به کاربردهایش اشاراتی شده است. همچنین در فصلی جداگانه به منطق شناختی توجیه پرداخته شده،...
ما در این مقاله ضمن بررسی انتقادات مشهورتر کواین به منطق موجهات، تلاش می کنیم نشان دهیم که سوای ابعاد سمنتیکی مخالفت کواین با منطق موجهات، می توان دیدگاه او در معرفت شناسی را به مثابه لایه ای عمیق تر برای رد و طرد منطق موجهات در نظر گرفت، گرچه خود کواین تصریحی به این نحوه انتقاد از منطق موجهات نکرده است. در این میان اشاراتی به نظرات کریپکی، که یکی از جدی ترین مدافعین منطق موجهات است می کنیم و ب...
بهدلیل نبود مدل ریاضی و اینکه عوامل تأثیرگذار بر افت انتهای کمباین ماهیت غیر خطی دارند، در این تحقیق با بهره گیری از دانش شخص خبره، سیستمی هوشمند مبتنی بر کنترل کننده منطق فازی برای تنظیمات خودکار کمباین طراحی، پیاده سازی، و ارزیابی شد. این سیستم هوشمند قادر بود بر اساس اطلاعات دریافتی از مقدار تلفات در الک ها و کاه پران ها به اجرای تنظیمات خودکار سرعت دورانی کوبنده، فاصلة کوبنده و ضدکوبنده، ...
لوئیس کرول در مقاله «لاک پشت به آشیل چه گفت؟» یکی از بنیان های منطق را زیر سؤال می برد و در گفت وگویی خیالی این مسئله را مطرح می کند که اصولاً چرا باید از مقدمات یک استدلال به نتیجه رسید. آیا منطق به تنهایی می تواند توجیه کننده استفاده از منطق نیز باشد یا باید کاربرد منطق را در خارج از علم منطق توجیه کرد. در این مقاله، به دو رویکرد کلی در پاسخ به این سؤال توجه می شود. نخست، رویکردی کاملاً منطقی ک...
منطق طریق اولایی نوع خاصی از منطق صوری است که استدلالهای آن، برخلاف منطق ارسطویی متعارف، دارای چهار حد است که به واسطة آنها پس از مقایسة دو شخص، چیز یا کار با هم، حکم یکی به دیگری نیز نسبت داده میشود و یا از آن سلب میشود. این منطق را میتوان، به رغم باور آوی سیون، بهوفور در آیات قرآن یافت؛ تا آنجا که میتوان این صورت از منطق را منطق غالب در آیات قرآن قلمداد کرد. در تحقیق حاضر، پس از مقدم...
گسترش روزافزون شهرها، رشد بی رویه جمعیت و افزایش مهاجرت به شهرها لزوم هدایت آگاهانه و سازماندهی فضایی را دو چندان نموده است. بسیاری از شهرهای امروز در گذشته مراکز روستایی با هسته کشاورزی بوده اند. این مراکز در طول زمان رشد کرده و با جذب جمعیت به شهر تبدیل شده اند. اکنون کشور با شهرهایی مواجه است که با گسترش کالبدی خود در حال تخریب و از بین بردن باغها و اراضی کشاورزی پیرامون خود می باشد. نگاهی ب...
نظریه اعداد فازی نقش مهمی در حوزه¬های علوم مختلف دارد. اخیراٌ دانشمندان مفهومی از اعداد فازی، به نام اعداد فازی با مقادیر بازه¬ای معرفی کرده¬اند که جایگاه ویژه¬ای در محیط های تصمیم گیری دارند. اما زمانی می¬توانیم از آن¬ها در تصمیم گیری¬ها استفاده کنیم، که بتوانیم اهمیت و جایگاه آن¬ها را برای تصمیم گیری مدیر در محیط مشخص کنیم. بنابراین رتبه بندی اعداد فازی با مقادیر بازه¬ای موضوعی مهم برای تصمیم ...
پژوهش حاضر با هدف تحلیل و بررسی پژوهش های علوم تربیتی از منظر رویکرد میان رشته ای صورت پذیرفته است. برای انجام این پژوهش از روش تحلیل منطق فازی استفاده شده است. جامعه آماری شامل 1126 پایان نامه و رساله دانشگاه های اصفهان، تربیت مدرس، خوارزمی تهران، شهید بهشتی و فردوسی مشهد، است که در سال های تحصیلی 1388-1392 خاتمه یافته اند. با توجه به زمان اجرای پژوهش و به منظور رعایت دقت و صحت؛ با استفاده از ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید