Lógica matemática y computacional
Lógica matemática y computacional
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.
Autor:
Carlos Jiménez de Parga(ver más sobre el autor)
Características técnicas:
- Tamaño cerrado 170 x 240 cm
- 236 páginas interiores
- Tapa rústica
- Encuadernación lomo cuadrado
Lógica matemática y computacional
$32.700 CLP
/
Tu información de pago se procesa de forma segura. No almacenamos los datos de tu tarjeta de crédito ni tenemos acceso a tu información de pago.
🍃 Impresión OnDemand
La impresión bajo demanda es un modelo de producción en el que los libros se imprimen uno a uno, según se soliciten, evitando el exceso de stock y reduciendo el desperdicio de papel. Esta modalidad no solo cuida el medioambiente, sino que también permite ofrecer una mayor variedad de títulos sin la necesidad de grandes tiradas.
Entre sus principales beneficios se encuentran:
✔ Sostenibilidad: Se imprime solo lo necesario, reduciendo el impacto ambiental.
✔ Disponibilidad de títulos: Permite acceder a libros que de otro modo no estarían en stock.
Debido a este proceso, los libros impresos bajo demanda pueden tener tiempos de entrega mayores en comparación con aquellos que ya cuentan con stock disponible.