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 Giner Papeleria

Editorial tebar en Giner Papeleria

  • ANÁLISIS DE LAS CAUSAS QUE PRODUCEN DAÑOS EN LA EDIFICACIÓN
    ebook
    -5%
    Titulo del libro
    ANÁLISIS DE LAS CAUSAS QUE PRODUCEN DAÑOS EN LA EDIFICACIÓN
    MANUEL MUÑOZ HIDALGO
    Editorial tebar
    Cuando surgen daños en una edificación, la solución pasa por el proceso siguiente: En primer lugar, conocer los ...

    20,50 €19,48 €

  • MANUAL DE PRIMERA INTERVENCIÓN EN EMERGENCIAS
    ebook
    -5%
    Titulo del libro
    MANUAL DE PRIMERA INTERVENCIÓN EN EMERGENCIAS
    ALEJANDRO SÁNCHEZ ABRIL
    Editorial tebar
    Se trata de un manual didáctico en el que se recogen las actuaciones pautadas para los primeros momentos de una sit...

    11,55 €10,97 €

  • ECONOMÍA CIRCULAR
    ebook
    -5%
    Titulo del libro
    ECONOMÍA CIRCULAR
    IGNACIO BELDA HÉRIZ
    Editorial tebar
    El cambio climático, la sobreexplotación de los recursos y la destrucción de los ecosistemas, provocados por un s...

    13,66 €12,98 €

  • OH LIFE!
    ebook
    -5%
    Titulo del libro
    OH LIFE!
    CARLOS FERNÁNDEZ DE CAÑETE ECHEGOYEN
    Editorial tebar
    ¿Existe vida en otros planetas? ¿Qué es la materia oscura? ¿Y los agujeros negros y de gusano? ¿Es ciencia ficc...

    15,33 €14,56 €

  • BIOQUÍMICA ESTRUCTURAL. CONCEPTOS Y TEST (2ª ED.)
    ebook
    -5%
    Titulo del libro
    BIOQUÍMICA ESTRUCTURAL. CONCEPTOS Y TEST (2ª ED.)
    JOSÉ MARÍA TEIJÓN
    Editorial tebar
    En la Bioquímica Estructural se han descrito las sustancias, sus propiedades y las funciones que realizan en el org...

    13,64 €12,96 €