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

Lógica Matemática y Computacional

Teoría y Ejercicios Resueltos

Jiménez 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...

Argitaletxea:
Tebar Flores Editorial
Edizio-urtea:
2024
ISBN:
978-84-7360-991-3
Orrialdeak:
238
19,50 €
BEZ barne
Available in 1 month
Añadir a favoritos

Sinopsia

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.

Lotutako artikuluak

Vida de los Hongos

Vida de los Hongos

Bunyard, A.

* Un fascinante análisis ilustrado de la historia natural de los hongos. Sabemos que los hongos son importantes para nosotros y para el medio ambiente. Sin embargo, cómo viven y qué son capaces de hacer continúan siendo un misterio y una fuente de sorpresas. Repleto de impresionantes fotografías, ofrece una mirada al interior de su mundo oculto y extraordinario. Las maravilla...

Available

35,00 €

Tierra no Es tu Planeta, la

Tierra no Es tu Planeta, la

Escriva, Andreu

Un manifiesto esperanzador para habitar el planeta con humildad, justicia y esperanza. En La Tierra no es tu planeta, Andreu Escrivà nos recuerda que no podemos hablar de futuro sin hablar de biodiversidad. Con rigor científico y una escritura clara y cercana, traza una panorámica amplia y lúcida sobre la crisis que afrontamos: la fragmentación de los ecosistemas, la desaparici...

Available

21,90 €

Goonies, los. La Historia Ilustrada

Goonies, los. La Historia Ilustrada

Vitale, Brooke

LA HISTORIA ILUSTRADA OFICIAL DE UNO DE LOS FENÓMENOS DE TODOS LOS TIEMPOS Son los Goonies. Los rechazados. Los niños que siempre fueron un poco... diferentes.Son amigos de toda la vida, pero ahora van a tener que separarse. Están a punto de perder sus casas, y sus padres no pueden evitarlo. Es su último día juntos. Los Goonies no saben qué les espera. Todo empieza con el mapa ...

Available

14,90 €

La Poesía de los Números

La Poesía de los Números

Tammet, Daniel

? Cerrad los ojos. Imaginad un espacio sin límites. ? Imaginad los movimientos de una partida de ajedrez perfecta. ? Imaginad que el número 4 pudiera decirse de muchas maneras diferentes. ? Imaginad los acontecimientos infinitesimales que pueden conducir a que estalle la revolución en un país. ? Imaginad una tribu que, por no saber contar, no planea nada que se prolongue más de...

Available

18,90 €

Cuando el Viento Hable

Cuando el Viento Hable

Banzas, Ángela

Un país en silencio. Un misterio que aún respira. Un drama familiar de posguerra.Sofía nace en el otoño de 1939, tras una tragedia familiar, y crece rodeada de secretos en la Galicia rural de la posguerra. Sus abuelos paternos la crían bajo una estricta vigilancia, mientras su padre, un bibliotecario que vive oculto en las sombras, le alimenta la imaginación con historias fantá...

Available

21,90 €

Estuche Dark Tales. Los Cuentos Más Escalofriantes

Estuche Dark Tales. Los Cuentos Más Escalofriantes

Lee, Vernon

Presencias y Espectros: Los cuentos góticos más escalofriantes UNA PRECIOSA Y EXQUISITA CAJA REGALO CON LAS MEJORES HISTORIAS DE MISTERIO Y TERROR DE VERNON LEE. Edición limitada para coleccionistas y amantes de los sobrenatural. Una mujer convencida de ser la reencarnación de un antepasado muerto, una dama renacentista y asesina de sus cinco maridos que vuelve a la vida, salid...

Available

24,90 €

Egilearen beste liburu batzuk

Lógica Matemática y Computacional

Lógica Matemática y Computacional

Jiménez 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...

Available in 1 month

12,58 €