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

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

در این پایان نامه تعاریف گوناگونی از اجتماع,اشتراک دو زیر شئ از یک شئ و متمم یک زیر شئ از یک زیر شئ در یک رسته دلخواه آورده شده است.هم چنین روابط بین اجتماع ها,اشتراک ها و متمم های گوناگون را بدست آورده و وجود هریک از آن ها را در رسته های set , top و rmod بررسی نموده ایم

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

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

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

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

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

فرض کنید s یک p-گروه متناهی باشد ، زیرگروه آبلی a در s را یک زیرگروه آبلی بزرگ s گوییم، اگر برای هر زیرگروه آبلی b در s ، مرتبه a از مرتبه b بزرگتر یا مساوی باشد. زیرگروه a در s را به طور مرکزی بزرگ گوییم، اگر برای هر زیرگروه b در s مرتبه a در مرتبه مرکزش بزرگتر مساوی مرتبه b در مرتبه مرکزش باشد. مطالعه روی زیرگروههای آبلی بزرگ در سال 1964 با قضیه p-متمم نرمال دوم تامپسون آغاز گردید،که زیرگرو...

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