حل دستگاه های چندجمله ای چندمتغیره توسط پایه گروبنر، از قسمت های اساسی جبر محاسباتی است که توسط بوخ برگر در سال ‎1965‎ با ارائه در تز دکترایش وارد عرصه علمی شد. طی چند سال اخیر‎‎ ‎الگوریتم های مختلفی برای محاسبه ی پایه گروبنر ارائه شد که یکی از قویترین و کاراترین الگوریتم های موجود، الگوریتم ‎f5‎ است. این الگوریتم با داشتن محک های قوی، از محاسبات غیر ضروری (با حذف زوج های غیر مفید) جلوگیری می ک...

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

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

شبهه زدایی از آموزه‌های دین امری اجتناب ناپذیر است. حدیث هم به عنوان یکی از منابع استنباط دینی از این امر مهم مستثنی نیست. شبهه زدایی از احادیث می‌تواند با رویکرد ثبوتی یا اثباتی انجام شود. رویکرد ثبوتی ناظر به مقام ثبوت یعنی واقع امر و حقیقت حالِ مورد پژوهش است؛ در حالی‌که در رویکرد اثباتی تنها دغدغه کاربرد نتایج آن وجود دارد. علامه شبر از دانشمندانی است که از هر دو رویکرد در حل مشکلات اخبار به...

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

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

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

این مقاله با رویکردی تحلیلی- تطبیقی درپی واکاوی روش شناسی پژوهش های تجربی مالی و حسابداری دانشگاهی ایران و ارائه پیشنهادهایی برای بهبود وضعیت موجود می باشد. به این منظور، محورهای چالشی ده گانه ای که به نظر می رسد ریشه در برداشت های نادرست روش شناسی دارد مورد تجزیه و تحلیل قرار گرفته است. نتیجه گیریهای مبتنی بر تحلیل منطقی- تطبیقی نشان می دهد؛ روش شناسی پژوهش های تجربی مالی و حسابداری دچار نوعی ...

به تعبیر «کارل پوپر» مسأله شناخت از زمان دکارت به این طرف، سمت و سویی «ذهنی» یافته و لذا مشاهده می شود که «واقع گرایی » در ژرفای باتلاق مقدمات ذهنی ـ روانی گرفتار شده و اشتباهی بزرگ در حوزه معرفت رخ نموده که نتیجه آن اتکای بیش از حد به مقوله ای ذهنی به عنوان «عقل متعارف » است. پوپر برآن بود که با رجوع به سنن مکتب ارسطویی می توان به نگرشی واقع بینانه دست یافت که تصویری «عینی » از «حقیقت » را به ...