{"product_id":"logica-matematica-y-computacional-carlos-jimenez-de-parga","title":"Lógica matemática y computacional | Carlos Jiménez de Parga","description":"Carlos Jiménez de Parga\u003cbr\u003e\n\u003cstrong\u003eLógica matemática y computacional\u003c\/strong\u003e\u003cbr\u003e\nTeoría y ejercicios resueltos\u003cbr\u003e\nEditorial Tébar Flores\u003cbr\u003e\n\u003cp style=\"color:red\"\u003e\u003cstrong\u003eLibro disponible en 5 dias hábiles.\u003cbr\u003e\u003c\/strong\u003e\u003c\/p\u003e\n\u003cstrong\u003ePáginas:\u003c\/strong\u003e 236\u003cbr\u003e\n\u003cstrong\u003ePrecio:\u003c\/strong\u003e 855.0\u003cbr\u003e\n\u003cstrong\u003eEstado:\u003c\/strong\u003e Nuevo\u003cbr\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 0.409 kgs.\u003cbr\u003e\n\u003cstrong\u003eISBN:\u003c\/strong\u003e 9788473609937\n\u003cp\u003eEste 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:\n- Lógica proposicional: desde la definición del lenguaje hasta los sistemas deductivos, incluyendo la deducción natural.\n- 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.\n- Lógica de Hoare: explicación completa para la verificación de programas secuenciales con gran cantidad de ejercicios.\n- Lógica modal: desde ejemplos de tipos de relaciones hasta la deducción natural.\n- Lógica temporal: expone de forma didáctica cómo razonar con conceptos de tiempo.\u003c\/p\u003e","brand":"Editorial Tébar Flores","offers":[{"title":"Default Title","offer_id":50220906545320,"sku":"1064491","price":855.0,"currency_code":"UYU","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0526\/8960\/0680\/files\/POCI-9788473609937_POCI-_9788473609937.jpg?v=1753192331","url":"https:\/\/www.libreriapocho.com.uy\/products\/logica-matematica-y-computacional-carlos-jimenez-de-parga","provider":"Librería Pocho","version":"1.0","type":"link"}