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

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

بعلاوه این نتایج به فضاهای cat(0) تعمیم داده می شوند. همچنین نتایجی درباره نقاط ثابت و همگرایی تکرار مان-گونه نگاشت های سوزکی-نامبسوط تعمیم یافته در فضاهای cat(0) ارایه می گردند.

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

مجموعه ی همه ی زیرفضاهای یک فضای برداری را هندسه ی تصویری از مرتبه ی روی میدان متناهی نامیده و با ‎‎‏نشان می دهند. تابع یک متر روی هندسه ی تصویری ‎‎‏تعریف می کند. یک زیرمجموعه از یک کد زیرفضا نامیده می شود.برای هر عدد ثابت نامنفی مجموعه ی همه ی زیرفضاهای بعدی از گراسمانیان نامیده می شود و با نشان داده می شود. اگر یک کد زیرفضا زیرمجموعه ای از گراسمانیان باشد آن را یک کد با بعد ثابت می نامند. کده...

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

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

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

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

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