رنگ آمیزی گراف ها یکی از مباحث اصلی در نظریه گراف است که هم از دیدگاه نظری و هم از دیدگاه کاربردی همواره مورد توجه بوده است. یک تخصیص رنگ به رأس های گرافg را یک رنگ آمیزی معتبر از گراف g گوییم هرگاه رأس های مجاور رنگ های متمایزی دریافت کنند. به کمترین عدد صحیح k به طوری که g یک رنگ آمیزی معتبر داشته باشد عدد رنگی گراف می گوییم و با نماد(?(g نشان می دهیم. رنگ آمیزی لیستی یا انتخاب پذیری به عنوا...

در سال 2001 هاوی یک حدسی را مطرح کرد که اگر r یک حلقه ی جابجایی و کوهرنت باشد آنگاه یک ایزومورفیسمی از شبکه ها مابین کلاس زیرکاتگوری های کوهرنت از زیر کاتگوری کامل از کاتگوری r-مدولهای متناهیا نمایش داده شده و کلاس زیرکاتگوری های تیک از کاتگوری مشتق شده از هم بافت های کامل روی r وجود دارد. در این پایان نامه دو قضیه ی زیر را اثبات خواهیم کرد: قضیه a)فرض کنیم r یک حلقه ی جابجایی و نوتری باشد.در...

در این پایان نامه نشان خواهیم داد که نوع خاصی از حدسیه لنگ در مورد نقاط گویای روی رویه های از نوع کلی ایجاب می کند که اگر مختصات x برای n نقطه ی گویا با 8 <=n مشخص باشد آنگاه تنها تعداد متناهی خم بیضوی با چنین مشخصاتی وجود خواهد داشت.

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

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

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

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

چکیده ندارد.

دانشجویان معماری معمولاً در شروع طراحی نمونه‌های مشابه را جست‌وجو و مطالعه می‌کنند. توصیه به بهره‌گیری از آثار معماری در طراحی در جهت ارتقای کیفیت طراحی انجام می‌<span ...

یکی از چالشهای جدید اختیار که بر پایۀ برخی یافته‌های علوم تجربی مطرح شده، آزمایشی است که بنجامین لیبت دربارۀ فرآیندهای مغزی که به قصد و ارادۀ انسان منجر می‌شوند، انجام داده است. او در این آزمایش به این نتیجه رسید که این چنین نیست که انسان ابتدا اراده کند و بعد مغز به کار بیفتد و فرمان اراده را اجرا کند و در نتیجۀ آن اندام‌ها حرکت کنند، بلکه این مغز انسان است که 400 میلی ثانیه قبل از عمل، به صور...