نتایج جستجو برای: نظام اول کریپکی
تعداد نتایج: 112391 فیلتر نتایج به سال:
ذاتی گرایی(essentialism) نظریه ای متافیزیکی است که ریشه در سنت پربار ارسطو دارد. در این نظریه برخی ویژگی ها، هویت یک شی ء را تعیین می کنند. قائلان به چنین دیدگاهی، هر شی ء را دارای ذات مختص به خود می دانند. نفی امکان شناخت ذات اشیاء، نقدی است که بر نظریهی ذاتی گرایی ارسطو وارد شده است. این انکار بهویژه در آموزه های پوزیتیویسم منطقی با رد مابعدالطبیعه به اوج خود رسید. علاوه بر متن دست آوردهای ...
همزمان با دیگر کشورهای منطقه، در خلال دو جنگ جهانی، لزوم برخورداری از ارتش منظم و یکپارچه، بیش از بیش در ایران احساس می شد. از این رو، سران نظامی ایران تلاش هایی را برای ایجاد چنین ارتشی آغاز کردند. برقراری نظام سربازگیری، در راستای تلاش هایی بود که برای ایجاد این چنین ارتشی صورت پذیرفت. البته انجام این برنامه، با مشکلات و واکنش های فراوانی همراه بود. این مقاله، بر آن است تا با استفاده از اسناد...
منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...
یقدم نظام المعلومات الجغرافیة أسهل الطرائق والسبل فی قراءة الخریطة وتخطیط ما هو مطلوب طبقاً لقواعد البیانات المتوفرة حول تلک وتحلیل الصور الجویة وقراءتها وفرزها، ویمکن استعمال تقنیة GIS لتمثیل المتغیرات الهیدرولوجیة والمورفولوجیة لمظاهر السطح ومنها شبکات الأودیة المائیة بکفاء عالیة وٳخراجها بهیئة نماذج خرائطیة کما مؤشر البحث الحالی، ٳذ تم دراسة آلیات الاشتقاق للشبکات من خلال تطبیق نظم بالاستعانة...
نظام ویبومتریکس "Webometrics" لترتیب الجامعات على الانترنت : تحلیل وصفى نقدى لترتیب الجامعات المصریة
فى هده الورقه ,مستعيد الجهد الديناميكى(DVR) يستطيع تعويض الفاقد ويقلل التشوه الكلى للتوافقيات باستخدام مرشح القدره الفعال اثناء هبوط الفولتيه. خوارزميه التحكم المقترحه تستخدم متجهين (αβ ) مع متتبع الطور الحلقى المغلق (PLL) والتزامن المرجعى (dq) للتحسين ادا مستعيد الدينامبكى . ثم استخلاص المكونات الاساسيه للتيار والجهد المقاس عاكس به 48 مفتاح وصل بالتوازى لتحسين استجابه الزمن والنبظا ت .طريقه ال...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید