معرفی منطق های آزاد | کتابخانه مجازی الفبا

کانال ارتباطی از طریق پست الکترونیک : support@alefbalib.com

نام :*

نام خانوادگی :*

پست الکترونیک :*

* *

تلفن :

دورنگار :

آدرس :

بخش :

پیغام :*

حروف تصویر :

* *

ارسال انصراف

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

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

پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی

جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن

: جستجو در الفبا در گوگل

...جستجوی هوشمند

میانگین امتیازات:

امتیاز شما :

تعداد امتیازات :

معرفی منطق های آزاد

ویرایش اثر

مقطع تحصیلی رساله تحصیلی:

کارشناسی ارشد

رشته تحصیلی:

علوم پایه

محل تحصیل رساله تحصیلی:

دانشگاه شهید باهنر کرمان

پدیدآورندگان :

تبریزیان , نصیبا (نویسنده)
اسلامی, اسفندیار(ریاضی دان و استاد دانشگاه شهید باهنر کرمان و یکی از پیشکسوتان منطق فازی در ایران) (استاد راهنما رساله تحصیلی)

وضعیت نشر :

کرمان ، دانشگاه شهید باهنر کرمان ، 1394

چکیده :

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

کلید واژه اصلی :

منطق ریاضی , منطق کلاسیک مرتبه اول , منطق جدید , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق آزاد

نویسنده :

نصیبا تبریزیان

زبان :

فارسی

منبع اصلی :

https://ganj-old.irandoc.ac.ir/articles/846672

جنس منبع:

متن

پایگاه :

پ:پایگاه پایان نامه

یادداشت :

نوع منبع :

رساله تحصیلی

مخاطب :

بزرگسال , تخصصی

مشخصات کامل اثر

منابع مرتبط :

ثبت نظر

ارسال

از :	{0}
پست الکترونیک :	{1}
تلفن :	{2}
دورنگار :	{3}
Aaddress :	{4}
متن :	{5}

معرفی منطق های آزاد | کتابخانه مجازی الفبا

ورود

ثبت نام

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