قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

الملحمة فن لم یتحدّث العرب القدامی عنه ولم یعرفوا قواعده وأصوله ولم یعطوا وجوده وعیاً صحیحاً، فلذلک یخلو الأدب العربی القدیم من الروائع الملحمیة البارزة، بما فی الکلمة من المعنی العلمی الدقیق؛ بل هناک ما یضاهی الملاحم، والتی یمکن العثور علیها فی العصور القدیمة للأدب العربی. أما فی الأدب الحدیث، فنجد شعراء بارزین أنشدوا ملاحم تاریخیة علی منهج قدیم، کأحمد شوقی وبولس سلامه وعمر أبو ریشة ولکنّ ملاحمهم ...

الملخص إنّ البحث فی النظائر اللغویه من أهمّ العلوم التفسیریه التی یکاد یستحیل الاستغناء عنه فهماً للقرآن الکریم تعود سابقتها إلی صدر الإسلام وتناوله علماء بحثاً ودراسه سبقوا الطبرسی، أو جاؤوا بعده کما أنّه أحصیِت فیه الوجوه عدداً إلی القرن التاسع لمؤلّفات طبعت فیها. وأمّا المجمع مع توسّعه فیه فإنّه لم یستوف حقّه من هذا البحث فدراستنا هذه انطوت علی النظائر المستخدمه فی المجمع مع أشکالها ومفاهیمها المختلفه ا...

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

ارزشها، ساختارهایی روانشناختی هستند که در نتیجه تجربه‌های فرهنگی، اجتماعی و شخصی، درونی می‌شوند و پیامدهای خاص خود را دارند. پژوهش حاضر در پی کشف روابط معنایی و ساختاری ارزشها در جوانان دانشجو بوده است. بدین منظور 600 دانشجو (300 مرد و 300 زن) از چهار دانشکدة دانشگاه آزاد اسلامی واحد تهران جنوب، با روش نمونه‌گیری تصادفی ساده انتخاب شدند و با «زمینه‌یاب ارزشی شوارتز» (SVS )، محتوا و ساختار ارزشی...

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

در این پایان نامه به توصیف نتایج ‏‎tanaka-yamazaki‎‏ که در سال 2000 میلادی در ‏‎j.symbolic logic‎‏ به چاپ رسیده است می پردازیم که در آن مطالعه ریاضیات وارونه وجود (و یکتایی) اندازه هار برای گروههای فشرده جدایی پذیر (دارای مدول پیوستگی یکنواخت برای دو عمل) پرداخته می شود. نشان داده می شود که وجود‏‎‎‏ اندازه هار برای گروههای فشرده جدائی پذیر روی نظریه زمینه ای ‏‎rca‎‏، معادل با لم ضعیف کونیگ می ب...

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

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