ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logica: Metodo Breve

دانلود کتاب منطق: روش کوتاه

Logica: Metodo Breve

مشخصات کتاب

Logica: Metodo Breve

ویرایش: 1st Edition. 
نویسندگان:   
سری: Unitext / La Matematica Per Il 3+2 
ISBN (شابک) : 8847018838, 9788847018846 
ناشر: Springer Milan 
سال نشر: 2011 
تعداد صفحات: 143 
زبان: Italian 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1,005 کیلوبایت 

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Logica: Metodo Breve به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق: روش کوتاه

بدون نیاز به پیش نیاز، متن با هدف ارائه نمایشی از قضایای اساسی منطق ریاضی (فشردگی، کامل بودن گودل، لوونهایم-اسکولم) مفاهیم نحوی و معنایی را به روشی مترقی، از منطق بولی تا منطق اعتباری، معرفی می‌کند. برای تسهیل خواندن فعال، متن شامل تمرین های متعددی است.


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

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.



فهرست مطالب


Content:
Front Matter....Pages I-XI
Front Matter....Pages 1-1
Introduzione....Pages 3-6
Le nozioni logiche fondamentali....Pages 7-11
La risoluzione....Pages 13-18
Teorema di completezza di Robinson....Pages 19-26
Classi fulminee per DPP....Pages 27-31
Teorema di compattezza di Gödel....Pages 33-36
Logica di Boole: sintassi....Pages 37-41
Logica di Boole: semantica....Pages 43-48
Forme normali....Pages 49-53
Ricapitolando: espressivit� ed efficienza....Pages 55-56
Front Matter....Pages 57-57
I quantificatori “esiste” e “per ogni”....Pages 59-63
Sintassi della logica dei predicati....Pages 65-71
Significato delle clausole....Pages 73-80
Teorema di completezza per la logica delle clausole....Pages 81-90
Assiomi per l’eguaglianza....Pages 91-95
La logica dei predicati ℒ....Pages 97-118
Considerazioni finali....Pages 119-122
Back Matter....Pages 123-131




نظرات کاربران