نتایج جستجو برای: قضیه ذهنیه

تعداد نتایج: 3129  

ژورنال: :نشریه دانشکده فنی 2002
فرج اله عسکری اورنگ فرزانه

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده ریاضی و کامپیوتر خوانسار 1388

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه زنجان - دانشکده ریاضی 1393

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

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تهران 1367

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

ژورنال: :فقه و حقوق اسلامی 2014
حسن فرهودی نیا

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

ژورنال: تاریخ علم 2014

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

ژورنال: :نشریه دانشکده فنی 1967
جمشید حسینی

ژورنال: :منطق پژوهی 0
کامران قیوم زاده استاد یار گروه آموزشی فلسفه و منطق دانشگاه تربیت معلم آذربایجان

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1390

در این پایان نامه که بر اساس مرجع [11] تنظیم شده است یک معیار جدید برای عملگر‎k‎ ‎-هیپونرمال ‎‎‎از طریق عملگر زیر‎نرمال ضعیف به دست خواهیم آورد. با استفاده ازمعیار به دست آمده، نوع‎ ‎قوی تری‎ از معیار زیرنرمال اسپیکووسکی‎‎‎ ‎‎را ارائه می دهیم و یک اثبات ساده از نتیجه ی اصلی مرجع [18] که یک فاصله ی بین ‎-‎k‎‎هیپونرمال و ‎‎-‎k‎+1‎هیپونرمال برای عملگرهای توپلیتز ‎‎‎‎را شرح می دهد، به دست می آوریم....

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید