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

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

ژورنال: :پژوهشنامه حقوق کیفری 2011
عیسی گلین مقدم

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

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

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

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

نظریه همگرایی ضعیف اندازه احتمال بطور وسیعی در مطالعه الگوهای احتمال کاربردی به کار برده شده است . تاکنون بیشترین مورد استفاده ضعیف در نظریه صف می باشد، سیستم صف بندی gl/g1 در ترافیک سبک خاصیت مساعد بازگشت به وضعیت بیکاری زیاد رخ می دهد. هدف ما در این رساله کشف این ویژگی برای توسعه قضایای حدی برای فرایندهای زیادی که توسط این سیستم تولید می باشد، این فرایندها عبارتند از: wn: زمان انتظار مشتری nا...

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

یکی از جالب ترین نتایج در سیستم های دینامیکی یک بعدی قضیه ی شارکوفسکی است که به دلیل مفروضات ساده و نتایج قوی، از اهمیت خاصی در سیستم های دینامیکی برخوردار است. این قضیه بیان می کند که اگر f:i?i یک نگاشت پیوسته باشد، که دارای یک نقطه ی تناوبی از دوره ی تناوب kاست، آنگاه f دارای یک نقطه ی تناوبی با دوره ی تناوب n نیز می باشد که k قبل از n در ترتیب شارکوفسکی است. در اینجا صورت دقیق قضیه ی شارکو...

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

با بررسی قضیه های کلاسیک باناخ-استون، گلفاند-کلموگروف و کاپلانسکی در می یابیم، یک فضای هاسدورف فشرده x منحصراً به وسیله ساختار طولپای خطی، ساختار جبری و ساختار شبکه ای به ترتیب از فضای c(x) تعیین می شوند. در این پایان نامه نشان داده شده است، برای زیر فضاهای نسبتاً عمومی a(x) و a(y) به ترتیب از c(x) و c(y) هر دوسویی خطی t ازa(x) به a(y) به یک همسان ریختی h از x به y منجر می شود که در آن t یک عملگر...

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

دراین پایان نامه سه حالت چهار همبند چهار همبند درونی و چهار همبند ضعیف مورد بحث و بررسی قرار می گیرد و قضیه اصلی در این سه حالت مورد بررسی قرار می گیردو در این پایان نامه ثابت می شود که اگر n مینور سره 4-همبند درونی از متروید دودویی 4-همبند ضعیف m باشد به طوریکه n حداقل 7 عضو دارد آنگاه مینور 4-همبند ضعیف q از m وجود دارد به طوریکه q یک n-مینور دارد و اختلاف اعضای m , q بین 1 و 2 می باشد یا این...

ژورنال: :آینه معرفت 0
اسد الله فلاحی عضو هیئت علمی دانشگاه زنجان

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

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

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

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

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

ژورنال: :پژوهشهای فقهی 2012
محمد رسول آهنگران فاطمه زارع مویدی

مفهوم «شرط»، از جمله مباحث علم اصول فقه و به معنای انتفای حکم موجود در قضیه شرطیه در فرض انتفای شرط است. برای اثبات و وجود مفهوم شرط، لازم است با انتفای موضوع، سنخ حکم موجود در قضیه شرطیه منتفی شود و نه شخص حکم. اما انتفای سنخ حکم در قضایایی که حکم مستفاد از هیأت است، با یک اشکال جدی روبه­رو است؛ چرا که بنا برنظریه مشهور در خصوص وضع هیأت، حکم مستفاد از هیأت، دارای معنای جزئی و به عبارتی شخص حکم...

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

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