جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 186
کتاب راهنمای تاریخ منطق جلد 5: منطق از راسل تا کلیسا [کتاب انگلیسی]
نویسنده:
Dov M. Gabbay, John Woods
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نحو منطقی زبان [کتاب انگلیسی]
نویسنده:
Rudolf Carnap (رودلف کارناپ)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
درسگفتار آشنایی با منطق ربط
مدرس:
اسدالله فلاحی
نوع منبع :
صوت , درس گفتار،جزوه وتقریرات
منابع دیجیتالی :
درسگفتار منطق جدید
مدرس:
روح الله عالمی
نوع منبع :
صوت , درس گفتار،جزوه وتقریرات
منابع دیجیتالی :
کوتار‌بینسکی؛ راسل لهستانی
نویسنده:
هنریک اسکولیموفسکی، مترجم: علیرضا نجمی
نوع منبع :
مقاله
منابع دیجیتالی :
کلیدواژه‌های اصلی :
چکیده :
کوتاربینسکى از بزرگ‌ترین فلاسفه مکتب تحلیلى لهستان است و کمتر تحقیقى درباره او و این مکتب در کشورمان انجام گرفته . باید اعتراف کرد که از اعضای این مکتب تارسکى در جهان از همه معروف‌تر است ولى این را هم نباید از یاد برد که همه این فیلسوفان نقش مهمى در تکوین فلسفه قرن بیستم داشتند.
جستارگشایی منطق: بحثی در منطق جدید استلزام مادی در روش معنایی (سمانتیکی)
نویسنده:
مرتضی مزگی نژاد
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
کلیدواژه‌های اصلی :
منطق پیوسته
نویسنده:
سید محمد امین خاتمی؛ مسعود پورمهدیان
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از روی منطق‌ِ چندمقداریِ لوکاسیویچ. سپس بعضی از مهمترین خواص اولیه منطق پیوسته را بیان می‌کنیم. در انتها با توجه به تحلیلی که از مفهوم پیوستگی در منطق پیوسته با توجه به مجموعه مقادیر درستی داریم، نوعی از منطق پیوسته که مبتنی بر نرم‌های مثلثی پیوسته است را معرفی خواهیم کرد. این موضوع به معرفی منطق‌های پیوسته‌ مبتنی بر منطق‌هایی مثل منطق گودل و حاصل‌ضربی می‌انجامد. در انتها به بررسی بعضی از خواص این منطق‌ها از جمله خاصیت فشردگی خواهیم پرداخت
صفحات :
از صفحه 65 تا 106
  • تعداد رکورد ها : 186