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

در این پایان نامه به شرح مفاهیم اولیه از هندسه همتافته می پردازیم. ابتدا مفهوم فضاهای خطی همتافته وسپس منیفلدهای همتافته بررسی می شوند.در مرحله ی نهایی ازاین پایان نامه به ایده های اثبات قضیه نافشردگی گروموف اشاره می کنیم.

در این رساله، به مطالعه و بررسی عملگرهای ترکیبی روی فضای هاردی وزندارh^2 (?,d) وh^p (?) روی گوی یکه ی بازd می پردازیم. در فصل اول تعاریف و قضایایی را بیان می کنیم که در فصل های بعد مورد استفاده قرار می گیرند، از جمله قضیه ی تکرار دنجوی – ولف، قضیه ی مانتل و... در فصل دوم ابتدا به معرفی فضاهای هاردی وزندارh^2 (?,d) پرداخته و سپس رابطه ی آنها را با فضاهای هاردی وزندارh^2 (?,d) و فضای برگمنa^2 ...

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

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

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

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

در پایان نامه حاضر قصد داریم به بررسی و تشریح برهان جبری برای یکی از قضایای مهم منطق ریاضی به نام قضیه حذف برش بپردازیم. این قضیه که یکی از مهمترین نتایج در نظریه برهان بر پایه حساب رشته هاست، اولین بار توسط گرهارد گنتسن ، در سال 1934 برای منطق های کلاسیک و شهودگرایی اثبات شده است. از اوایل قرن نوزدهم زمینه های مشترکی بین منطق ریاضی و جبر بوجود امد که موجب گسترش تحقیقات در منطق بوسیله تکنیک ها...

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

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