نتایج جستجو برای: منطق برنامه

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

ژورنال: :هنرهای زیبا 2005
مهندس محمد جواد مهدوی نژاد

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

ژورنال: غرب شناسی بنیادی 2013

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

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

ژورنال: تحقیقات موتور 2010
احمدی, حجت, علیزاده, دینا,

هر مجموعه صنعتی بدون داشتن برنامه نگهداری از تجهیزات خسارت ‌ های جبران نشدنی را متحمل می‌شود. هزینه ‌ های خرید قطعات یدکی و تعمیرات از یک طرف و کاهش درآمد مجموعه بر اثر متوقف شدن دستگاه برای تعمیر، از طرف دیگر مانع بزرگی برای پیشرفت و توسعه شرکت ‌ ها است. امروزه بکارگیری فنآوری پایش وضعیت ( CM ) از طریق تحلیل روغن، به عنوان روشی مؤثر در تشخیص فرسایش ‌ های غیر عادی یا عیوب تجهیزات و سامانه‌های م...

شریفی, مسلم , فیاض بخش, احمد, محمودی, محمود, ودادهیر, ابوعلی, پوررضا, ابوالقاسم ,

دریافت: 25/1/94   پذیرش: 4/4/94 مقدمه: در ایران، از ابتدای برنامه چهارم توسعه، سیاست کاهش سهم مردم از هزینه‌های سلامت با هدف‌گذاری کاهش پرداخت‌های مستقیم از جیب به کمتر از 30%، به صورت رسمی مصوب شد و پس از آن در برنامه پنجم توسعه نیز تکرار شد. با این وجود در سال‌های اجرای این دو برنامه (1384 تا 1392)، سهم مردم از هزینه‌ها نه تنها کاهش نیافت بلکه به مراتب افزایش نیز داشته است. این مطالعه به دنب...

ژورنال: :مجله پژوهشهای فلسفی دانشگاه تبریز 2010
مرتضی حاج حسینی

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

ژورنال: :فلسفه 2002
دکتر لطف الله نبوی

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

ژورنال: :قبسات 2006
عسگری سلیمانی امیری

ژورنال: منطق پژوهی 2018

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

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

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

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