نتایج جستجو برای: تعریف متضایفان
تعداد نتایج: 26612 فیلتر نتایج به سال:
دین و باورهای توحیدی سنگ بنای جوامع انسانی است و فرهنگ و ارتباطات مهمترین ابزارهای تجلّی این سنگ بنا هستند. درباره این سه مولفه، یعنی دین، فرهنگ و ارتباطات_ که وجه ممیّز انسان از سایر موجودات هستند _ و نسبت و ارتباط بین آن ها بحث های متعدّد و تعاریف مختلفی ارائه گردیده است. بررسی تعاریفی که از دین، فرهنگ و ارتباطات با توجّه به نسبت این سه مولفه با هم و با نگاهی به ادبیات ارتباطات میان فرهنگی و ارتب...
هدف: هدف این مقاله، شناسایی تعریف های ارائه شده دربارۀ سند، سنجش کیفی دایرۀ کاربرد هر یک از آن ها، و بررسی امکان ارائۀ تعریفی جامع و مانع برای سند، جدای از تعریف تخصصی و حوزۀ کاربرد هر واژه است. بحث دربارۀ تعریف سند از نظر آرشیو، هدف دیگر این بررسی است. روش/ رویکرد پژوهش: روش پژوهش، کتابخانه ای است. در این مقاله، منابع مرتبط، شناسایی و تعریف های ذکر شده برای سند، گردآوری و دسته بندی شده و مورد...
مقالۀ حاضر به بررسی این مطلب میپردازد که چرا افلاطون در محاورههای تعریفی در نهایت به پرسش طرح شده پاسخ قطعی ارائه نمیدهد و به اصطلاح این محاورات به آپُریا ختم میشوند. به این منظور نخست ریشهشناسی این کلمه را مورد بررسی قرار میدهیم که بنا بر آن مشخص میشود آپُریا به معنای دشواری است که شخصیتهای ترسیم شده در محاورات در پیدا کردن پاسخ پرسش مطرح شده، بدان دچار میشوند و در دستیابی به پاسخ نهای...
«أل» یا «الف و لام» و یا «لام» به تنهایی، «اسم» و یا «حرفی» است که در جمله های عربی، کاربردی فراوان دارد. وشاید از حقیقت فاصله نگرفته باشیم اگر بگوییم این واژه، پرکاربردترین «کلمه» در زبان عربی است و انواع آن بالغ بر چهارده نوع میشود. شناخت انواع این کلمه پرکاربرد و مواضع به کار بردن یا نبردن آن، یکی از مشکلهای همیشگی کسانی است که به آموزش این زبان، روی آوردهاند، و حتی در برخی ...
چکیده ندارد.
قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...
در نظریه ی مدل اصلی ترین و مهمترین کار در بررسی ساختارها، مشخص کردن زیرمجموعه های تعریف پذیر و توابع تعریف پذیر در آن ساختارها می باشد. مشخص کردن زیرمجموعه ها و توابع تعریف پذیر راه مطالعه ی این ساختارها را هموار خواهد کرد. در این پایان نامه سعی شده زیر مجموعه ها و توابع تعریف پذیر در زوج های چگال از ساختارهای ت-کمینه مشخص شوند.(یک ساختار را ت-کمینه می نامیم هرگاه زیر مجموعه های تعریف پذیر آن ...
چکیده ندارد.
فرض کنید r حلقه ای شرکت پذیر و یکدار بوده، r-mod(mod-r) رسته r_مدول های چپ (راست) و mod_r (mod-r) رستهr_مدول های چپ (راست) با نمایش متناهی باشد. مدول اگر به طور دقیق مشخص نشده باشد، اشاره به r_مدول چپ خواهد داشت.ab رسته گروه های آبلی بوده و نماد? همیشه به معنی ?r خواهد بود. در این پایان نامه ما به مطالعه زیررسته های تعریف پذیر از r-mod می پردازیم. خواهیم دید که برای این هدف باید زیررسته های خاص...
مرجع اصلی این پایان نامه (5) است. مدل تعریف پذیر اردینال ( به این نوع مدل پاریس نیز خواهیم گفت) مدل از نظریه مجموعه هاست که تمامی اردنیال هایش در تعریف پذیر مرتبه اول هستند .جفری پاریس (1973) نخستین قدم را در مطالعه مدل های تعریف پذیر اردینال برداشت و نشان داد که :1- هر گسترش سازگار t از zf دارای مدلی تعریف پذیر اردینال است. 2- گسترش کامل t به تقریب یکریختی دارای مدل تعریف پذیر اردینال یکتایی ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید