نتایج جستجو برای: منطق های گودل
تعداد نتایج: 480614 فیلتر نتایج به سال:
از ویژگی های شاخص داده های فعالیت های کشاورزی، دقیق نبودن آن هاست، بنابراین استفاده از روش های مبتنی بر منطق فازی در برنامه ریزی تولید می تواند مناسب باشد. در این مطالعه روش برنامه ریزی امکان به عنوان یکی از روش های مبتنی بر منطق فازی مورد استفاده قرار گرفت. افزون بر این برنامه ریزی فازی و قطعی نیز در قالب برنامه ریزی ریاضی چندهدفی مورد استفاده قرار گرفت. داده های استفاده شده نیز از میان 100 به...
ارسطو در جاهای مختلف آثارش، به تناسب بحث، علوم را به اقسام و شاخه هایی تقسیم می نماید. وی اولین کسی است که منطق را تدوین و به عنوان یک علم عرضه نموده است. اما در میان تقسیم بندیهایی که ارسطو از علوم بدست داده است نامی از منطق به چشم نمی خورد. در اینجا کوشیده ایم با استناد به آثار ارسطو نشان دهیم که منطق، با توجه به موضوعات و مباحثی که در آن مطرح است، یکی از اجزاء یا شاخه های فلسفة أولی محسوب می...
منطق پژوهی در ایران معاصر از فقر مطالعه ی تاریخی رنج می برد. فقدان تاریخ منطق دوره ی اسلامی برجسته ترین نشانه ی این فقر است. نگارش چنین تاریخی را باید از بررسی روند دگردیسی مدخل فرفوریوس آغازید. آموزه های این کتاب در دوره ی اسلامی نه تنها تغییر کارکرد دادند، بلکه هم گسترش یافتند و هم ژرفا پیدا کردند. گسترش آن را در دو محور به خوبی می توان رصد کرد: 1. افزوده شدن سرآغازهای هشت گانه، 2. افزوده شدن...
تجدد دفاعی بازنمای تلاش متفکران اسلامی اوائل قرن بیستم برای رویارویی با تجدد و منطق شرق شناختی برآمده از آن در وضعیتی پسااستعماری است. این گفتمان از تجدد، با وارونه کردن ایده های مرکزی شرق شناسی ذیل مفاهیمی ازقبیل «پرسش از انحطاط و عقب ماندگی»، «تلقی ایده آلیستی از انحطاط و پیشرفت» و «برخورد گزینشی با تمدن غرب»، تلاش دارد اسلام را با مقتضیات منطق مسلط انطباق دهد و به مدد امر مدرن به دفاع از «ام...
منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آْنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شی...
در این مقاله شخصیت های قرآنی، انبیای الهی هستند که نام آن ها در قرآن ذکر شده و احکام خداوند را به مردم ابلاغ می کردند. اعمال و رفتار این برگزیدگان در شعر شاعران فارس یزبان به نام « منطق الطیر » وفور به کار رفته است. عطار شاعر سبک خراسانی، از 16 شخصیت قرآنی در در ابیات « منطق الطیر » برده و به زندگی، رفتار و سجایای اخلاقی آن ها اشاره کرده است. او در مختلف با ساختاری منسجم و زیبا، برای به جلو برد...
برداشت بی رویۀ منابع آب زیرزمینی در استان چهار محال و بختیاری منجر به ممنوعه اعلام شدن برخی از دشت های این استان شده است که آبخوان سفیددشت از جملۀ آن هاست. تغذیۀ مصنوعی می تواند به عنوان راهکاری مؤثر برای افزایش سطح آب زیرزمینی و حل بحران آب زیرزمینی در این استان باشد. مهم ترین گام برای انجام موفق تغذیۀ مصنوعی، مکان یابی مناطق مناسب برای تغذیۀ مصنوعی است. در این پژوهش، به منظور مکان یابی مناطق ...
ساخت هندسی غزلهای حافظ، یکی از بارزترین ویژگیهای شعر حافظ است که در تحقیقات حافظ پژوهی بارها مورد توجه قرار گرفته است. اگرچه دربارۀ انسجام عمودی غزلهای حافظ، دیدگاههای متفاوت و حتی متباینی طرح شده است، در مورد ساختار افقی و نظم هندسی ابیات شعر او اتفاق نظر بیشتری وجود دارد. با این همه هنوز الگوهای ساختمند حافظ در شکلبخشی به ساختار ابیات، به شکل نظامیافته تبیین و صورتبندی نشده است. این ...
چکیده زمینه و هدف: با توجه به توسعه فازهای مختلف پتروشیمی و پالایش گاهی در مجتمع گازی پارس و به تبع آن افزایش معضلات زیست محیطی ناشی از آن علی الخصوص و تاثیر بر هوای منطقه، انجام مطالعات دانش بنیان، دقیق و کارآمد در زمینه ارزیابی و مدیریت محیطزیست این مناطق حایز اهمیت می باشد. روش بررسی: در این مطالعه به ارزیابی کیفیت زیست محیطی هوای منطقه و...
گزاره نظرورزانه یکی از نوآوری های منطقی هگل است که آن را نخست بار در درآمد کتاب پدیدارشناسی روح مطرح کرد. مفهوم اساسی این گزاره بر اساس نقدی شکل می گیرد که وی به منطق سنتی و نیز به منطق کانتی دارد. در این مقاله می کوشم تا نشان دهم این گزاره در اندیشه هگل چگونه شکل می گیرد چه نسبتی با گزاره های بنیادین در دو منطق پیش گفته دارد و نیز این برداشت خاص از گزاره چه امکاناتی را برای متافیزیک و منطق وی ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید