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€

Disponibilitat online

No disponible

Clica i recull

Aquest producte no està disponible. Si us plau, selecciona una altra opció.

Afegir a favorits

Compra segura

Entrega en 1-2 dies laborables.

Registra't i gaudeix de descomptes en cada compra

Enviament gratuït a partir de 19€ en llibres i de 39€ en llibres de text, joguines i papereria.

Productes de robòtica: no s'accepten devolucions a la botiga. Contacta amb atenció al client

Descripció

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.

Fitxa tècnica - Lógica matemática y computacional

Tipus de producte: Llibre

Pàgines/Fulls: 238

Any d'edició: 2024

Idioma: Castellà

Tipus de tapa: Tova

EAN: 9788473609913

Referència Abacus: 1615732.62

Editorial: Tébar Flores

Lógica matemática y computacional

Jiménez de Parga, Carlos

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

5% descompte

Troba una botiga

Consulta la disponibilitat de productes a la teva zona

Afectats	Finalitats	Base jurídica	Conservació
Usuaris	Gestionar les peticions d’informació o tràmits. Participar en les promocions, sortejos, concursos i esdeveniments organitzats per ABACUS SCCL i/o entitats col·laboradores. En cas que l'usuari ho sol·liciti, enviar informació personalitzada (també via electrònica) sobre notícies, ofertes, productes i serveis d’ABACUS SCCL i/o entitats col·laboradores, en base als seus interessos i preferències.	Consentiment (a través de l’acceptació de la Política de Privacitat). Es podrà revocar el consentiment en qualsevol moment sense que això afecti de forma retroactiva al tractament de dades personals realitzat fins el moment.	Durant el temps que sigui necessari per tal de gestionar la petició o tràmit. Durant el temps que sigui necessari per tal de gestionar la promoció, sorteig, concurs o esdeveniment. Fins que l'usuari manifesti , si escau, la seva voluntat de suprimir-les.
Candidats/es a llocs de treball	Donar curs a la seva candidatura en el procés de selecció al que hagi aplicat i tramitar la seva eventual incorporació a la plantilla d’ABACUS i, si escau, notificar-li o informar-li d'altres processos de selecció de personal d’ABACUS que puguin ser del seu interès.	Aplicació de mesures pre-contractuals per a l’eventual subscripció del contracte laboral.	Durant un màxim d’un (1) any per si sorgeixen nous procediments de selecció que encaixin amb el perfil del/de la candidat/a i mentre no se sol·liciti la seva supressió.

Afectats	Finalitats	Base jurídica	Conservació
Usuaris	Gestionar les peticions d’informació o tràmits. Participar en les promocions, sortejos, concursos i esdeveniments organitzats per ABACUS SCCL i/o entitats col·laboradores. En cas que l'usuari ho sol·liciti, enviar informació personalitzada (també via electrònica) sobre notícies, ofertes, productes i serveis d’ABACUS SCCL i/o entitats col·laboradores, en base als seus interessos i preferències.	Consentiment (a través de l’acceptació de la Política de Privacitat). Es podrà revocar el consentiment en qualsevol moment sense que això afecti de forma retroactiva al tractament de dades personals realitzat fins el moment.	Durant el temps que sigui necessari per tal de gestionar la petició o tràmit. Durant el temps que sigui necessari per tal de gestionar la promoció, sorteig, concurs o esdeveniment. Fins que l'usuari manifesti , si escau, la seva voluntat de suprimir-les.
Candidats/es a llocs de treball	Donar curs a la seva candidatura en el procés de selecció al que hagi aplicat i tramitar la seva eventual incorporació a la plantilla d’ABACUS i, si escau, notificar-li o informar-li d'altres processos de selecció de personal d’ABACUS que puguin ser del seu interès.	Aplicació de mesures pre-contractuals per a l’eventual subscripció del contracte laboral.	Durant un màxim d’un (1) any per si sorgeixen nous procediments de selecció que encaixin amb el perfil del/de la candidat/a i mentre no se sol·liciti la seva supressió.

Afectats	Finalitats	Base jurídica	Conservació
Usuaris	Gestionar les peticions d’informació o tràmits. Participar en les promocions, sortejos, concursos i esdeveniments organitzats per ABACUS SCCL i/o entitats col·laboradores. En cas que l'usuari ho sol·liciti, enviar informació personalitzada (també via electrònica) sobre notícies, ofertes, productes i serveis d’ABACUS SCCL i/o entitats col·laboradores, en base als seus interessos i preferències.	Consentiment (a través de l’acceptació de la Política de Privacitat). Es podrà revocar el consentiment en qualsevol moment sense que això afecti de forma retroactiva al tractament de dades personals realitzat fins el moment.	Durant el temps que sigui necessari per tal de gestionar la petició o tràmit. Durant el temps que sigui necessari per tal de gestionar la promoció, sorteig, concurs o esdeveniment. Fins que l'usuari manifesti , si escau, la seva voluntat de suprimir-les.
Candidats/es a llocs de treball	Donar curs a la seva candidatura en el procés de selecció al que hagi aplicat i tramitar la seva eventual incorporació a la plantilla d’ABACUS i, si escau, notificar-li o informar-li d'altres processos de selecció de personal d’ABACUS que puguin ser del seu interès.	Aplicació de mesures pre-contractuals per a l’eventual subscripció del contracte laboral.	Durant un màxim d’un (1) any per si sorgeixen nous procediments de selecció que encaixin amb el perfil del/de la candidat/a i mentre no se sol·liciti la seva supressió.