واکنش مناسب در برابر واقعه مجرمانه که از اهداف مهم نظام عدالت کیفری به شمار می­آید، در گرو فراهم آمدن عوامل متعددی است؛ اما این یک اصل بدیهی است که پیش از هر اقدام، لازم است وقوع جرم به معنای فعل یا ترک فعل پیش­بینی شده در قانون و ارتکاب آن از سوی متّهم، توسط مقام قضایی اثبات گردد. از این رو، قاضی را باید ملزم به انجام دو تکلیف کلّی دانست؛ نخست آن که واقعۀ مجرمانه را قانونمند اثبات کند، و دوم آن ...

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

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

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

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

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

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

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