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

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

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

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

بخش اول این بخش شامل اجرای یک روش انتخاب متغیر با استفاده از روش جک نایف بر روی توصیفگرهای متعامد شده با استفاده از روش gram-schmidtاست. در این مطالعه از دادهی سلوود که دارای 31 مولکول و 53 توصیفگر است استفاده شده است. از دو روش رگرسیون: رگرسیون چند متغیره و همچنین pls در ساختن مدل و انتخاب متغیر در داخل جک نایف استفاده شده است. و نتایج نشان از عملکرد بهتر pls چه با داده ی هم مقیاس و چه با داد...

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

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

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