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

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

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

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

ژورنال: حکمت و فلسفه 2006

کتاب «مبانی منطق و روش شناسی» را به‌عنوان مقدمه‌ای لازم و عام برای همه رشته‌ها و مقدمه‌ای خاص برای فراگیری منطق جدید (به‌ویژه کتاب‌های پیش گفته) بشمار می‌آورند. این کتاب از دو مبحث اصلی شامل شش بخش فرعی به ترتیب زیر تشکیل یافته است: مبحث اول: علم منطق بخش اول، منطق در زبان: 1- مطالعات زبانشناختی، 2- تعریف منطقی بخش دوم، منطق قیاسی: 3- منطق گزاره‌ها، 4- منطق محمولات کلاسیک 5- منطق محمولات جد...

ژورنال: :حکمت سینوی 0
لطف الله نبوی دانشیار دانشگاه تربیت مدرس

بدون تردید ابن سینا یکی از چهره های بارز و شاید بارزترین چهره فرهنگ و تمدن اسلامی- ایرانی است.ابن سینا به اذعان خود(در مقدمه منطق المشرقیین) پس از عمری تلاش در تشریح ، تبیین و تکمیل میراث عقلی یو نان، به ساحتی از فلسفه دست یافته است که از آن به « فلسفه مشرقی » تعبیر می نماید . « منطق مشرقی » ابن سینا نیز بدون تردید، چه به لحاظ روش و چه به لحاظ محتوا در قیاس و در تناظر و تناسب با همین فلسفه مشرق...

ژورنال: :غرب شناسی بنیادی 2014
سیدمحمدتقی طباطبایی

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

ژورنال: :پژوهش های فلسفی کلامی 2011
سید حسن اسلامی

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

ژورنال: :متن پژوهی ادبی 0
احمد رضی دانشیار دانشگاه گیلان

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده مهندسی صنایع 1388

این تحقیق در خصوص کاستی های fmea سنتی و معرفی روش جدیدی از fmea بر پایه تخمین هزینه فازی و مقادیر سودمندی می‏باشد که توسط این روش نوعی rpn جدید فازی تعریف می‏شود وسپس این rpn با استفاده از روش ahp گروهی و با استفاده از ایجاد یک پرسشنامه وزن‏دهی می‏شود تا نوع جدیدی از تابع عضویت فازی برایrpn با تخصیص وزن‏های مختلف برای هر یک از فاکتورهای شدت (severity) ، رخداد (ocurrance)و تشخیص (detection) بر ا...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده مهندسی برق و کامپیوتر 1391

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه زابل - پژوهشکده ادبیات 1393

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

ژورنال: :مطالعات مدیریت بهبود و تحول 0
عادل آذر هیئت علمی دانشگاه تربیت مدرس احمد تلنگی دانشجوی دانشگاه علامه طباطبایی

فرایند بهینه سازی پرتفولیو، از دهه ی 1950 با بیان مفهوم تنوع بخشی و ارائه مدل میانگین – واریانس مارکویتز، شاهد تحولات چشمگیری بوده است. تلاش گسترده ی نظریه پردازان مالی در کاربردی تر کردن مدل های انتخاب پرتفولیو، آنان را به سوی مدل های چند معیاره بویژه آرمانی کشانده است. در سال 1965 پروفسور عسگر لطفی زاده اساس ریاضیات کلاسیک را با بیان تئوری مجموعه های فازی متحول ساخت. وی معانی زبان طبیعی و ابه...

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

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