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

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

نام :*

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

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

* *

تلفن :

دورنگار :

آدرس :

بخش :

پیغام :*

حروف تصویر :

* *

ارسال انصراف

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

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

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

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

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

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

مرور > مرور پدیدآورندگان

ویلیامز, ن.ه (منطقدارن)

جستجو در برای عبارت

مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو

تعداد رکورد ها : 1

عنوان :

منطق ریاضی چیست ؟

نویسنده:

ج.ن کراسلی و دیگران ، ترجمه شاپور اعتماد و غلامرضا برادران خسروشاهی

نوع منبع :

کتابشناسی(نمایه کتاب)

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

منطق ریاضی , منطق جدید

چکیده :

فهست مطالب : 1. بررسی تاریخی (برر سی تاریخ استنتاج صوری که با ارسطو و اقلیدس و افرادی دیگر شروع می شود و تاریخ آنالیز ریاضی که به ارشمیدس باز می گردد) 2. تمامیت حساب محمولات 3. نظریه مدل ها 4. ماشین های تورینگ و توابع بازگشتی 5. قضایای ناتمامیت گودل 6. نظریه مجموعه ها 7. پیشنهادهایی برای مطالعات بیشتر

مشخصات اثر

تعداد رکورد ها : 1

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

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

ورود

ثبت نام

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