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

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

فرض کنید r یک حلقه جابجایی و یکدار و نوتری و i یک ایده ال منظم از آن باشد. سوال اصلی در این پایان نامه این است که آیا یک توسیع صحیح متناهی a برای حلقه r موجود است که برای آن، رادیکال پوچ ia، ایده ال به طور تصویری کاملی باشد که هم ارز تصویری با خود a شود؟ یک سوال قویتر این که آیا یک توسیع سوال اصلی در این پایان نامه این است که آیا یک توسیع صحیح متناهی a برای حلقه r موجود است که برای آن، رادی...

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

این پایان نامه در سه فصل تنظیم شده است : فصل اول ، مقدمه ای بر تئوری جبرهای bck . فصل دوم ، جبرهای bck فازی . فصل سوم ، روابط همنهشتی فازی.

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

فرض می کنیم r یک حلقه جابجایی باشد. در اینجا ایده آل های دوجذبی را که تعمیمی از ایده آل های اول هستند معرفی می کنیم و آنها را در دامنه های ارزیاب و پروفر و ددکیند و تقریبا ددکیند بررسی می کنیم.

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

دراین پایان نامه r را یک حلقه جابه جایی با عضو همانی و تمام مدول ها را یکانی در نظر می گیریم. تعمیم های گوناگونی از ایده آل ها و مدول های اولیه را بررسی می کنیم. به عنوان مثال، یک ایده آل سره i از r را اولیه ضعیف می گوییم، اگر از داریم یا . هم چنین، ایده آل ها و زیر مدول های تقریباً اولیه را به عنوان تعمیمی جدید از ایده آل های اولیه ضعیف وزیرمدول های اولیه ضعیف تعریف می کنیم.

در این تحقیق از مدل تحلیل پوششی داده ها ((dea، بازده به مقیاس ثابت ورودی محور و خروجی محور برای ارزیابی کارایی نسبی بیمارستان های استان کرمان استفاده شده است. متغیرهای این تحقیق به دو دسته ورودی و خروجی تقسیم می شوند. در این تحقیق برای انتخاب متغیرهای ورودی و خروجی از روش ahp گروهی استفاده شده است. اهداف پژوهش عبارتند از تعیین متغیرهای ورودی و خروجی مناسب برای ارزیابی کارایی نسبی بیمارستان ها...