Saltar al contenido principal
Lógica Matemática y Computacional

Lógica Matemática y Computacional

Teoría y Ejercicios Resueltos

Jimenez De Parga,Carlos / Jimenez De Parga, Carlos

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 l...

Editorial:
Tébar
Año de edición:
2024
Materia:
Matemáticas
ISBN:
978-84-7360-991-3
Páginas:
238
Encuadernación:
Rústica
19,50 €
IVA incluido
Añadir a favoritos

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.

Artículos relacionados

Matematicas y Medidas:del Metro Al Ritmo

Matematicas y Medidas:del Metro Al Ritmo

Guevara Casanova, Iolanda / Romero Vallhon

Medir es comparar una magnitud con otra de su misma naturaleza que se toma como unidad. Así se mide una longitud, una masa, un intervalo de tiempo, etc. La humanidad se ha esforzado por encontrar las unidades más adecuadas y universales, tal y como ocurrió con el establecimiento del sistema métrico decimal. Sin embargo, aunque a veces se disponga de la unidad y el instrumento, ...

✅ Disponible

15,50 €

El Cerebro Matemático

El Cerebro Matemático

Dehaene, Stanislas

¿De dónde vienen realmente los números y cómo llegan a nuestra mente? ¿Por qué algunas personas tienen facilidad para lidiar con ellos y a muchas otras les resulta tan difícil dominarlos? Este libro ofrece respuestas a estas y otras apasionantes preguntas ...

✅ Disponible

24,90 €

Y me Llevo una

Y me Llevo una

Murcia, Joseángel

¿Recuerdas cómo se hacía una división? Tal vez, aunque puede que haga mucho que no la hagas a mano. ¿Y una raíz cuadrada? Este libro no va de cómo se hacen, sino de para qué sirven y por qué funcionan, ya que nos acostumbraron a memorizar procedimientos y no a hacernos preguntas. Mecanizar operaciones es importantísimo para poder centrarnos en las ideas fundamentales que suelen...

✅ Disponible

29,50 €

Matemáticas en Familia

Matemáticas en Familia

Meavilla Segui,Vicente

A lo largo de la historia, han existido familias en las que varias generaciones compartieron y transmitieron el amor por el pensamiento lógico y la investigación matemática. Este libro recorre ocho de esos linajes excepcionales, desde la mítica Hipatia y su padre Teón en la Alejandría antigua o la célebre familia Bernoulli, pasando por los Cassini, los Young, los Lehmer, la fam...

✅ Disponible

15,00 €

Historia del Cero

Historia del Cero

Fernández Aguilar, Eugenio M / Eugenio Manuel Fernández Aguilar

El cero no siempre estuvo ahí. Durante siglos, distintas culturas vivieron y pensaron el mundo sin recurrir a este símbolo del vacío. Su aparición y consolidación transformaron no solo las matemáticas, sino también nuestra forma de entender la realidad. A través de esta nueva obra el divulgador científico Eugenio M. Fernández propone un recorrido fascinante por la trayectoria d...

✅ Disponible

24,95 €

Análisis de Variable Compleja

Análisis de Variable Compleja

Sepulcre, Juan Matías

El análisis de variable compleja es una materia fundamental en los estudios universitarios de matemáticas, física e ingenierías. Este manual teórico-práctico está diseñado para estudiantes que inician su formación en esta rama del conocimiento. Su estructura combina el desarrollo teórico con ejemplos, ilustraciones, aplicaciones y una amplia colección de problemas resueltos, lo...

✅ Disponible

33,95 €