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

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

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

هدف از این پژوهش معرقی مفهومی جدید در قیاس حملی ارسطویی به نام مبناپذیری است؛ به عبارتی ضربی از ضروب 24گانه­ی منتج قیاس ارسطویی مبناپذیر است اگر تنها با مفروض گرفتن یک ضرب به همراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد. بدین منظور در این مقاله نشان داده خواهد شد که تنها 15 ضرب منتج از ضروب 24گانه­ی منتج منطق حملی ارسطو دارای خاصی...

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

ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه‌ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف‌نظری دیده نمی‌شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می‌باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می‌شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق‌دانان قبل اثیر الدین ابهری را در بر می‌گیرد ...

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

‏قاب ها را می توان به صورت ‎‏«پایه های فوق کامل» در نظر گرفت به گونه ای که این خاصیت فوق کامل بودن‏، آن ها را نسبت به پایه های متعامد یکه بسیار انعطاف پذیرتر کرده است. در این پایان نامه بعد از تعاریف اساسی ابتدا با اثبات قضیه ای نشان خواهیم داد که نظریه ی قاب ها برای یک فضای کرین و این نظریه برای فضای هیلبرت مرتبط با آن هم ارز است. بـالاخره ثـابـت مـی کنـیـم که در هر عملگر خود القاء یک به...

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