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

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

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

1)مطالعه همگرایی خم ها و دنباله های تقریبا انبساطی در چارچوب فضای هیلبرت و فضای های گسترده تر 2)تعمیم خم ها و دنباله های تقریبا انبساطی به حالت نیم گروهی . 3)بررسی کاربردهای نظریه در معادلات تحولی و سایر کاربردهای احتمالی

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

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

پرکولاسیون برنولی برای مدلبندی ریاضی نفوذ یک "سیال" در یک "واسطه" به وجود آمده است . این واسطه معمولا یک گراف منظم فرض می شود که بندهای (بستهای) آن با احتمال p، باز و با احتمال 1-p بسته اند. در پرکولاسیون نخستین گذر، ناحیه ای که پیش از زمان معین t، تنها در صورت خیس بودن مبدا در زمان صفر، به وسیله سیال "مرطوب " می شود، مورد مطالعه قرار می گیرد. مهمترین قضیه در این مبحث قضیه شکل کاکس و دورت است ....

قانونگذار قانون مجازات اسلامی سال 1370 برابر ماده 231 اقرار و شهادت (بینه) را از راه­های ثبوت قتل در دادگاه به حساب آورده و مواد 232 الی 236 را به احکام اقرار و مادتین 237 و 238 را به احکام شهادت اختصاص داده است. در فرضی که بر ارتکاب قتل از سوی «الف» با گواهان حائز شرایط اقامه بینه می­شود و در عین حال فرد دیگری با شرایطی که مقنن در جهت پذیرش اقرار لازم می­داند، اقرار می­کند که قاتل نه مشهود عل...

قضیۀ اول مقالۀ دهم اصول اقلیدس، اساس «روش افنا» است. اقلیدس این قضیه را برای نسبت متغیر ثابت می‌کند. ابن هیثم (سدۀ 4 هجری) بنا بر ادعای خود در فی حل شکوک، پی برده بود که حکمی که اقلیدس مطرح می‌کند جزئی است و حکم کلی را برای نسبت ثابت برای اولین بار در این کتاب مطرح و اثبات کرده است. خواجه نصیر الدین طوسی (597-672ق) در تحریر اصول اقلیدس، همان نظر ابن هیثم را تکرار می‌کند. ابن صلاح همدانی (درگذشت...

اولین چیزی که پس از شنیدن کلمه پیوستگی به ذهن کسی که با ریاضیات آشنایی مختصری دارد خطور می کند روش اپسیلون- دلتا ‎می باشد,‎ یا قضیه معروف آنالیز ریاضی که بیان می کند "یک نگاشت پیوسته است اگر و تنها اگر تصویر معکوس هر مجموعه باز (بسته), باز (بسته) باشد." پیوستگی یک خاصیت توپولوژیکی است. بعضی از توابع علاوه بر خواص توپولوژیکی دارای خواص جبری نیز هستند که پیوستگی را می توان با استفاده از آنها نیز ...