ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Apuntes y problemas de lógica matemática

دانلود کتاب نکات و مسائل منطق ریاضی

Apuntes y problemas de lógica matemática

مشخصات کتاب

Apuntes y problemas de lógica matemática

ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 8498494753, 9788498494754 
ناشر: Editorial Dykinson, S.L. 
سال نشر: 2009 
تعداد صفحات: 284 
زبان: Spanish 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



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

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


در صورت تبدیل فایل کتاب 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.





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

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