در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

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

دعوای اکوادور علیه کلمبیا معروف به قضیه سم‌پاشی هوایی که در 31 مارس 2008 تحت رسیدگی دیوان بین‌المللی دادگستری قرار گرفت، مستعد طرح نکات و مسائلی است که از بُعد زیست‌محیطی خصوصاً در حوزه آلودگی‌های مرز‌گذر قابل بررسی است به‌نحوی که برخی محققین بدان لقب تریل اسملتر قرن بیست‌و‌یکم داده‌اند.قضیه تریل اسملتر (دعوای میان ایالات متحده آمریکا و کانادا) نزد علاقه‌مندان مباحث حقو...

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

درسالهای اخیر چندین توسیع وتعمیم برای کلاس توابع محدب در نظر گرفته شدکه یک تعمیم قابل ملاحظه آن توابع شبه محدب بود. تابع را یک تابع شبه محدب می نامیم هرگاه یک مجموعه شبه محدب، غیرتهی باشد.به شرط آنکه یک تابع برداری مقدار موجود باشد به طوریکه رابطه ذیل برقرار باشد شبه تحدب دربهینه سازی غیرخطی وشاخه های ناب علوم کاربردی، بسیار موثراست که اولین بارتوسط شخصی به نام هانسون [14] در سال 1981 ارائ...

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

چکیده: مسأله این تحقیق تبیین چگونگی تأثیرپذیری رشته مدیریت­دانش از تئوری­دانش (یا معرفت­شناسی) و ترسیم خط سیر این تأثیرپذیری است. هدف اولیه از طرح این مسأله، ارائه یک مدل مفهومی از تأثیرات تئوری­دانش بر مدیریت­دانش و بیان قضایا و احکامی است که خط سیر تأثیر را نشان می­دهد. برای حل این مسأله و رسیدن به هدف تحقیق، ادبیات مرتبط با مبانی معرفت­شناسیِ مدیریت­دانش موجود مرور شد. با بررسی دقیق مباحث مطر...

چکیده: مسأله این تحقیق تبیین چگونگی تأثیرپذیری رشته مدیریت­دانش از تئوری­دانش (یا معرفت­شناسی) و ترسیم خط سیر این تأثیرپذیری است. هدف اولیه از طرح این مسأله، ارائه یک مدل مفهومی از تأثیرات تئوری­دانش بر مدیریت­دانش و بیان قضایا و احکامی است که خط سیر تأثیر را نشان می­دهد. برای حل این مسأله و رسیدن به هدف تحقیق، ادبیات مرتبط با مبانی معرفت­شناسیِ مدیریت­دانش موجود مرور شد. با بررسی دقیق مباحث مطر...

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

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