Libro: Lógica Matemática Y Computacional. Jiménez De Parga,

Descripción

ESTIMADO CLIENTE, UN GUSTO SALUDARLO, AQUÍ LE DEJAMOS UNAS ACLARACIONES CON RESPECTO A ESTA COMPRA:
-LOS LIBROS SON IMPORTADOS, LOS MISMOS DEMORAN ENTRE 15 Y 20 DÍAS EN LLEGAR AL PAÍS. La fecha de entrega es la indicada en el momento de efectuar la compra.

-LOS ENVÍOS A DOMICILIO SE REALIZAN A TRAVÉS DE MERCADO ENVÍOS. Si son gratuitos aparecerá indicado en la publicación.
-A SU VEZ, SE PUEDEN RETIRAR (SIN CARGO) LOS LIBROS POR NUESTRO DEPÓSITO EN FLORIDA, VICENTE LÓPEZ, BUENOS AIRES. Indicaremos los datos una vez realizada la compra.

AQUÍ ABAJO ENCONTRARÁ TODOS LOS DETALLES DEL LIBRO.
DE TODAS FORMAS, QUEDAMOS A SU DISPOSICIÓN PARA CUALQUIER CONSULTA.

TITULO DEL LIBRO: Lógica Matemática Y Computacional
AUTOR: Jiménez De Parga, Carlos
PÁGINAS: 238
ENCUADERNACIÓN: Bolsillo
EDITORIAL: Editorial Tebar Flores
ISBN: 9788473609913
Dimensiones: 240x170 mm
Categoría: Ensayos Literarios#logica Matematica#divulgacion Cientifica#teoria Matematica De La Computacion
Fecha de publicación: 2024

RESEÑA: 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.