دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1st Edition.
نویسندگان: Daniele Mundici (auth.)
سری: Unitext / La Matematica Per Il 3+2
ISBN (شابک) : 8847018838, 9788847018846
ناشر: Springer Milan
سال نشر: 2011
تعداد صفحات: 143
زبان: Italian
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1,005 کیلوبایت
در صورت تبدیل فایل کتاب 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