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áginas:
238
Formato:
Pdf
Idioma:
CASTELLANO
Derechos eBook:
Número de activaciones: 6
DRM
Si

Descuento:

-5%

Antes:

12,58 €

Despues:

11,95 €
IVA incluido
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. 

 


Otros libros del autor en Ofilink

Editorial tebar en Ofilink

  • PRINCIPIOS DE ECOTOXICOLOGÍA (2ª EDICIÓN)
    ebook
    -5%
    Titulo del libro
    PRINCIPIOS DE ECOTOXICOLOGÍA (2ª EDICIÓN)
    MIGUEL A. CAPÓ MARTÍ
    Editorial tebar
    La ecotoxicología surge por la evolución de la toxicología hacia el estudio del entorno en el transcurso del desa...

    16,85 €16,01 €

  • INVESTIGACIÓN COMERCIAL
    ebook
    -5%
    Titulo del libro
    INVESTIGACIÓN COMERCIAL
    RAFAEL DOMINGO MARTÍNEZ CARRASCO
    Editorial tebar
    En la primera parte se analizan los fundamentos de la investigación comercial, comentando cada uno de los instrumen...

    16,73 €15,89 €

  • ELECTROACÚSTICA PRÁCTICA (2ª EDICIÓN)
    ebook
    -5%
    Titulo del libro
    ELECTROACÚSTICA PRÁCTICA (2ª EDICIÓN)
    JAN; BOGH BRIXEN VOETMANN
    Editorial tebar
    Concebido tanto como libro de consulta y texto académico, como manual práctico, esta nueva edición de Electroacú...

    22,40 €21,28 €

  • NOTAS PARA LA HISTORIA DE LA DESTILACIÓN
    ebook
    -5%
    Titulo del libro
    NOTAS PARA LA HISTORIA DE LA DESTILACIÓN
    J.L. OTERO DE GÁNDARA
    Editorial tebar
    Las primeras referencias, en un diccionario español, a los conceptos de destilación y al equipo para efectuarla, d...

    9,73 €9,24 €

  • FISIOPATOLOGÍA QUIRÚRGICA
    ebook
    -5%
    Titulo del libro
    FISIOPATOLOGÍA QUIRÚRGICA
    JAIME ARIAS
    Editorial tebar
    Destinado principalmente a estudiantes de Medicina, Enfermería y Odontología, ofrece los fundamentos fisiopatológ...

    40,46 €38,44 €