نتایج جستجو برای: منطق برنامه
تعداد نتایج: 68805 فیلتر نتایج به سال:
نوشتار حاضر تلاشی برای تحلیل سور شرطی لزومی سینوی برپایۀ منطق مرتبۀ دوم است. محققان معاصر صورتبندیهای متفاوتی از شرطی سینوی به زبان منطق جدید عرضه کردهاند. از تفاوتهای اصلی این صورتبندیها چگونگی تحلیل سور شرطی بوده است. دیدگاه خواجه نصیرالدین طوسی دربارۀ سور شرطی مبنای آخرین تحلیلهای محققان قرار گرفته است و میتوان آن را با زبان منطق مرتبۀ دوم صورتبندی کرد؛ برایناساس، تحلیلهای عرضهش...
کتاب «مبانی منطق و روش شناسی» را بهعنوان مقدمهای لازم و عام برای همه رشتهها و مقدمهای خاص برای فراگیری منطق جدید (بهویژه کتابهای پیش گفته) بشمار میآورند. این کتاب از دو مبحث اصلی شامل شش بخش فرعی به ترتیب زیر تشکیل یافته است: مبحث اول: علم منطق بخش اول، منطق در زبان: 1- مطالعات زبانشناختی، 2- تعریف منطقی بخش دوم، منطق قیاسی: 3- منطق گزارهها، 4- منطق محمولات کلاسیک 5- منطق محمولات جد...
بدون تردید ابن سینا یکی از چهره های بارز و شاید بارزترین چهره فرهنگ و تمدن اسلامی- ایرانی است.ابن سینا به اذعان خود(در مقدمه منطق المشرقیین) پس از عمری تلاش در تشریح ، تبیین و تکمیل میراث عقلی یو نان، به ساحتی از فلسفه دست یافته است که از آن به « فلسفه مشرقی » تعبیر می نماید . « منطق مشرقی » ابن سینا نیز بدون تردید، چه به لحاظ روش و چه به لحاظ محتوا در قیاس و در تناظر و تناسب با همین فلسفه مشرق...
گزارة نظرورزانه یکی از نوآوری های منطقی هگل است که آن را نخست بار در درآمد کتاب پدیدارشناسی روح مطرح کرد. مفهوم اساسی این گزاره بر اساس نقدی شکل می گیرد که وی به منطق سنتی و نیز به منطق کانتی دارد. در این مقاله می کوشم تا نشان دهم این گزاره در اندیشة هگل چگونه شکل می گیرد چه نسبتی با گزاره های بنیادین در دو منطق پیش گفته دارد و نیز این برداشت خاص از گزاره چه امکاناتی را برای متافیزیک و منطق وی ...
منطق ارسطویی به مثابه بخشی از فلسفه اسلامی، در میان مسلمانان مخالفان بسیاری داشته است که می کوشیده اند بی اعتباری منطق را بر ملا کنند. در نتیجه بخشی از فعالیت فیلسوفان و منطقدانان مسلمان دفاع از منطق و اعتبار آن در برابر مخالفان بوده است. در کنار انتقادات رایج و کهنی که در کتاب های مدافعان منطق پاسخ آنها را می توان یافت، به تازگی برخی مدافعان مکتب تفکیک به نام علم جدید و روش علمی مقبول در نظام ...
منطق گفتگویی از جمله نظریه هایی است که در آن به زبان و سخن به عنوان پدیده هایی اجتماعی نگریسته می شود. این نظریه که تأثیر چشمگیری بر منتقدان و نظریه پردازان بعدی گذاشت، در قالب دو گزاره اصلی چندصدایی و تک صدایی، ظرفیت و افق تازه ای برای خوانش متون گوناگون به دست داد. این مقاله درصدد است تا با بازخوانی منطق الطیر عطار براساس منطق گفتگویی میخاییل باختین، میزان همخوانی این تئوری را با روایت عطار ا...
این تحقیق در خصوص کاستی های fmea سنتی و معرفی روش جدیدی از fmea بر پایه تخمین هزینه فازی و مقادیر سودمندی میباشد که توسط این روش نوعی rpn جدید فازی تعریف میشود وسپس این rpn با استفاده از روش ahp گروهی و با استفاده از ایجاد یک پرسشنامه وزندهی میشود تا نوع جدیدی از تابع عضویت فازی برایrpn با تخصیص وزنهای مختلف برای هر یک از فاکتورهای شدت (severity) ، رخداد (ocurrance)و تشخیص (detection) بر ا...
امروزه در اکثر صنایع از کنترل کننده های قابل برنامه ریزی(plc) به علت مزایای زیادشان استفاده می شود. این سیستم ها جایگزین سیستم های رله ای قدیمی شده اند و با برنامه نویسی به شیوه های مختلف می توان بدون نیاز به تغییرات سخت افزاری در سیستم، تغییرات مورد نظر را برای فرآیند متصل به plc انجام داد. plcهای اولیه برای یک کنترل عادی منطقی و ساده طراحی گردیده اند و معمولا اجرای کنترل پیوسته ساده نیز با pl...
یکی از مسائل برنامه¬ریزی شهری، با توجه به رشد جمعیت و کمبود امکانات زیربنایی، تعیین جهت مناسب گسترش فیزیکی شهر برای جواب¬گویی به نیازهای آینده است. از آنجایی که گسترش شهر مستلزم به¬کارگیری اراضی فراوان برای ساخت وساز است، این امر باعث کاهش سطح کاربری¬های دیگر بخصوص زمین¬های کشاورزی و گسترش شهر به سمت پهنه¬های آسیب¬پذیر می¬شود، به همین مبنا در این پژوهش، برای تعیین جهت مناسب گسترش فیزیکی شهر کلا...
فرایند بهینه سازی پرتفولیو، از دهه ی 1950 با بیان مفهوم تنوع بخشی و ارائه مدل میانگین – واریانس مارکویتز، شاهد تحولات چشمگیری بوده است. تلاش گسترده ی نظریه پردازان مالی در کاربردی تر کردن مدل های انتخاب پرتفولیو، آنان را به سوی مدل های چند معیاره بویژه آرمانی کشانده است. در سال 1965 پروفسور عسگر لطفی زاده اساس ریاضیات کلاسیک را با بیان تئوری مجموعه های فازی متحول ساخت. وی معانی زبان طبیعی و ابه...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید