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

La Música de los Números Primos

La Música de los Números Primos

Du Sautoy, Marcus

A los niños les enseñan en la escuela que los números primos sólo pueden dividirse por sí mismos y por la unidad. Lo que no les enseñan es que los números primos representan el misterio más fascinante al que nos enfrentamos en nuestra búsqueda del conocimiento. ¿Cómo predecir cuál va a ser el siguiente número primo de una serie? ¿Existe alguna fórmula para generar números primo...

✅ Disponible

32,00 €

La Divina Geometría

La Divina Geometría

Jaime Buhigas Tallon / Buhigas, Jaime

¿Qué tienen en común músicos, matemáticos, arquitectos, pintores, diseñadores, ingenieros, biólogos, filólogos, geólogos, sacerdotes y místicos? Que todos - lo sepan o no - son geómetras. En un mundo como el actual, en el que el saber está dividido y especializado en exceso, la capacidad integradora de la geometría es el mejor camino para llegar a un conocimiento universal, úni...

✅ Disponible

20,90 €

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 €

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 €

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 €

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 €