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

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

منظور از یک نیم گروه بولی معکوس، یک نیم گروه معکوس است که نیمه شبکه ی عناصر خود توان آن یک جبر بولی است. ما در این پایان نامه، نمایش هایی روی نیم گروههای معکوس را بررسی می کنیم که استوار هستند. سپس نمایش مهمی از نیم گروههای معکوس بولی بنام نمایش vagner – preston ارائه می کنیم که هرگز استوار نیست. سپس نمایش استواری بنام نمایش کانونی منظم روی نیم گروه های معکوس ارائه می کنیم و به بررسی وفاداری آن...

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

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

در این پژوهش به بررسی میزان استناد مقالات همایشهای علمی به زبان فارسی در مجلات مورد پژوهش از سال 1375 تا 1385 پرداخته و با بررسی مجموع استنادهای مجله مجلات مورد پژوهش، ارائه شده طی سال‌های 1375 تا 1385 این نتیجه به دست آمد میزان استناد به مقالات همایشها در میان کل استنادها با 293 مورد 66/4% است.واستنادهایی که به مقالات همایشهای داخلی صورت گرفته است با 168 مورد (33/57)درصد و125 مورد ( 66/42) به ...

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

حلقه r با درونریختی ?، نیم جابجایی نامیده می شود هرگاه ab=0 نتیجه دهد ar?(b)=0 برای هرa,b?r. مفهوم حلقه ?-نیم جابجایی تعمیم مشترکی از حلقه های نیم جابجایی و حلقه های ?-صلب است. همچنین به مطالعه خواص این حلقه ها و حلقه های مرتبط با آن ها می پردازیم. حلقه r به طور ضعیف نیم جابجایی است هرگاه برای هر a,b?r، ab=0 نتیجه بدهد arb?nil(r) که در آن nil (r) مجموعه پوچتوان های r می باشد. مثال هایی ارائه خو...

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

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