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 D-LECTUM

Editorial tebar en D-LECTUM

  • 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 €

  • PRINCIPIOS DE VUELO. PROBLEMAS RESUELTOS
    ebook
    -5%
    Titulo del libro
    PRINCIPIOS DE VUELO. PROBLEMAS RESUELTOS
    RAMÓN A. OTÓN MARTÍNEZ
    Editorial tebar
    El principal objetivo de este libro es proporcionar una colección de problemas resueltos de Aerodinámica clásica ...

    13,90 €13,21 €

  • MATEMÁTICAS FINANCIERAS
    ebook
    -5%
    Titulo del libro
    MATEMÁTICAS FINANCIERAS
    ADRIÁN DE MIGUEL SOLANO;JOSÉ MARÍA DE MIGUEL SECO
    Editorial tebar
    El libro constituye un manual práctico de las operaciones de matemáticas financieras más frecuentes en las finanz...

    15,05 €14,30 €

  • FUNDAMENTOS DE TECNOLOGÍA ELECTRÓNICA: VOLUMEN I.
    ebook
    -5%
    Titulo del libro
    FUNDAMENTOS DE TECNOLOGÍA ELECTRÓNICA: VOLUMEN I.
    ALBERTO MENÉNDEZ MARTÍNEZ
    Editorial tebar
    Fundamentos de Tecnología Electrónica muestra cómo utilizar correctamente componentes de mercado, analizando los ...

    10,92 €10,37 €

  • RÍETE CON LAS MATES
    ebook
    -5%
    Titulo del libro
    RÍETE CON LAS MATES
    JAVIER RODRIGO;JOSÉ MANUEL SÁNCHEZ;MARILÓ LÓPEZ
    Editorial tebar
    El humor es un recurso eficaz para amenizar y atraer la atención y, unido a la imagen, supone una herramienta perfe...

    12,25 €11,64 €