گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل‌گری» و «قواعد ساختاری» تقسیم می‌کند. مقصود وی از قواعد عمل‌گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان‌کنندة ویژگی‌های مبنایی یک استدلال است به‌‌ گونه‌ای که هر تغییری در آن‌ها سبب تغییر کل سیستم می‌شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل‌گری قابل حصول است این نکته زیربنای رویکرد...

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

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

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

پژوهش حاضر به روش مقایسه ای (تطبیقی)، به بررسی وضعیت توصیف منابع اینترنتی در آر.دی.ای. و مقایسه آن با قواعد فهرست نویسی انگلوامریکن پرداخته است. هدف اصلی پژوهش این است که ضمن بررسی وضعیت توصیف منابع اینترنتی در انگلوامریکن، رویکرد آر.دی.ای. را نسبت به توصیف این منابع نشان دهد. جامعه پژوهش، ناحیه های توصیف فصل 1، فصل 9 و فصل 12 آخرین ویرایش قواعد فهرست-نویسی انگلوامریکن (ویراست سال 2002، روزآم...

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

مزونd_s از طریق برهمکنش ضعیف به مزونk^* واپاشیده می شود. بنابراین با بررسی واپاشی این مزون می توان عناصر ماتریس ckm را به طور دقیق محاسبه کرد. به علاوه عوامل ساخت این گذار در مطالعه قطبش نامتقارن و خطاهایtو cpمورد استفاده قرار می گیرد.در روش قانون جمع کرومودینامیک کوانتومیqcd موسوم به(svz) که پرکاربردترین ابزار مورد استفاده در پدیده شناسی هادرون است به جای یک رفتار وابسته به مدل با جملاتی از کو...

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

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

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