{"product_id":"9788474919349","title":"Matemática discreta y lógica matemática","description":"\u003ch2\u003eMatemática discreta y lógica matemática\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEsta obra ofrece una introducción rigurosa y completa a los fundamentos de la matemática discreta y la lógica matemática, disciplinas esenciales para la informática teórica y práctica. A lo largo de sus páginas, el lector encontrará los conceptos básicos de conjuntos, relaciones, funciones, álgebra de Boole, teoría de grafos, autómatas y lenguajes formales, así como los principios de la lógica proposicional y de predicados. El libro está diseñado para estudiantes universitarios de ingeniería informática y ciencias de la computación, combinando teoría, ejemplos y ejercicios que facilitan la comprensión y aplicación de estos temas.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl texto aborda de manera sistemática los pilares de la matemática discreta, comenzando con los fundamentos de la teoría de conjuntos y las relaciones binarias, para luego adentrarse en el estudio de las estructuras algebraicas como grupos, anillos y cuerpos. Se dedica una atención especial al álgebra de Boole y su aplicación en circuitos lógicos, así como a la teoría de grafos, con sus aplicaciones en redes y optimización. En la parte de lógica matemática, se explican la lógica proposicional, los sistemas deductivos, la lógica de predicados de primer orden y los métodos de demostración. Finalmente, se introducen los conceptos de autómatas finitos, lenguajes regulares y gramáticas formales, cerrando el círculo con los fundamentos de la computabilidad.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eTeoría de conjuntos y relaciones binarias\u003c\/li\u003e\n\u003cli\u003eEstructuras algebraicas discretas: grupos, anillos y cuerpos\u003c\/li\u003e\n\u003cli\u003eÁlgebra de Boole y circuitos lógicos\u003c\/li\u003e\n\u003cli\u003eTeoría de grafos y sus aplicaciones\u003c\/li\u003e\n\u003cli\u003eLógica proposicional y de predicados\u003c\/li\u003e\n\u003cli\u003eSistemas deductivos y métodos de demostración\u003c\/li\u003e\n\u003cli\u003eAutómatas finitos, lenguajes regulares y gramáticas formales\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está dirigido principalmente a estudiantes universitarios de grados en Ingeniería Informática, Ciencias de la Computación, Matemáticas o disciplinas afines que necesiten dominar los fundamentos discretos y lógicos de la computación. También es útil para profesionales del sector que deseen reforzar sus bases teóricas, así como para docentes que busquen un manual completo y estructurado para impartir asignaturas de matemática discreta y lógica.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProporciona una base sólida y rigurosa en matemática discreta, esencial para el diseño de algoritmos y estructuras de datos.\u003c\/li\u003e\n\u003cli\u003eDesarrolla el razonamiento lógico y formal, fundamental para la verificación de programas y la inteligencia artificial.\u003c\/li\u003e\n\u003cli\u003eIncluye una amplia variedad de ejemplos y ejercicios prácticos que facilitan la asimilación de conceptos abstractos.\u003c\/li\u003e\n\u003cli\u003eAborda de forma integrada la lógica matemática y la teoría de autómatas, dos áreas clave en la computación teórica.\u003c\/li\u003e\n\u003cli\u003eOfrece un enfoque didáctico y progresivo, ideal para el autoaprendizaje y la preparación de exámenes universitarios.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAutor:\u003c\/strong\u003e MARIA TERESA HORTALA GONZALEZ; Javier Leach Albert; Mario Rodríguez Artalejo\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEditorial:\u003c\/strong\u003e Editorial Complutense, S.A.\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eIdioma:\u003c\/strong\u003e Español\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eTema:\u003c\/strong\u003e Informática - Informática práctica - Matemáticas para computación\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEncuadernación:\u003c\/strong\u003e Bolsillo\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFecha de edición:\u003c\/strong\u003e 2009\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eNúmero de páginas:\u003c\/strong\u003e 562\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eDimensiones:\u003c\/strong\u003e 24.0 cm x 17.0 cm\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 900.0 gr\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe trata de un manual de referencia consolidado en el ámbito universitario español, que destaca por su claridad expositiva y su cobertura exhaustiva de los temas fundamentales de la matemática discreta y la lógica. La obra resulta especialmente valiosa para quienes buscan una comprensión profunda y estructurada de estas materias, alejada de enfoques superficiales. Su enfoque teórico-práctico, con abundantes ejemplos y ejercicios, la convierte en una herramienta eficaz tanto para el estudio individual como para el trabajo en el aula. Es, sin duda, una adquisición recomendada para cualquier estudiante o profesional que desee dominar los fundamentos matemáticos de la computación.\u003c\/p\u003e","brand":"EDICIONES COMPLUTENSE","offers":[{"title":"Default Title","offer_id":53544908521819,"sku":"9788474919349","price":90.25,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/9788474919349.jpg?v=1783531082","url":"https:\/\/kalamobooks.com\/products\/9788474919349","provider":"Kalamo Books","version":"1.0","type":"link"}