Lógica Matemática Y Computacional - Carlos Jiménez De Parga

Descripción

MERCADOLIBROS UY



DATOS IMPORTANTES

- Libro 100% original

- STOCK DISPONIBLE!
Listo para retirar o despachar en 72hs hábiles desde que se confirma la compra

- NO se aceptan cambios ni devoluciones
- Coordinar la entrega y abonar el costo del libro + envío (si necesita) para confirmar la compra
- SOLO aceptamos MercadoPago (todas las tarjetas + Abitab y RedPagos)



ENTREGA

- DESPACHO GARANTIZADO en 72hs hábiles
Desde el día de confirmación de compra

- Pick up GRATIS en zona centro, cerca de plaza independencia

- Envíos a todo el país
Consulte costo de envío según la zona de entrega

- Comunicarse por mail o whatsapp para coordinar entrega, recuerde que no se confirma la compra hasta no acordar la entrega
- Para costo de envío aceptamos Abitab, RedPagos, transferencias BROU y Scotiabank



------
LOGICA MATEMATICA Y COMPUTACIONAL
- ISBN: 9788473609937
- Editorial: EDITORIAL TEBAR FLORES
- Autor: CARLOS JIMENEZ DE PARGA
- Tamaño: 240x170x12mm
- Peso: 409gr
- Páginas: 236
- País de publicación: SPAIN
- Lenguaje: SPANISH

DESCRIPCIÓ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.