نتایج جستجو برای: شمای کریپکی
تعداد نتایج: 303 فیلتر نتایج به سال:
استدلال پرسشِ باز نقطۀ عطفی در اخلاق تحلیلی معاصر است که بسیاری از دیدگاهای جدید در واکنش به این استدلال مطرح شدند. در این مقاله به نقد و بررسی استدلال پرسشِ باز و مفروضات معناشناختی آن پرداخته و نشان دادهایم که این استدلال کاربستی از پارادوکس تحلیل و نظریۀ توصیفی معنا در مورد مفاهیم اخلاقی است. بنا بر پارادوکس تحلیل، مقوّمات اشیاء در مفهوم آنها دخیل بوده و بدین جهت تعاریف حقیقی که مشتمل ...
ذاتی گرایی(essentialism) نظریه ای متافیزیکی است که ریشه در سنت پربار ارسطو دارد. در این نظریه برخی ویژگی ها، هویت یک شی ء را تعیین می کنند. قائلان به چنین دیدگاهی، هر شی ء را دارای ذات مختص به خود می دانند. نفی امکان شناخت ذات اشیاء، نقدی است که بر نظریهی ذاتی گرایی ارسطو وارد شده است. این انکار بهویژه در آموزه های پوزیتیویسم منطقی با رد مابعدالطبیعه به اوج خود رسید. علاوه بر متن دست آوردهای ...
چکیده: کربوکسیل زدایی اکسایشی اسیدها به ویژه آریل استیک اسیدها به ترکیبات کربونیل و اکسایش آمین ها به ترکیبات نیترو، در تبدیلات سنتزی آلی، از نقطه نظر بنیادی و تولیدات صنعتی با اهمیت می باشد. برای این تبدیلات مهم، روش های اکسایشی زیادی به وسیله اکسنده های فلزی و نا فلزی توسعه یافته است. به هر حال، پژوهش برای اکسنده های مناسب و سبز از نقطه نظر اقتصادی و زیست محیطی هنوز یک میدان وسیع می باشد. ...
شکل کلی یا شمای ملودی یکی از مفاهیمی است که در حوزه ی آفرینش و تجزیه و تحلیل موسیقی بسیار از آن یاد می شود. پژوهش حاضر با بررسی تطبیقی حدود 106 گوشه، نشان می دهد که بیش ترین نوع حرکت ملودیک گوشه های ردیف موسیقی ایرانی حرکت های رفت و برگشتی سینوسی و حرکت های افقی در گستره ی محدود صوتی اند. هم زمان با این نوع حرکت ها، ملودی های گوشه ها به شکلی نامحسوس با حرکت های فرعی پایین رونده به صورت پلکانی...
واکنشهای چند جزئی که در آن بیش از دو ماده ی اولیه در یک واکنش برای تولید محصولات پیچیده با هم واکنش می دهند، در شیمی آلی مدرن اهمیت زیادی پیدا کرده اند. تعداد واکنشهای چند جزئی جدید در ده سال اخیر رشد فزاینده ای داشته است که بازتابی از علاقه ی فزاینده به این واکنش ها توسط شیمیدان هائی است که در موضو ع ها ی مختلفی از قبیل کشف دارو، بیوتکنولوژی و علوم مواد فعالیت می نمایند. استفاده از واکنش ه...
در مدل تلاطم تصادفی، قیمت اختیارهای اروپایی جواب یک معادله دیفرانسیل پاره ای سهموی است. در این مقاله شمای تفاضل متناهی ضمنی برای حل عددی این معادله ارائه کرده ایم. ثابت می کنیم که این روش در نرم بی نهایت، پایدار و همگراست. سپس از روش adi برای جداسازی عملگرها استفاده می کنیم و این به ما امکان می دهد تا در هر مرحله، برای حل دستگاه خطی متناظر با آن از الگوریتم توماس استفاده کنیم.
چکیده طرح نقدهای کواین در طول شصت سال اخیر باعث شده که در ضمن تلاش افراد برای پاسخگویی به آنها، بسیاری از مطالب مربوط به این حوزه به صورتی دقیق تر مورد بررسی قرار گیرد و زوایای تاریک بحث روشن شود. در طول تاریخ تفکر بسیار شاهد بوده ایم که مطالب خام زیر فشار نقدهای قوی بسیارپخته تر و روشن تر شده اند. نقد کواین هم از جمله این موارد است. کواین متن های موجه را از متن های معنایی قلمداد می کند و مدع...
در این پایان نامه، با به کارگیری پیشرفت های اخیر در زمینه? منطق های شناختی پویا، یک رهیافت نظریه مدلی برای استدلال درباره? پروتکل های امنیت بیان می کنیم که ما را به بیان دقیق وضعیت های شناختی بعدی عامل های شرکت داده شده در مراحل پروتکل با استفاده از مدل های کریپکی و ارتباط بین آن ها، بر پایه? به روز رسانی باور های این عامل ها، قادر می سازد. به عنوان مطالعه موردی، پروتکل سه مرحله ای sra و پرو...
چکیده ندارد.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید