نتایج جستجو برای: منطق اکتشاف ریاضی
تعداد نتایج: 20751 فیلتر نتایج به سال:
هدف: مطالعه دلالت های منطق ریاضی برتراند راسل در طراحی نظام های سازماندهی اطلاعات. روش/ رویکرد:از حیث گردآوری داده ها، تاریخی و از نظر نوع، تحلیلی و از نظر هدف، کاربردی است و به روش تحلیل محتوای کیفی انجام شده است. یافتهها: در این پژوهش، چارچوبی نحوی، معناشناختی، هستی شناختی، و منطقی برای طبقه بندی و تحلیل شناسه های موضوعی معرفی شده است. ضعف ها و کاستی های زبان طبیعی در مقایسه با زبان های منطق...
داستان علمی - تخیلی درباره برخی مباحث در منطق و مبانی ریاضی.
با در نظر گرفتن دو جریان فراگیر فلسفی قرن نوزدهم یعنی ایدهآلیسم و رئالیسم، آنچه در این مقاله مورد بررسی قرار میگیرد این است که راسل بر پایه کدام نظام فلسفی منطقگرایی خود را بنا کرد. طرح منطقگرایی راسل در سه دوره فکری بررسی میشود. در دوره اوّل راسل در بررسیهای منطقی خویش رویکرد ایدهآلیستی دارد. در دوره دوّم با پایهریزی فلسفه رئالیستی خود نسخه اوّلیه منطقگراییاش را در اصول میآورد. ...
منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانیالاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که بهدنبال پاسخ آری و یا نه برای تعمیم به تمام پدیدهها میباشد(همچون پوزیتیویسم)، منطق فازی جهان را همانگونه که هست معرفی میکند. م...
آموزة منطق گرایی عبارت است از فروکاستن مفاهیم و قضایای ریاضی به مفاهیم و قضایای منطقی. این آموزه که یکی از مکاتب مهم فلسفة ریاضی است، را نخستین بار برنارد بولتزانو صورت بندی کرد و سپس گوتلپ فرگه سعی کرد با ارائة نسخة جدیدی از منطق آن را ادامه دهد. درنهایت این آموزه را به صورت پروژه ای، برتراند راسل و آلفرد نورث وایتهد عملی کردند. در این مقاله نخست تلاش خواهم کرد چگونگی تحول و تکوین این پروژه را...
از مهم ترین مسائل فرایند ارزیابی آثار محیط زیستی تعیین اهمیت اثر است. مسئلۀ اصلی در خصوص ارزیابی آثار بوم شناختی این است که نمی توان آن ها را در یک الگوریتم فرموله کرد، زیرا عناصر حیاتی و هم کنشی های آن ها را نمی توان به طور کامل و غیرمبهم مشخص کرد. از طرف دیگر، ناهمگونی فضایی سیستم های بوم شناختی و پیچیدگی های تصمیم گیری کار ارزیابی را دشوارتر کرده اند، بدین جهت مفهوم آثار محیط زیستی اغلب مبهم...
از مهمترین مسائل فرایند ارزیابی آثار محیطزیستی تعیین اهمیت اثر است. مسئلۀ اصلی در خصوص ارزیابی آثار بومشناختی این است که نمیتوان آنها را در یک الگوریتم فرموله کرد، زیرا عناصر حیاتی و همکنشیهای آنها را نمیتوان به طور کامل و غیرمبهم مشخص کرد. از طرف دیگر، ناهمگونی فضایی سیستمهای بومشناختی و پیچیدگیهای تصمیمگیری کار ارزیابی را دشوارتر کردهاند، بدین جهت مفهوم آثار محیطزیستی ...
هدف: مطالعه دلالتهای منطق ریاضی برتراند راسل در طراحی نظامهای سازماندهی اطلاعات. روش/ رویکرد:از حیث گردآوری دادهها، تاریخی و از نظر نوع، تحلیلی و از نظر هدف، کاربردی است و بهروش تحلیل محتوای کیفی انجام شده است. یافتهها: در این پژوهش، چارچوبی نحوی، معناشناختی، هستیشناختی، و منطقی برای طبقهبندی و تحلیل شناسههای موضوعی معرفی شده است. ضعفها و کاستیهای زبان طبیعی در مقایسه با زبانهای منطق...
در این مقاله، منطق شهودی براوِر در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوتهای آنها با منطق و آنالیز ریاضی کلاسیک را بیان میکنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه میشود و لذا میتوان این نوع از آنالیز ریاضی را یک نوع زبان برنامه...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید