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

در این پایان نامه هدف ما مطالعه هم نهشتی برروی جهت واره است. به این منظور ابتدا مشبکه و نیم مشبکه و جهت واره را تعریف کرده و قضایایی برای تسهیل در شناخت آن ها بیان کرده ایم. در ادامه هم نهشتی برروی جهت واره ها, هم نهشتی برروی جهت واره با یچش غیرصعودی معرفی کرده ایم. نشان‏ داده ایم که یک جهت واره با پیچش غیرصعودی یک پیچش غیرصعودی روی مجموعه جزئاً مرتب متناظر است. در ادامه هسته ?f هم نهشتی تعریف ...

در این پایان نامه، پس از بیان مفاهیم و مقدمات لازم، به بررسی ساختارهای جبری از نظریه مجموعه های ناهموار پرداخته و بر اساس مفهوم مجموعه های تعریف پذیر در نظریه مجموعه های ناهموار، دو زیرجبر بولی مهم در نظریه ی مجموعه های ناهموار تعمیم یافته بیان می شود و الگوریتمی برای محاسبه ی اتم های این جبرها ارائه می شود. پس از آن، به بیان تعمیمی از مجموعه های ناهموار روی مشبکه های فازی پرداخته و سپس با استف...

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

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

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