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

فرض کنیم s عددی صحیح و مثبت باشد. یک گراف را s-انتقالی گوییم هرگاه گروه خودریختی های آن روی s-کمان ها انتقالی باشد اما روی s+1-کمان ها انتقالی نباشد. همچنین گراف را نیم کمان انتقالی گوییم هرگاه یال انتقالی و راس انتقالی باشد اما کمان انتقالی نباشد. در این پایان نامه طبقه بندی کاملی از گراف های s-انتقالی از ظرفیت چهار و از مرتبه ی 4p ارائه شده است.

فرض کنید g یک گراف با مجموعه رأس های v(g) و مجموعه یال های e(g) باشد. رأس تمام رأس های واقع درn[v] را احاطه می کند. زیرمجموعه s از رأس های g ، یک مجموعه احاطه کننده برای g نامیده می شود هرگاه هر رأس توسط حداقل یک رأس از s احاطه شده باشد. مینیمم عدد اصلی در بین تمام مجموعه های احاطه کننده را عدد احاطه کننده نامیده و با نشان می دهند. اگر یک گراف بدون رأس منفرد، همبند، یا بدون یال باشد، آن گاه ...

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

چکیده ندارد.

این نظریه که قضیه یا تصدیق لفظ مرکب تام خبری است که قابلیت صدق و کذب دارد تقریبا مورد اعتقاد همه منطق دانان است قابلیت صدق و کذب ذاتی قضیه است و به همین دلیل است که ارزش هر قضیه در قالب منفصله حقیقیه که مبین نفی تناقض است در می آید یعنی هر قضیه ای یا صادق است یا کاذب و حالت سومی قابل فرض نیست این ملاک در همه انواع قضایای خبری صدق می کند و هیچ استثنایی ندارد اما از همان آغاز تدوین اندیشه و خصوصا...

در برخی قضایا و در برخی زبان‌ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه‌ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه‌ای از مراتب «وجود» می‌دانند و از این رو از آن به «وجود رابط» تعبیر می‌کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم‌ترین آن‌ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

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

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