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

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

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

در باروری مقوله جدید و رو به گسترشی است (growth factor) نقش سایتوکینها و فاکتور رشد  که سوی اکثر مطالعات را بخود جلب کرده است. نشان داده شده که سلولهای ایمنی و سایتوکینهای وابسته  به آنها در کلیه رویدادهای نورواندوگرین موثر در باروری، چه در تخمدانها و چه در جفت و رویان در  حال رشد نقش مهمی ایفا می کنند. بعلاوه مشخص شده است که این ارتباط دو جانبه بوده و قسمتهای مختلف سیستم نورواندوکرین، دستگاه ت...

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

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

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

در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

قضیه بورسوک-اولام و قضیه نقطه ثابت براوئر هر دو از قضیه های شناخته شده در توپولوژی هستند و هر دو غیر ساختاری و وجودی به شمار می آیند. بیشتر کتابهای درسی این قضیه ها را بدون ذکر رابطه آنها با یکدیگر بیان کرده اند. با وجود این ثابت می شود که قضیه بورسوک-اولام، قضیه نقطه ثابت براوئر را نتیجه می دهد. در این مقاله این نتیجه را با روشی مستقیم ثابت می کنیم.