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

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

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

‎‎یکی از مسائل مهم در ریاضیات بحث مربوط به تجزیه چند جمله ای ها می باشد. خانواده چندجمله ای ها تشکیل یک جبر می دهند بنابراین ریاضی دانان پا را فراتر قرار داده و ‎تجزیه‎‎‎‎ را به جبرها توسیع دادند. برای اولین بار کهن در سال ???? نشان داد اعضای جبرهای توپولوژیکی که نرمدار و کامل هستند تحت شرایطی تجزیه می شوند‏، که به قضیه تجزیه کهن معروف شد. سپس سایر ریاضی دانان با الهام گرفتن از کار کهن قضیه تجز...

اندیسهای توپولوژیکی اعدادی حقیقی نسبت داده شده به یک مولکول می باشند که با هدف مطالعه روی گرافهای مولکولی در شیمی معرفی شده اند و ساختارهای مولکول را مورد بررسی قرار می دهند. این اندیسها بر حسب پارامترهای گراف (فاصله رأسها، فاصله یالها و ...) تعریف می شوند. اولین و قدیمی ترین اندیس توپولوژیکی توسط هارولد وینر (1947) بر حسب فاصله بین رأسهای متمایز در یک گراف تعریف شد. این اندیس برای تعیین روابط ...

ارتباط بین تصویرهای انقباضی و امید شرطی برای اولین بار توسط داگلاس روی جبر باناخ l1(x, s, u) به ازای یک اندازه ی احتمال u مورد بررسی قرار گرفت. با گسترس مفهوم امید شرطی به جبرها همواره ارتباط بین تصویر های انقباضی و امید شرطی در جبرهای نرمدار مورد توجه بوده است. در این پایان نامه ابتدا به بررسی این ارتباط در جبرهای باناخ برآمده از آنالیز هارمونیک می پردازیم و در ادامه جبر باناخ lp(v) و جبرهای ...