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

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

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

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

ابتدا یک خم ماکسیمال روی یک میدان متناهی با q^2 عنصر را در نظر می گیریم. گونای خم ماکسیمال روی این میدان دارای کران بالاست که با توجه به این کران به دسته بندی خم های ماکسیمال در مشخصه فرد و زوج می پردازیم. در مشخصه فرد خم ماکسیمال با بزرگترین گونا، خم منحصربفرد 2/(y^q+y=x^(q+1 است. در این پایان نامه با استفاده از مفاهیمی مانند سری های خطی و نقطه های وایرشتراس به دسته بندی خم های ماکسیمال با بزر...

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

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

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

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