LÓGICA MATEMÁTICA Y COMPUTACIONAL
ebook

LÓGICA MATEMÁTICA Y COMPUTACIONAL. TEORÍA Y EJERCICIOS RESUELTOS

Editorial:
Editorial tebar
EAN:
9788473609920
ISBN:
9788473609920
Páxinas:
238
Formato:
Pdf
lingua:
CASTELLANO
Derechos eBook:
Número de activaciones: 6
DRM
Si

Desconto:

-5%

Antes:

12,58 €

Despois:

11,95 €
IVE incluído
Comprar

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. 

 


Outros libros do autor en Libreria Clarin Estella

Editorial tebar en Libreria Clarin Estella

  • HISTORIAS DE LA ALAMEDA
    ebook
    -5%
    Titulo del libro
    HISTORIAS DE LA ALAMEDA
    QUIKE RAMÍREZ ARAMBURO
    Editorial tebar
    De la red al papel. De lo virtual a lo real. Se condensan en este libro las reflexiones, vivencias y desvaríos que,...

    11,84 €11,25 €

  • FÍSICA PARA LAS CIENCIAS DE LA VIDA
    ebook
    -5%
    Titulo del libro
    FÍSICA PARA LAS CIENCIAS DE LA VIDA
    MIGUEL ORTUÑO ORTÍN
    Editorial tebar
    Esta obra está dirigida al primer curso de las carreras pertenecientes al área de Ciencias de la Vida y de la Salu...

    15,05 €14,30 €

  • SEGURIDAD Y SALUD EN EL TRABAJO
    ebook
    -5%
    Titulo del libro
    SEGURIDAD Y SALUD EN EL TRABAJO
    JOSÉ MARÍA CORTÉS DÍAZ
    Editorial tebar
    El trabajo constituye una parcela esencial en nuestras vidas, no solo por el tiempo que acapara en nuestro día a d...

    31,22 €29,66 €

  • ECONOMÍA CIRCULAR. ESTRATEGIAS PARA EL SECTOR EMPRESARIAL, PÚBLICO Y DOMÉSTICO
    ebook
    -5%
    Titulo del libro
    ECONOMÍA CIRCULAR. ESTRATEGIAS PARA EL SECTOR EMPRESARIAL, PÚBLICO Y DOMÉSTICO
    IGNACIO BELDA HÉRIZ
    Editorial tebar
    La economía circular ha pasado de ser un concepto desconocido a convertirse en una estrategia clave para empresas,...

    7,90 €7,51 €

  • LA MEMORIA DE LA TIERRA
    ebook
    -5%
    Titulo del libro
    LA MEMORIA DE LA TIERRA
    CLEMENTE BERNARD;ELOY ALONSO
    Editorial tebar
    Desde el año 2000, se han exhumado en España cerca de ochenta fosas con el objetivo de recuperar los cuerpos de lo...

    19,25 €18,29 €