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àgines:
238
Format:
Pdf
idioma:
CASTELLANO
Derechos eBook:
Número de activaciones: 6
DRM
Si

Descompte:

-5%

Abans:

12,58 €

Després:

11,95 €
IVA inclòs
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. 

 


Altres llibres de l'autor a Llibreria Bellart

Editorial tebar a Llibreria Bellart

  • ACTIVIDADES DE EDUCACIÓN AMBIENTAL PARA ENTENDER NUESTRO ENTORNO
    ebook
    -5%
    Titulo del libro
    ACTIVIDADES DE EDUCACIÓN AMBIENTAL PARA ENTENDER NUESTRO ENTORNO
    SANDRA ROPERO
    Editorial tebar
    Este libro ofrece una selección de actividades de educación ambiental diseñadas para involucrar a los jóvenes e...

    7,90 €7,51 €

  • ASÍ SE MIENTE CON ESTADÍSTICAS
    ebook
    -5%
    Titulo del libro
    ASÍ SE MIENTE CON ESTADÍSTICAS
    WALTER KRÄMER
    Editorial tebar
    ?¡Sólo me fío de las estadísticas que yo mismo he manipulado!?. Esta frase, atribuida a Churchill, es en nuestro...

    9,03 €8,58 €

  • DOMINA LAS VENTAS DE TU NEGOCIO
    ebook
    -5%
    Titulo del libro
    DOMINA LAS VENTAS DE TU NEGOCIO
    DAVID PÉREZ
    Editorial tebar
    Vender no es solo una cuestión de suerte o intuición, sino el resultado de aplicar estrategias efectivas y compre...

    8,40 €7,98 €

  • EL NUMERONOMICÓN
    ebook
    -5%
    Titulo del libro
    EL NUMERONOMICÓN
    JOSEP M. ALBAIGÉS
    Editorial tebar
    Resulta sorprendente que, aunque se editan diccionarios sobre los más variados temas, hasta hoy, ninguno haya abord...

    15,05 €14,30 €

  • COMENTARIOS PRÁCTICOS PARA OBRAS
    ebook
    -5%
    Titulo del libro
    COMENTARIOS PRÁCTICOS PARA OBRAS
    MANUEL MUÑOZ HIDALGO
    Editorial tebar
    El objetivo de este libro es facilitar la comprensión de los términos técnicos más usuales empleados en la edifi...

    28,00 €26,60 €