Libros de Antonia Huertas (2 libros)

Este libro está pensado para los estudiantes de Lógica de las facultades de Filosofía e Informática y, en general, para quienes se acercan a la lógica por vez primera. El texto, que se apoya en numerosos ejemplos y ejercicios, es accesible, interdisciplinar y moderno en su concepción, poniendo especial énfasis en la semántica. Aporta técnicas sencillas de prueba: diagramas de Venn para la lógica de predicados monarios y tableaux semánticos, cálculos de resolución y de deducción natural, tanto para la lógica proposicional como para la de primer orden. Contiene varios apéndices...

La analista de Europol especializada en ciberdelincuencia, Beppa Mardegan, se enfrenta a la amenaza del ciberterrorismo y desenmascarar el uso criminal de la informatización de nuestra sociedad. Para ello Beppa contará con el apoyo incondicional de su jefe y amigo Patrick White, aunque no siempre será suficiente para poder superar las trabas de todo tipo que encontrará en sus investigaciones, y con la ayuda inesperada de Lena, la seductora hacker a quien Beppa rehuye inútilmente. Mientras lidia con los ciberdelincuentes más peligrosos, Beppa, atormentada por sus remordimientos por no...