دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Lógica para informáticos
دانلود کتاب منطق برای دانشمندان کامپیوتر
مشخصات کتاب
Lógica para informáticos
ویرایش: نویسندگان: Rafel Farré, Roberto Nieuwenhuis, Pilar Nivela, Albert Oliveras, Enric Rodríguez, S سری: ISBN (شابک) : 8426716946, 9788426716941 ناشر: سال نشر: تعداد صفحات: 218 [216] زبان: Spanish فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 Mb
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Lógica para informáticos به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برای دانشمندان کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق برای دانشمندان کامپیوتر
هدف این کتاب ارائه مبانی منطق در زمینه علوم کامپیوتر به خواننده است. بنابراین مخاطبان اصلی دانشجویان رشته های علوم کامپیوتر هستند، اگرچه این کتاب به عنوان مکمل در آموزش های پایه در سایر علوم و مهندسی نیز مفید است. در این کار فقط دانش قبلی بسیار ابتدایی ریاضیات فرض شده است، دانشی که در فصل مقدماتی نیز به اختصار بررسی شده است. این کتاب به شیوه ای دوستانه و نزدیک نوشته شده است و بار نمادگذاری را تا حد امکان ساده کرده است و با مثال های متعددی که مفاهیم توضیح داده شده را نشان می دهد. تمام تمرینات پیشنهادی، بیش از 200، با راه حل مربوطه همراه هستند که با جزئیات زیاد توسعه یافته اند. این کتاب به دو منطق اساسی می پردازد: منطق گزاره ای و منطق مرتبه اول. پس از فصل مقدمات ریاضی، دو فصل بعدی حول تعریف منطق گزاره‌ای و تکنیک‌های استنتاج در این منطق و کاربردهای آنها می‌چرخد. طبق همین طرح، در قسمت دوم کتاب منطق مرتبه اول تعریف شده و روش های کسر و برخی کاربردها در فصل اول توضیح داده شده است. فصل بعدی به کاربرد مرتبط منطق و روش های قیاسی آن در محاسبات اختصاص دارد: برنامه ریزی منطقی. فصل آخر تمام مسائل پیشنهادی را همراه با راه‌حل‌های مربوطه گردآوری می‌کند. نویسندگان کتاب دکترای علوم کامپیوتر یا ریاضی هستند. آنها در حال حاضر سمت هایی به عنوان مدرس، استاد کامل یا استاد کامل در دانشگاه پلی تکنیک کاتالونیا دارند و سال ها تجربه در تدریس و تحقیق منطق در زمینه محاسبات دارند.
توضیحاتی درمورد کتاب به خارجی
La finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. La audiencia principal son pues los estudiantes de titulaciones en informática, aunque el libro también es útil como complemento en la formación básica de otras ciencias e ingenierías. En esta obra sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente en un capítulo de preliminares. El libro está escrito de forma amena y cercana, simplificando al máximo la carga notacional y con numerosos ejemplos que ilustran los conceptos explicados. Todos los ejercicios propuestos, más de 200, van acompañados de su correspondiente solución, desarrollada en todo detalle. El libro trata de dos lógicas fundamentales: la Lógica Proposicional y la Lógica de Primer Orden. Después del capítulo de preliminares matemáticos, los dos siguientes capítulos giran alrededor de la definición de la Lógica Proposicional y de las técnicas de deducción en esta lógica y sus aplicaciones. Siguiendo el mismo esquema, en la segunda parte del libro se define la Lógica de Primer Orden y se explican los métodos de deducción y algunas aplicaciones, en el primer capítulo. El siguiente capítulo está dedicado a una aplicación relevante de la lógica y sus métodos deductivos en la informática: la programación lógica. Un último capítulo recopila todos los problemas propuestos junto a sus correspondientes soluciones. Los autores del libro son Doctores en Informática o Matemáticas. En la actualidad ocupan plazas de Lector, Profesor Titular o Catedrático en la Universidad Politécnica de Cataluña y cuentan con muchos años de experiencia en la docencia y la investigación de la lógica en el ámbito de la informática.
