محمد گلشنی

محمد گلشنی

مطالب

فیلتر های جستجو: فیلتری انتخاب نشده است.
نمایش ۱ تا ۲ مورد از کل ۲ مورد.
۱.

بررسی روش های مختلف معرفی فورسینگ(مقاله علمی وزارت علوم)

کلید واژه ها: فورسینگ مدل های بولی-مقدار فیلتر ژنریک رسته

حوزه های تخصصی:
تعداد بازدید : ۳۴۲ تعداد دانلود : ۳۴۶
روش فورسینگ کوهن یکی ازمهمترین ابزارهای نظریه مجموعه ها برای ساختن مدل های از ZFC می باشد. در این مقاله روش های مختلف معرفی فورسینگ را بررسی کرده و نشان می-دهیم همه آنها با هم معادل هستند. . ابتدا روش فورسینگ را به کمک مجموعه های جزئاً مرتب بیان می کنیم و بعضی از خواص اساسی آن را ذکر می کنیم. سپس روش مدل های جبر بولی-مقدار را می آوریم و نشان می دهیم که این رویکرد به فورسینگ با روش اول معادل است. این کار با نشان دادن اینکه هر مفهوم فورسینگ را می توان به طور چگال در یک جبر بولی کامل نشاند صورت می پذیرد. سپس به معرفی فورسینگ از دیدگاه توپولوژی می پردازیم و ارتباط آن را با روش مجموعه های جزئاً مرتب می آوریم. نشان خواهیم داد رابطه فورسینگ که از دیدگاه توپولوژیکی معرفی می شود با رابطه فورسینگ که از دیدگاه مجموعه های جزئاً مرتب تعریف شده یکی است و بنابراین این دو روش اساسا یکی هستند. سرانجام به معرفی فورسینگ از دیدگاه نظریه رسته ها پرداخته و ارتباط آن را با روش مدل-های جبر بولی-مقدار می آوریم. نشان می دهیم که برای یک جبر بولی کامل رسته شیف های روی آن را می توان با جهان بولی مقدار ساخته شده توسط آن جبر بولی یکی گرفت.
۲.

بررسی تطبیقی نقش اجرای طرح کاداستر در پیشگیری از زمین خواری در حکمرانی حقوقی اجرایی ایران و انگلیس(مقاله علمی وزارت علوم)

تعداد بازدید : ۱۶۶ تعداد دانلود : ۲۰۰
از جرائم اقتصادی که در سالهای اخیر رشد قابل ملاحظه ای داشته پدیده زمین خواری می باشد . یکی از مشکلات عمده حقوقی، اجتماعی و اقتصادی فقدان تعریف روشن از این پدیده مجرمانه است. عوامل و عناصر مختلفی در ارتکاب زمین خواری موثر می باشند و امروزه زمین خواران از روش های متنوع و متعددی جهت نیل به اهداف خود که همان کسب ثروت بادآورده و هنگفت و بدون هیچ گونه زحمتی می باشد استفاده می کنند. مسائل و چالش های مربوط به کاربری بهینه منابع و مدیریت زمین در سراسر جهان واجد اهمیت بسیاری است، روند رو به رشد جمعیت و نیاز روزافزون به زمین و منابع زمینی، نیاز به کنترل و توجهات بیشتری را می طلبد. یکی از مهم ترین و اساسی ترین راهکارها و راهبردها برای کنترل و مدیریت کاربری، استفاده از «حدنگاری» و یا کاداستر می باشدکه کشورهای پیشرفته آغاز گر بهره گیری از این سیستم در ساماندهی املاک و اقدامات پیشگیرانه خود در حوزه جرایم علیه اموال و مالکیت بوده اند از این رو در مقاله حاضر که به روش توصیفی تحلیلی و با بهره گیری از منابع و متون کتابخانه ای به انجام رسیده در پی نیل پاسخگویی این سؤال بوده ایم که اجرای طرح کاداستر در نظام های حقوقی ایران و انگلستان چه نقشی در پیشگیری از وقوع جرایم مرتبط با زمین خواری داشته است؟ یافته های تحقیق گویای این است که در هر دونظام حقوقی ایران و انگلستان یکی از بهترین و مهمترین راه ها برای پیشگیری از زمین خواری که نوعی پیشگیری وضعی غیر کیفری می باشد

کلیدواژه‌های مرتبط

پدیدآورندگان همکار

تبلیغات

پالایش نتایج جستجو

تعداد نتایج در یک صفحه:

درجه علمی

مجله

سال

حوزه تخصصی

زبان