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

در این رساله، ‏برخی‎ خواص مشتق روی حلقه ها و $(f,g)$-مشتق دوتایی متقارن روی گاما‎حلقه ها مورد بررسی قرار گرفته است.‎ مفهوم مشتق روی ابرحلقه های ضربی و کراسنر به عنوان تعمیمی از مفهوم مشتق روی حلقه ها معرفی و برخی خواص آن مورد مطالعه قرار گرفته است. در این میان‏، ابرحلقه های (ضربی و کراسنر) دیفرانسیل معرفی و برخی خواص آن ها مورد بررسی قرار گرفته است. سپس، به تعمیم مفهوم مشتق پرداخته شده و بدین ت...

در بسیاری از کتابهای جبر مجرد دورۀ کارشناسی، ثابت می شود که هر دامنۀ اقلیدسی یک دامنۀ ایدآل اصلی است و هر دامنۀ ایدآل اصلی، یک دامنۀ تجزیۀ یکتا است. بنابراین زنجیری از استلزامهای منطقی را داریم. بسیاری از کتابها خاطرنشان می کنند که عکس این استلزامها درست نیستند. در این نوشته نشان می دهیم که در واقع شرط تقریباً اقلیدسی معادل با دامنه ایدآل اصلی است.

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

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

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

این مقاله به بررسی سازگاری یا ناسازگاری اصل اختیار با اصل علیت فلسفه و قانون موجبیت«دترمینیسم» فیزیک می­پردازد. نویسنده نخست به تعریف و تبیین حقیقت اختیارو جبر پرداخته، آنگاه شبهات مدعیان تعارض اختیار با اصل علیت (جبر علی و معلولی، استحاله ترجیح بلامرجح و تسلسل اراده­ها) را  تحلیل و نقد می­نماید. بخش آخر مقاله به بررسی و مقایسه قانون دترمینیسم فیزیک کلاسیک و قوانین آماری و اصل کوانتوم فیزیک جدی...

پژوهش پیش رو دربارۀ مسئلۀ کلامی جبر و اختیار از دیدگاه سید عبدالرحیم تاوه­گوزی، مشهور به مولوی کرد (1222ـ1300 ق.) و مولانا جلال­الدین محمد بلخی (606ـ672 ق.) است. مولوی کرد در منظومه­‌های کلامی خود به‌تفصیل به مباحث کلامی و از جمله مسئلۀ جبر و اختیار پرداخته و تلاش می­کند این مسئله را در محدودۀ افکار و اندیشه­‌های ابوالحسن اشعری و البته تا حدودی متفاوت با رویکرد و روش او بیان کند. مولانا جلال­‌ا...

پژوهش پیش رو دربارۀ مسئلۀ کلامی جبر و اختیار از دیدگاه سید عبدالرحیم تاوه­گوزی، مشهور به مولوی کرد (1222ـ1300 ق.) و مولانا جلال­الدین محمد بلخی (606ـ672 ق.) است. مولوی کرد در منظومه­ های کلامی خود به تفصیل به مباحث کلامی و از جمله مسئلۀ جبر و اختیار پرداخته و تلاش می­کند این مسئله را در محدودۀ افکار و اندیشه­ های ابوالحسن اشعری و البته تا حدودی متفاوت با رویکرد و روش او بیان کند. مولانا جلال­ ا...