Saltar al contenido principal
Logica Simbolica para Informaticos

Logica Simbolica para Informaticos

Logica Simbolica para Informaticos

Julián Iranzo, Pascual

La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para el cómputo. Este libro se centra, principalment...

Editorial:
Ra-Ma
Año de edición:
2004
Materia:
Matemáticas
ISBN:
978-84-7897-619-5
Páginas:
328
Encuadernación:
Bolsillo
20,90 €
IVA incluido
Añadir a favoritos

Sinopsis

La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para el cómputo. Este libro se centra, principalmente, en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y lü de predicados. Sin desdeñar el rigor matemático se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de forma meramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica). También se dedica atención a las lógicas no clásicas, por su gran influencia en la ciencia y tecnología actuales: por ejemplo, la lógica modal o las lógicas multivalentes. Características destacadas: Equilibrio entre los contenidos formales y los prácticos. Presentación gradual de los conceptos. Énfasis en los conceptos recurrentes. Más de 85 ejemplos y 120 cuestiones y problemas propuestos.

Índice

Este libro se centra, principalmente, en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la de predicados. Sin desdeñar el rigor matemático se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así como a los procesos deductivos.

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 €