دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Apuntes y problemas de lógica matemática
دانلود کتاب نکات و مسائل منطق ریاضی
مشخصات کتاب
Apuntes y problemas de lógica matemática
ویرایش:
نویسندگان: Alessandra Gallinari Biraghi
سری:
ISBN (شابک) : 8498494753, 9788498494754
ناشر: Editorial Dykinson, S.L.
سال نشر: 2009
تعداد صفحات: 284
زبان: Spanish
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب Apuntes y problemas de lógica matemática به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نکات و مسائل منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نکات و مسائل منطق ریاضی
اهداف اصلی این کتاب عبارتند از: معرفی ابزارها و مفاهیم اولیه منطق ریاضی و کاربردهای آن. به یادگیری استدلال و رسمی کردن صحیح کمک کنید. مبانی نظری را برای مطالعه منطق کامپیوتر تنظیم کنید تا بتوانید یک آموزش جهانی در مورد روش های رسمی و الگوریتمی استدلال خودکار و حل رسمی مسئله داشته باشید. تسهیل درک مفاهیم نظری منطق ریاضی، ارائه مجموعه گسترده ای از مسائل با راه حل های کامل. قسمت اول پست به منطق گزاره ای و دومی به منطق محمول می پردازد. این کتاب همچنین شامل دو فصل مقدماتی است. اولین مقدمه تاریخی مختصر منطق و روابط آن با فلسفه، ریاضیات و علوم کامپیوتر است. دوم مروری بر نظریه مجموعه هاست.
توضیحاتی درمورد کتاب به خارجی
Los principales objetivos de esto libro son: Introducir herramientas y conceptos básicos de la Lógica Matemática y sus aplicaciones. Ayudar a aprender a razonar y formalizar correctamente. Fijar las bases teóricas para el estudio de la Lógica Informática, así que se pueda tener una formación global acerca de los procedimientos formales y algorítmicos de razonamiento automático y resolución formal de problemas. Facilitar la comprensión de los conceptos teóricos de la Lógica Matemática, presentando una amplia colección de problemas con soluciones completas. La primera parte de la publicación trata la lógica proposicional y la segunda la lógica de predicados. El libro incluye también dos capítulos preliminares. El primero es una breve introducción histórica a la lógica y a sus relaciones con la Filosofía, las Matemáticas y la Informática. El segundo es un repaso de la teoría de conjuntos.
