{"product_id":"logica-matematica-y-computacional","title":"Lógica matemática y computacional","description":"\u003cdiv style=\"text-align: left;\"\u003e\u003cspan style=\"font-family: inherit; text-align: left;\"\u003eISBN: 9788473609937\u003c\/span\u003e\u003c\/div\u003e\u003cdiv\u003eEditorial: Tébar Flores\u003c\/div\u003e\u003cdiv\u003eAutor: Carlos Jiménez de Parga\u003c\/div\u003e\u003cdiv\u003eAño de edición: 2024\u003c\/div\u003e\u003cdiv\u003eEdición: 1\u003c\/div\u003e\u003cdiv\u003eN° Páginas: 236\u003c\/div\u003e\u003cdiv\u003eTipo de pasta: Pasta blanda\u003c\/div\u003e\u003cdiv\u003eDescripción: Este manual de Lógica ofrece un curso teórico-práctico con numerosos ejemplos resueltos y ejercicios propuestos que introducirán al lector en los aspectos de esta ciencia que más han impactado en el campo del saber y en la tecnología más puntera.Los primeros capítulos están orientados a estudiantes de Filosofía en lo que respecta al arte de pensar y argumentar, mientras que la obra completa es de amplia aplicación en facultades de Ingeniería, Ingeniería Informática y Ciencias Matemáticas (STEM) por el potencial para fomentar la capacidad de abstracción y razonamiento formalizado.Lógica matemática y computacional permitirá al lector profundizar en los mecanismos que constituyen la Inteligencia Artificial y la verificación formal de programas de ordenador actuales.La presente edición incluye:- Lógica proposicional: desde la definición del lenguaje hasta los sistemas deductivos, incluyendo la deducción natural.- Lógica de predicados de primer orden: con explicaciones y ejemplos sobre la semántica de las interpretaciones, las equivalencias y los sistemas deductivos, incluida la resolución.- Lógica de Hoare: explicación completa para la verificación de programas secuenciales con gran cantidad de ejercicios.- Lógica modal: desde ejemplos de tipos de relaciones hasta la deducción natural.- Lógica temporal: expone de forma didáctica cómo razonar con conceptos de tiempo.\u003c\/div\u003e\u003cbr\u003e\u003cul\u003e\n\u003cbr\u003e\u003cli\u003eLibro de impresión bajo demanda\u003c\/li\u003e\n\u003cbr\u003e\u003cli\u003eTiempo promedio de entrega: 10 - 15 días\u003c\/li\u003e\n\u003cbr\u003e\u003cli\u003eNuevo y sellado\u003c\/li\u003e\n\u003cbr\u003e\n\u003c\/ul\u003e","brand":"Tébar Flores","offers":[{"title":"Default Title","offer_id":41777972477995,"sku":"9788473609937","price":531.0,"currency_code":"MXN","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/2321\/9467\/files\/987a90d0-5604-474e-9e4d-56917d3c17c9.jpg?v=1749520071","url":"https:\/\/cadabrabooks.com\/es-us\/products\/logica-matematica-y-computacional","provider":"Cadabra \u0026 Books","version":"1.0","type":"link"}