Esta web utiliza cookies propias y de terceros que nos permiten optimizar tu experiencia en el sitio web, evaluar su rendimiento, generar estadísticas de uso y mejorar y añadir nuevas funcionalidades. Mediante el análisis de tus hábitos de navegación podemos mostrar contenidos más relevantes y medir las interacciones con la web. Puede obtener más información aquí.
Configuración
¿Que son las cookies?
Una cookie es un fichero que se descarga en tu ordenador al acceder a determinadas páginas web.Las cookies permiten a una página web, entre otras cosas, almacenar y recuperar información sobre los hábitos de navegación de un usuario o de su equipo, gestionar el acceso de usuarios a zonas restringidas de la web, etc.Tipo de cookies utiliza esta página web:
Gestión de Cookies
Este tipo de cookies permiten al usuario la navegación a través de una página web, plataforma o aplicación y la utilización de las diferentes opciones o servicios que en ella existan como, por ejemplo, controlar el tráfico y la comunicación de datos, identificar la sesión, acceder a partes de acceso restringido, seleccionar el idioma, o compartir contenidos a través de redes sociales.
Nombre
Descripcion
Duración
Habilitado
ID de tu sesión. Te identifica en este navegador y nos permite gestionar tus cookies o almacenar tu cesta de la compra.
8760 horas
Indica qué cookies has aceptado.
8760 horas
Una cookie PHPSESSID es una cookie de sesión que se utiliza para identificar la sesión de un usuario en un sitio web.
8760 horas
Son aquéllas que posibilitan el seguimiento y análisis del comportamiento de los usuarios en nuestra página. La información recogida se utiliza para la medición de la actividad de los usuarios en la web y la elaboración de perfiles de navegación de los usuarios, con la finalidad de mejorar la web, así como los productos y servicios ofertados.
Nombre
Descripcion
Duración
Habilitado
Es un servicio de analítica web que utiliza cookies de análisis.
8760 horas
Estas cookies pueden ser establecidas a través de nuestro sitio por nuestros socios publicitarios. Pueden ser utilizadas por esas empresas para crear un perfil de sus intereses y mostrarle anuncios relevantes en otros sitios. No almacenan directamente información personal, sino que se basan en la identificación única de su navegador y dispositivo de Internet. Si no permite utilizar estas cookies, verá menos publicidad dirigida.
Nombre
Descripcion
Duración
Habilitado
¿Que son las Cookies?
Una cookie es un fichero que se almacena en el dispositivo con que el usuario accede a una página web (Ordenador, Smartphone, Tablet, etc.), guardando información relativa a los datos de navegación.
Las cookies permiten a un sitio web, entre otras cosas, almacenar y recuperar información sobre los hábitos de navegación de un usuario o de su equipo, gestionar el acceso de usuarios, personalizar el idioma de la web, conocer el número de usuarios simultáneos y la reincidencia de las visitas, etc.
Política de Privacidad
Puedes consultar los datos del Responsable del tratamiento, las finalidades del tratamiento, las bases legitimadoras, el plazo de conservación, etc. en nuestra página de "Política de Privacidad".
¿Qué tipos de cookies utiliza esta página web?
Las cookies que utilizamos en nuestro sitio web, se suelen clasificar en tres categorías distintas.
Según la entidad que las gestione.
Propias.
De terceros.
Según su duración.
De sesión.
Persistentes.
Según el tipo de información que gestionan.
De análisis.
Técnicas.
De personalización.
Clasificación según entidad que la gestiona
Según la entidad que las gestione distinguiremos entre cookies propias y de terceros.
Cookies propias
Las cookies propias son las implementadas por el propietario de la web, como pueden ser las cookies de sesión y personalización.
Cookies de terceros
Las cookies de terceros, son creadas por una empresa externa, como suelen ser las cookies de análisis, por ejemplo las de Google Analytics.
Clasificación según la duración
Si las clasificamos por el tiempo que permanecen en el equipo con el que se accede a la web (Ordenador, Smartphone, Tablet, etc.), podremos distinguir entre cookies de sesión y cookies persistentes.
Cookies de sesión
Las cookies de sesión, solo existen mientras se tiene la página web abierta en el navegador, se suelen usar para almacenar información necesaria para la prestación del servicio, como puede ser el nombre de usuario o la lista de la cesta de la compra.
Cookies persistentes
Las cookies persistentes, permanecen en el equipo una vez cerrada la página web.
Como ejemplo de cookies de tipo persistente, es la cookie que almacena la respuesta al mensaje de cookies, la cual se usa para evitar que se muestre el mensaje de cookies cada vez que el usuario abre la web.
Clasificación según el tipo de información que almacenan
Según el tipo de información que gestionan podemos clasificarlas en cookies de análisis, cookies técnicas y cookies de personalización.
Cookies de Análisis
Son aquéllas que posibilitan el seguimiento y análisis del comportamiento de los usuarios en nuestra página.
La información recogida se utiliza para la medición de la actividad de los usuarios en la web, con la finalidad de mejorar la web, así como los productos y servicios ofertados.
Cookies Técnicas
Este tipo de cookies permiten al usuario la navegación a través de una página web y la utilización de las diferentes opciones o servicios que en ella existen como, por ejemplo, identificar la sesión, acceder a partes de acceso restringido, o la gestión de la cesta de la compra.
Estas cookies son las únicas que no se pueden desactivar, ya que consideramos que son imprescindibles para el correcto funcionamiento del sitio web.
Cookies de Personalización
Son aquéllas que permiten adaptar la navegación en nuestra página web a tus preferencias, como pueden ser Idioma, navegador utilizado, etc.
Listado de cookies
A continuación se muestra una tabla con las cookies que utiliza nuestra página web.
Nombre
Propia / Terceros
Duración
Descripción
Propietario
_gat
Terceros
1 minuto
Se usa para limitar el porcentaje de solicitudes.
Google Analytics
_ga
Terceros
2 años
Se usa para distinguir a los usuarios.
Google Analytics
_gid
Terceros
24 horas
Se usa para distinguir a los usuarios.
Google Analytics
PHPSESSID
Propia
Sesion
Cookie de Sesion, desaparece cuando se cierra la web.
Arnoia
COOKIE_CONSENT
Propia
1 mes
Cookie de personalización.
Arnoia
SESS_ID
Propia
10 días
Cookie de Sesion.
Arnoia
¿Quién utiliza las cookies?
Las cookies empleadas en esta página web, son utilizadas por el responsable legal de esta página web y por los siguientes servicios o proveedores de servicios: - Google Analytics: Es un servicio de analítica web que utiliza cookies de análisis. Puede consultar la política de privacidad de este servicio en esta dirección web. https://policies.google.com/privacy?gl=ES&hl=es
¿Cómo puedo desactivar o eliminar las cookies?
Se pueden permitir, bloquear o eliminar las cookies mediante el mensaje de cookies de la página web o a través la configuración de las opciones del navegador instalado en su dispositivo.
Configuración de privacidad mediante mensaje de cookies
Puedes configurar los tipos de cookies que deseas permitir en nuestro sitio web desde el mensaje de cookies.
El mensaje de cookies se mostrará la primera vez que accedas al sitio web y, debido a que la cookie ALLOW_COOKIES tiene una duración determinada, el mensaje se volverá a mostrar cuando esta Cookie caduque.
Es posible forzar la aparición del mensaje de cookies eliminando manualmente la cookie ALLOW_COOKIES.
Configuración de privacidad en navegadores
A continuación indicamos los pasos para acceder a la configuración de privacidad en los principales navegadores.
Microsoft Internet Explorer: Herramientas -> Opciones de Internet -> Privacidad -> Configuración.
Microsoft Edge: Herramientas -> Configuración -> Privacidad, búsqueda y servicios.
Chrome: Herramientas -> Configuración -> Seguridad y privacidad -> Cookies y otros datos de sitios.
Safari: Preferencias -> Seguridad.
Opera: Herramientas -> Privacidad y seguridad.
Debido a que la configuración de cada navegador es distinta y con las nuevas versiones pueden sufrir cambios, recomendamos consultar la información sobre cookies que ofrecen los principales navegadores de internet en su ayuda o en la web de soporte correspondiente.
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 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. 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.
Específicamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenierías Técnicas como de la Ingeniería Superior en Informática. Ahora bien, aunque la selección de los temas se ha hecho pensando en las necesidades de éstos, también puede ser útil a alumnos de matemáticas u otras ingenierías.
