بسیاری از محققان از جمله مشایخ صوفیه در طول تاریخ، تعاریف متعددی از عرفان و تصوف ارائه کرده اند. نخستین تعریف از آنِ معروف کرخی (وفات: 200 هـ. ق) می باشد. نیکلسون در پیدایش و سیر تصوف 78 تعریف از تصوف، ذکر کرده است که البته این تعاریف تنها از سه کتاب (تذکره الاولیاء، رساله قشیریه و نفحات الانس) برگرفته شده اند و هیچ کدام آن طور که باید جامع و مانع نیستند. به نظر می رسد در این میان، دکتر شفیعی کد...

در این رساله ابتدا نظریه توابع بازگشتی (محاسبه پذیر) و سپس نظریه درجات حل ناپذیری به طورخلاصه معرفی می شوند.در ادامه ثابت می کنیم که هر رابطه شمارش پذیر روی درجات شمارش ، ‏‎c‎‏ ، به طور یکنواخت ، با پارامترهایی در ‏‎c‎‏ ، تعریف پذیر است. در نتیجه ، تئوری مرتبه اول ‏‎c‎‏ ، به طور بازگشتی با حساب مرتبه دوم یکریخت است. با کمک یک صورت کارآمد از لم کدگذاری ، نشان داده می شود که تئوری مرتبه اول درجات...

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

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

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

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

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

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

شیخ اشراق یکی از ناقدان جدی تعریف به ذاتیات ماهوی و به‌ویژه تعریف به حد است. او در آثار خود دو راه متفاوت را برای تعریف اشیاء معرفی می‌کند: در راه نخست، از تعریف موجودات نیازمند تعریف (مرکبات)، به اعراض و خواصشان(به تعبیر او به بسایط) و در راه دوم، از تعریف به ذاتیات مفهومی سخن گفته است. نظریۀ تعریف به بسایط، متشکل از هفت مؤلّفه است. در این مقاله، با تحلیل و بررسی این مؤلفه‌ها، این نظریه‌ را توض...

‏دراین پایان نامه ابتدا در یک مشبکه تقریبا توزیع پذیر،ایده ال اول و ?-ایده ال را تعریف می کنیم. سپس شرایطی را به دست می آوریم که هر ایده ال اول یک ? -ایده ال باشد. همچنین نشان می دهیم مجموعه همه ? -ایده ال های مشبکه تقریباً توزیع پذیرrیک مشبکه توزیع پذیر کامل است. و در نهایت اثبات می کنیم اگر f یک همریختی حافظ پوچساز و پوشا باشد آنگاه هر? -ایده ال به یک ? -ایده ال نگاشته می شود.