Lógica matemática y computacional
Teoría y ejercicios resueltos
Sinopsis
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.
-15€ en eReader Vivlio Light Zen*
Este verano lee sin parar. Del 13 de julio al 2 de agosto llévate nuestro eReader Vivlio Light Zen por solo 94,99€ (-15 € de descuento).
Léelo en cualquier dispositivo
Ficha Técnica
Editorial: Editorial Tébar
ISBN: 9788473609920
Idioma: Castellano
Fecha de lanzamiento: 03/09/2024
Especificaciones del producto
Reseñas sobre Lógica matemática y computacional
Comparte tu experiencia con la comunidad lectora.
0 Reseñas
Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en
20€
*Descuento de 15 euros en el eReader Vivlio Light Zen, válido para pedidos realizados en casadellibro.com del 13 de julio al 2 de agosto y solo para los 300 primeros compradores, hasta fin de existencias.