برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Introduzione alla logica formale

دانلود کتاب مقدمه ای بر منطق صوری

مشخصات کتاب

Introduzione alla logica formale

دسته بندی: منطق
ویرایش:  
نویسندگان: Lolli. Gabriele  
سری: Strumenti 
ISBN (شابک) : 8815029583 
ناشر: Il Mulino 
سال نشر: 1991 
تعداد صفحات: 338 
زبان: Italian 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

قیمت کتاب (تومان) : 53,000

کلمات کلیدی مربوط به کتاب مقدمه ای بر منطق صوری: منطق ریاضی، منطق محمولی، منطق گزاره ای

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 18

در صورت تبدیل فایل کتاب Introduzione alla logica formale به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر منطق صوری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Indice
Prefazione
1. Logica matematica, simbolica, formale
2. Linguaggi predicativi
3. Dimostrazioni
4. Calcolo della deduzione naturale
5. Logica proposizionale
6. Calcolo della deduzione naturale (continua)
7. Interpretazioni
8. Il teorema di completezza
9. Una logica polivalente
10. Tavole semantiche
11. Tavole semantiche (continua)
12. Casi di decidibilità
13. Teorema di Skolem - Herbrand
14. Calcolo della risoluzione
15. Raffinamenti della risoluzione
16. Unificazione e risoluzione con variabili
17. Introduzione alla programmazione logica
18. Linguaggi con uguaglanza
19. Calcolo delle equazioni
20. Indecidibilità della logica dei predicati
21. Aritmetica
22. Introduzione alla metateoria
Appendici
1. Introduzione alla correttezza dei programmi
2. Logiche non classiche
Indice analitico