دانلود کتاب Introduzione alla logica formale
دسته: منطق
کتاب مقدمه ای بر منطق صوری نسخه زبان اصلی
دانلود کتاب مقدمه ای بر منطق صوری بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Introduzione alla logica formale
نام کتاب : Introduzione alla logica formale
عنوان ترجمه شده به فارسی : مقدمه ای بر منطق صوری
سری : Strumenti
نویسندگان : Lolli, Gabriele
ناشر : Il Mulino
سال نشر : 1991
تعداد صفحات : 338
ISBN (شابک) : 8815029583
زبان کتاب : Italian
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
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
پست ها تصادفی