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 Mundibooks

Editorial tebar en Mundibooks

  • LINGÜÍSTICA DE CORPUS DE ESTUDIANTES:
    ebook
    -5%
    Titulo del libro
    LINGÜÍSTICA DE CORPUS DE ESTUDIANTES:
    JUAN PEDRO RICA
    Editorial tebar
    Tomando como base la metodología de la lingüística de corpus y la teoría fraseológica, este estudio presenta un...

    20,23 €19,22 €

  • EL LIBRO DE CATIA V6
    ebook
    -5%
    Titulo del libro
    EL LIBRO DE CATIA V6
    Mª GLORIA DEL RÍO CIGONCHA
    Editorial tebar
    Esta obra, dedicada a la versión V6 de la aplicación CATIA (Computer Aided Three Dimensional Interactive Applicati...

    28,03 €26,63 €

  • CONSIDERACIONES LEGALES DEL MANTENIMIENTO DE INSTALACIONES
    ebook
    -5%
    Titulo del libro
    CONSIDERACIONES LEGALES DEL MANTENIMIENTO DE INSTALACIONES
    CRISTOBAL TRABALON
    Editorial tebar
    Cristóbal Trabalón Carricondo es ingeniero industrial superior en organización industrial, ingeniero técnico en ...

    12,53 €11,90 €

  • POLÍTICA, GESTAO E LITORAL
    ebook
    -5%
    Titulo del libro
    POLÍTICA, GESTAO E LITORAL
    E. (TRAD.) GARCIA SCHERER;JUAN MANUEL BARRAGÁN MARINEZ
    Editorial tebar
    El éxito de este título en su versión en castellano ha llevado a su edición en portugués, realizada por Marinez...

    27,93 €26,53 €

  • EQUIPOS MOTIVADOS, EQUIPOS PRODUCTIVOS
    ebook
    -5%
    Titulo del libro
    EQUIPOS MOTIVADOS, EQUIPOS PRODUCTIVOS
    INMA RÍOS
    Editorial tebar
    Un Equipo de Alto Rendimiento es aquel que consigue grandes resultados y cuyos miembros trabajan motivados y comprom...

    12,25 €11,64 €