نتایج جستجو برای: نظام اول کریپکی

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

ژورنال: :مجله پژوهشهای فلسفی دانشگاه تبریز 2015
مریم معیرزاده موسی اکرمی

ذاتی گرایی(essentialism) نظریه ای متافیزیکی است که ریشه در سنت پربار ارسطو دارد. در این نظریه برخی ویژگی ها، هویت یک شی ء را تعیین می کنند. قائلان به چنین دیدگاهی، هر شی ء را دارای ذات مختص به خود می دانند. نفی امکان شناخت ذات اشیاء، نقدی است که بر نظریه­ی ذاتی گرایی ارسطو وارد شده است. این انکار به­ویژه در آموزه های پوزیتیویسم منطقی با رد مابعدالطبیعه به اوج خود رسید. علاوه بر متن دست آوردهای ...

ژورنال: :ذهن 2006
احمدرضا همتی مقدم

ژورنال: :گنجینه اسناد 0
سیدمسعود سیدبنکدار دانشجوی دکترای تاریخ دانشگاه اصفهان

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

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

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

Journal: : 2021

یقدم نظام المعلومات الجغرافیة أسهل الطرائق والسبل فی قراءة الخریطة وتخطیط ما هو مطلوب طبقاً لقواعد البیانات المتوفرة حول تلک وتحلیل الصور الجویة وقراءتها وفرزها، ویمکن استعمال تقنیة GIS لتمثیل المتغیرات الهیدرولوجیة والمورفولوجیة لمظاهر السطح ومنها شبکات الأودیة المائیة بکفاء عالیة وٳخراجها بهیئة نماذج خرائطیة کما مؤشر البحث الحالی، ٳذ تم دراسة آلیات الاشتقاق للشبکات من خلال تطبیق نظم بالاستعانة...

Journal: : 2021

فى هده الورقه ,مستعيد الجهد الديناميكى(DVR) يستطيع تعويض الفاقد ويقلل التشوه الكلى للتوافقيات باستخدام مرشح القدره الفعال اثناء هبوط الفولتيه. خوارزميه التحكم المقترحه تستخدم متجهين (αβ ) مع متتبع الطور الحلقى المغلق (PLL) والتزامن المرجعى (dq) للتحسين ادا مستعيد الدينامبكى . ثم استخلاص المكونات الاساسيه للتيار والجهد المقاس عاكس به 48 مفتاح وصل بالتوازى لتحسين استجابه الزمن والنبظا ت .طريقه ال...

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

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