نتایج جستجو برای: منطق برنامه
تعداد نتایج: 68805 فیلتر نتایج به سال:
به منظور تدوین مبانی آفرینشگری در فرایند طراحی معماری در گام نسخت به تعریف واژه های محوری چون خلاقیت هوش و حافظه پرداخته شده است رویکرد های اصلی آفرینشگری عبارتند از آفرینشگری با محوریت شخص خلاق فرایند ذهنی محیط و انجام عمل شیوه های پرورش آفرینشگری عبارتند از خودشکوفایی و اعتماد بخود پذیرا بودن تجربه آموزش مقتضی و آموزش خلاق پرورش خلاقیت درونی دانشجویان آموزش فرایندها و تدابیر اندیشه ی خلاقانه ...
گزارة نظرورزانه یکی از نوآوریهای منطقی هگل است که آن را نخستبار در درآمد کتاب پدیدارشناسی روح مطرح کرد. مفهوم اساسی این گزاره بر اساس نقدی شکل میگیرد که وی به منطق سنتی و نیز به منطق کانتی دارد. در این مقاله میکوشم تا نشان دهم این گزاره در اندیشة هگل چگونه شکل میگیرد چه نسبتی با گزارههای بنیادین در دو منطق پیشگفته دارد و نیز این برداشت خاص از گزاره چه امکاناتی را برای متافیزیک و منطق وی ...
براساس دیدگاه کثرتگرایی در مورد منطق، چندین نظام درست از منطق وجود دارند. در بیشتر قرائتهایی که از این دیدگاه وجود دارد، نسبیباوری در مورد منطق پذیرفته شده و درستیِ یک نظام از منطق بهنحوی وابسته به مؤلفهای متمایز از آن نظام منطقی دانسته میشود. بیل و رستال اما مدعی ارائۀ تقریری از کثرتگرایی هستند که در یک زبان واحد ارائه شده و متضمن قبول نسبیباوری در مورد منطق نیست. در مقالۀ حاضر، برخی از...
هر مجموعه صنعتی بدون داشتن برنامه نگهداری از تجهیزات خسارت های جبران نشدنی را متحمل میشود. هزینه های خرید قطعات یدکی و تعمیرات از یک طرف و کاهش درآمد مجموعه بر اثر متوقف شدن دستگاه برای تعمیر، از طرف دیگر مانع بزرگی برای پیشرفت و توسعه شرکت ها است. امروزه بکارگیری فنآوری پایش وضعیت ( CM ) از طریق تحلیل روغن، به عنوان روشی مؤثر در تشخیص فرسایش های غیر عادی یا عیوب تجهیزات و سامانههای م...
دریافت: 25/1/94 پذیرش: 4/4/94 مقدمه: در ایران، از ابتدای برنامه چهارم توسعه، سیاست کاهش سهم مردم از هزینههای سلامت با هدفگذاری کاهش پرداختهای مستقیم از جیب به کمتر از 30%، به صورت رسمی مصوب شد و پس از آن در برنامه پنجم توسعه نیز تکرار شد. با این وجود در سالهای اجرای این دو برنامه (1384 تا 1392)، سهم مردم از هزینهها نه تنها کاهش نیافت بلکه به مراتب افزایش نیز داشته است. این مطالعه به دنب...
ترکیب تابع ارزشی p با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی و در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...
منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آْنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شی...
ناهمخوانی ادات ربط زبان طبیعی و ادات زبان منطق کلاسیک در تابع ارزشی بودن، موجب شده است تا برخی گمان کنند که زبان منطق کلاسیک در بازنمایی جملات زبان طبیعی و صورتبندی استدلالهای این زبان ناتوان است. در این مقاله تلاش می شود تا نشان داده شود که زبان منطق کلاسیک یکسره از آن صورت بندی عاجز نیست و مدعای مخالفان توانایی زبان منطق در بازنمایی جملات و استدلالهای زبان طبیعی، کامل نیست. دفاعیات در این زمی...
مفاهیم و مجموعهها در منطق ارسطویی دارای دو عضو صفر و یک است که در اصطلاح به آن منطق دو ارزشی میگویند. امّا بر اساس منطق فازی همان مفاهیم به مجموعهای با بینهایت عضو که دارای مقادیری از صفر تا یک هستند، تبدیل میشود؛ در واقع، این منطق بهجای پرداختن به صفر و یک، از صفر تا یک را مورد بررسی و تحلیل قرار میدهد و لذا آنچه در فاصلهی پرداختنِ صفر تا یک نمود مییابد، وجود و حضور مرزهای خاکستری، هم...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید