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

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

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

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

 با به‌کارگیری نظریه تناظر برون­داد با برون­داد برای داده­های زبان ترکی آذربایجانی (گویش مشگین شهری) می­توان فرایندهای هماهنگی و ناهماهنگی واکه­ای را در چارچوب رتبه­بندی ثابتی از محدودیت­ها تحلیل کرد. فرایند­های هماهنگی و ناهماهنگی واکه­ای ظاهراً باهم متضاد به نظر می­رسند. حتی افرادی که در چارچوب رویکرد بهینگی به تحلیل این فرایند­ها پرداخته­اند، آنها را فرایند­هایی مجزا تلقی کرده و برای هر کدام ...

یافتن صحیح نقاط متناظر اعضای مجموع? آموزش، یکی از چالش های اساسی در ساخت مدل های آماری محسوب می شود. در این تحقیق از روش انطباق غیر صلب cpd (coherent point drift) بهبود یافته جهت یافتن نقاط متناظر و ساخت مدل آماری برای 30 تصویر سی تی اسکن کبد استفاده شده است. با ترکیب تناظر فازی، الگوریتم deterministic annealing و انطباق غیر صلب دو شکل، تناظر بین نقاط بدست می آید و مدل شکل آماری توسط یک تبدیل ص...

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

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

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

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