در این مقاله دو مدعای منطق ریاضی، مبنی بر: 1) وجودی بودن همه قضایای جزئیه. 2) شرطی بودن همه قضایای کلیه، نخست مورد بررسی و نقد قرار گرفته، سپس موضع منطق قدیم در این باب مطرح شده است. نتیجه به‌دست آمده آن است که هیچ یک از دو مدعای فوق به صورت موجبه کلیه درست نیست.

در پایان نامه حاضر قصد داریم به بررسی و تشریح برهان جبری برای یکی از قضایای مهم منطق ریاضی به نام قضیه حذف برش بپردازیم. این قضیه که یکی از مهمترین نتایج در نظریه برهان بر پایه حساب رشته هاست، اولین بار توسط گرهارد گنتسن ، در سال 1934 برای منطق های کلاسیک و شهودگرایی اثبات شده است. از اوایل قرن نوزدهم زمینه های مشترکی بین منطق ریاضی و جبر بوجود امد که موجب گسترش تحقیقات در منطق بوسیله تکنیک ها...

از ویژگی های شاخص داده های فعالیت های کشاورزی، دقیق نبودن آن هاست، بنابراین استفاده از روش های مبتنی بر منطق فازی در برنامه ریزی تولید می تواند مناسب باشد. در این مطالعه روش برنامه ریزی امکان به عنوان یکی از روش های مبتنی بر منطق فازی مورد استفاده قرار گرفت. افزون بر این برنامه ریزی فازی و قطعی نیز در قالب برنامه ریزی ریاضی چندهدفی مورد استفاده قرار گرفت. داده های استفاده شده نیز از میان 100 به...

یک مجموعه فازی نوع-2 یا مجموعه فازی- فازی، یک مجموعه فازی است که دارای درجه عضویت های فازی می باشد. چنین مجموعه ای در جایی که تعیین دقیق درجه عضویت برای یک مجموعه فازی مشکل است مفید واقع می شود. یک سیستم فازی نوع-2 در برابر عدم قطعیت هایی که در قوانین فازی و یا پارامتر های سیستم بوجود می آید مقاوم است. در این مقاله ابتدا تاریخچه توسعه نظریه فازی نوع-2 در مدت بیست و پنج سال اخیر بررسی شده است. س...

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

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

رگه هایی از منطق گزاره ‏ها را در آثار ارسطو می توان دید. با این حال، او شیفته آموزه قیاس حملی است و قیاس های شرطی را اگرچه تحویل ناپذیر، ولی نیازمند به آن‏ها می شمارد. پس از ارسطو، شاگردانش کوشیدند نظریه قیاس های شرطی را گسترش دهند با این حال کار چندانی از پیش نبردند. این رواقیان بودند که با نگاه ویژه به منطق گزاره های شرطی، نخستین دستگاه منطق گزاره ‏ها را پایه گذاری کردند. جایگاه بنیادین منطق ...

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

در این مقاله، حل مساله ی مسیریابی وسایل نقلیه (vrp) در حالت چندهدفی، چندقرارگاهی و احتمالی، بررسی می شود. در دسترس بودن یال (متصل کننده دو گره تقاضا) به عنوان جنبه‏ای از vrp در مسائل دنیای واقعی، ملاحظه شده است. در دسترس بودن یال‏ها ممکن است قطعی نباشد و به دلایل مختلف، هر یال با احتمال معینی در دسترس باشد. با ملاحظه ی این جنبه، مدل ریاضی مساله و بهینه سازی آن، به گونه ای عمل می کند که ضمن کمین...

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