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

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

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

در این نوشته، برهانی غیر از برهان استاندارد برای قضیه کیلی - همیلتن ارائه می شود که بر مبنای استفاده از سری های توانی صوری استوار است.

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

در این پایان نامه، ما نخست مفاهیم mt-تابع،$tau$-تابع و$0^tau$-متر را معرفی نموده، سپس با به کارگیری این مفاهیم، قضایای نقطه ثابت جدیدی برای نگاشت های انقباضی مجموعه-مقدار غیرخطی اثبات می کنیم. سپس رده ی نگاشت های مستعد مجموعه-مقدار را معرفی نموده و قضایای نقطه ثابت جدیدی که گسترش هایی از قضیه نقطه ثابت کنان و قضیه نقطه ثابت جاترجی برای نگاشت های انقباضی مجموعه-مقدار غیرخطی در فضاهای متری کامل ه...

در این پایان نامه, زیرمدول های شبه اولیه کلاسیک معرفی می شود که تعمیم مفهوم زیرمدول های اولیه کلاسیک است. سپس تجزیه زیرمدول ها و تجزیه مینیمال آن ها به زیرمدول های شبه اولیه کلاسیک بررسی می شود, به ویژه وجود و یکتایی تجزیه شبه اولیه کلاسیک زیرمدول ها در مدول های متناهی مولد روی حلقه های نوتری ثابت می شود. به علاوه نشان می دهیم تجزیه شبه اولیه کلاسیک و تجزیه اولیه کلاسیک زیرمدول ها زمانی که r‎...

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

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

در مورد قضیه دروغ گو،(کل کلامی کاذب , هرچه می گویم دروغ است)در طی دو هزارو پانصدسال بسیار بحث شده است اما کمتر توجه کرده اند«کل کلامی کاذب»یک قضیه نیست بلکه یک شبه قضیه است که با اصل منطق منافات داردو نمی توانددرمنطق جایی پیداکند.این ها احکام و قضایای ممتنعند و پیداست که حکم یا قضیه ممتنع اصلا قضیه نیست که صادق یا کاذب باشد. دروغ دانستن دورغ, صادق بودن دروغ گو و صدق دروغ را اثبات نمی کندو نکته...