Lógica matemática y computacional

Name: Lógica matemática y computacional
SKU: 1615732.62
Price: 18.52 EUR
Availability: OutOfStock

Jiménez de Parga, Carlos

~~19,50€~~ 18,52€

Disponibilidad online

No disponible

Haz clic y recoge

Este producto no está disponible. Por favor, selecciona otra opción.

Añadir a favoritos

Compra segura

Entrega en 1-2 días laborables.

Regístrate y disfruta de descuentos en cada compra

Envío gratis a partir de 19€ en libros y de 39€ en libros de texto, juguetes y papelería.

Productos de robótica: no se aceptan devoluciones en la tienda. Contacta con atención al cliente.

Descripción

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.

Ficha técnica - Lógica matemática y computacional

Tipo de producto: Libro

Páginas/Hojas: 238

Año de edición: 2024

Idioma: Español

Tipo de tapa: Blanda

EAN: 9788473609913

Referencia Abacus: 1615732.62

Editorial: Tébar Flores

Lógica matemática y computacional

Jiménez de Parga, Carlos

~~19,50€~~ 18,52€

5% descuento

Encuentra una tienda

Consulta la disponibilidad de productos en tu zona

Afectados	Finalidades	Base jurídica	Conservación
Usuarios	Gestionar las peticiones de información o trámites. Participar en las promociones, sorteos, concursos y eventos organizados por ABACUS SCCL y/o entidades colaboradoras. En caso de que el usuario lo solicite, enviar información personalizada (también vía electrónica) sobre noticias, ofertas, productos y servicios de ABACUS SCCL y/o entidades colaboradoras, en base a sus intereses y preferencias.	Consentimiento (a través de la aceptación de la Política de Privacidad). Se podrá revocar el consentimiento en cualquier momento sin que esto afecte de forma retroactiva al tratamiento de datos personales realizado hasta el momento.	Durante el tiempo que sea necesario para gestionar la petición o trámite. Durante el tiempo que sea necesario para gestionar la promoción, sorteo, concurso o evento. Hasta que el usuario manifieste su voluntad de suprimirlas.
Candidatos/as a puestos de trabajo	Dar curso a su candidatura en el proceso de selección al que haya aplicado y tramitar su eventual incorporación a la plantilla de ABACUS y, si procede, notificarle o informarle de otros procesos de selección de personal de ABACUS que puedan ser de su interés.	Aplicación de medidas precontractuales para la eventual suscripción del contrato laboral.	Durante un máximo de un (1) año por si surgen nuevos procedimientos de selección que encajen con el perfil del/de la candidato/a y mientras no se solicite su supresión.

Afectados	Finalidades	Base jurídica	Conservación
Usuarios	Gestionar las peticiones de información o trámites. Participar en las promociones, sorteos, concursos y eventos organizados por ABACUS SCCL y/o entidades colaboradoras. En caso de que el usuario lo solicite, enviar información personalizada (también vía electrónica) sobre noticias, ofertas, productos y servicios de ABACUS SCCL y/o entidades colaboradoras, en base a sus intereses y preferencias.	Consentimiento (a través de la aceptación de la Política de Privacidad). Se podrá revocar el consentimiento en cualquier momento sin que esto afecte de forma retroactiva al tratamiento de datos personales realizado hasta el momento.	Durante el tiempo que sea necesario para gestionar la petición o trámite. Durante el tiempo que sea necesario para gestionar la promoción, sorteo, concurso o evento. Hasta que el usuario manifieste su voluntad de suprimirlas.
Candidatos/as a puestos de trabajo	Dar curso a su candidatura en el proceso de selección al que haya aplicado y tramitar su eventual incorporación a la plantilla de ABACUS y, si procede, notificarle o informarle de otros procesos de selección de personal de ABACUS que puedan ser de su interés.	Aplicación de medidas precontractuales para la eventual suscripción del contrato laboral.	Durante un máximo de un (1) año por si surgen nuevos procedimientos de selección que encajen con el perfil del/de la candidato/a y mientras no se solicite su supresión.

Afectados	Finalidades	Base jurídica	Conservación
Usuarios	Gestionar las peticiones de información o trámites. Participar en las promociones, sorteos, concursos y eventos organizados por ABACUS SCCL y/o entidades colaboradoras. En caso de que el usuario lo solicite, enviar información personalizada (también vía electrónica) sobre noticias, ofertas, productos y servicios de ABACUS SCCL y/o entidades colaboradoras, en base a sus intereses y preferencias.	Consentimiento (a través de la aceptación de la Política de Privacidad). Se podrá revocar el consentimiento en cualquier momento sin que esto afecte de forma retroactiva al tratamiento de datos personales realizado hasta el momento.	Durante el tiempo que sea necesario para gestionar la petición o trámite. Durante el tiempo que sea necesario para gestionar la promoción, sorteo, concurso o evento. Hasta que el usuario manifieste su voluntad de suprimirlas.
Candidatos/as a puestos de trabajo	Dar curso a su candidatura en el proceso de selección al que haya aplicado y tramitar su eventual incorporación a la plantilla de ABACUS y, si procede, notificarle o informarle de otros procesos de selección de personal de ABACUS que puedan ser de su interés.	Aplicación de medidas precontractuales para la eventual suscripción del contrato laboral.	Durante un máximo de un (1) año por si surgen nuevos procedimientos de selección que encajen con el perfil del/de la candidato/a y mientras no se solicite su supresión.