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

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

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

چکیده ندارد.

چکیده ندارد.

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

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

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

چکیده ندارد.

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