ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logica: dimostrazioni e modelli al primo ordine

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

Logica: dimostrazioni e modelli al primo ordine

مشخصات کتاب

Logica: dimostrazioni e modelli al primo ordine

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: UNITEXT 80 
ISBN (شابک) : 9788847055377 
ناشر: Springer Milan 
سال نشر: 2014 
تعداد صفحات: 196 
زبان: Italian 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Logica: dimostrazioni e modelli al primo ordine به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

هدف از این اثر، در دو جلد، کمک به خواننده برای دستیابی به تحصیلات دانشگاهی کافی در سطح تخصصی در منطق است، رشته‌ای که محل تعامل طبیعی بین فلسفه، ریاضیات و علوم کامپیوتر است. این کار تا حد زیادی از نوآوری های ارائه شده توسط تحقیقات معاصر، به ویژه از آنچه توسط منطق خطی ترویج شده است، الهام گرفته شده است. فرض کنیم که خواننده با مضامین و مفاهیم اصلی منطق آشنایی داشته باشد، مانند آنچه که می توان با اولین دوره مقدماتی منطق (مثلاً از طریق جلد [1]) به دست آورد، یا حداقل با ریاضیات را تمرین کنید، مانند ریاضیاتی که می توان با یک دوره دانشگاهی سطح اول در ریاضیات یا علوم کامپیوتر به دست آورد. نمایش قضایا در دو جلد اثر «دقیق» خواهد بود، به این معنا که ما سعی خواهیم کرد تمام عناصر فنی لازم را فراهم کنیم، در حالی که از افراط در دقت، «ریگور مورتیس» یعنی اجتناب از تجاوز در جزئیاتی که به دست می دهد، علاوه بر این، بخش بزرگی از آنها را می توان در ادبیات یافت. بینش و تمرین در مورد موضوعات تحت پوشش این اثر را می توان در وب سایت اختصاصی یافت که می تواند محلی برای گفتگو بین نویسندگان و خوانندگان باشد:\r\nhttp://logica.uniroma3.it/˜ totorora/Libro.html


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

Lo scopo di questa opera, in due volumi, è quello di aiutare il lettore a raggiungere una adeguata formazione universitaria a livello specialistico nella logica, una disciplina che è un naturale luogo di interazione tra filosofia, matematica e informatica. L’opera è largamente ispirata dalle novità introdotte dalla ricerca contemporanea, in particolare da quella che è stata promossa dalla logica lineare. Supponiamo che il lettore abbia qualche dimestichezza con i temi e le nozioni principali della logica, quale quella che si può ottenere con un primo corso preliminare di logica (ad esempio, attraverso il volume [1]), o almeno una qualche familiarità con la pratica matematica quale quella che si può acquisire con un percorso universitario di primo livello in matematica o in informatica. Le dimostrazioni dei teoremi nei due volumi dell’opera saranno “rigorose”, nel senso che si cercherà di fornire tutti gli elementi tecnici necessari, evitando però l’eccesso di rigore, il “rigor mortis”, ossia evitando di eccedere nei dettagli che d’altronde in buona parte possono essere trovati nella letteratura. Approfondimenti ed esercizi sui temi trattati in questa opera potranno essere trovati sul sito web dedicato che potrà essere un luogo di dialogo tra gli autori ed i lettori: http://logica.uniroma3.it/˜ tortora/Libro.html



فهرست مطالب

Front Matter ....Pages i-ix
 Introduzione  (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 1-35
 Alcune nozioni preliminari  (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 37-48
 Dimostrabilità e soddisfacibilità  (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 49-108
 Verso la teoria della dimostrazione: il teorema di eliminazione del taglio per LK  (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 109-136
 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza  (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 137-178
Back Matter ....Pages 179-190




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی