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

Desconto:

-5%

Antes:

12,58 €

Despois:

11,95 €
IVE incluído
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. 

 


Outros libros do autor en Librería Pelayo

Editorial tebar en Librería Pelayo

  • B1 TRAINING UP YOUR SKILLS. EXTENSIVE ENGLISH SKILLS PRACTICE
    ebook
    -5%
    Titulo del libro
    B1 TRAINING UP YOUR SKILLS. EXTENSIVE ENGLISH SKILLS PRACTICE
    ELISABETH DOUGLAS;SILVIA GIRIMONTI;JULIA SAMUEL
    Editorial tebar
    Esta innovadora serie de 3 libros en 3 niveles ?B1, B2 y C1 del MCE? está diseñada específicamente para desarroll...

    21,01 €19,96 €

  • INGENIERÍA DE VEHÍCULOS
    ebook
    -5%
    Titulo del libro
    INGENIERÍA DE VEHÍCULOS
    MANUEL CASCAJOSA
    Editorial tebar
    En este libro se realiza un estudio de todos los sistemas que componen los vehículos de carretera, superando lo me...

    27,23 €25,87 €

  • LA QUÍMICA EN PROBLEMAS (2ª ED.)
    ebook
    -5%
    Titulo del libro
    LA QUÍMICA EN PROBLEMAS (2ª ED.)
    IRENE GUERRERO;JOSÉ A. GARCÍA;JOSÉ MARÍA TEIJÓN;YOLANDA JIMÉNEZ
    Editorial tebar
    Este libro complementa los conocimientos teóricos de los estudiantes de química general de primeros cursos de facu...

    19,95 €18,95 €

  • PROPEDÉUTICA QUIRÚRGICA
    ebook
    -5%
    Titulo del libro
    PROPEDÉUTICA QUIRÚRGICA
    JAIME ARIAS;VV. AA.
    Editorial tebar
    La propedeútica es una enseñanza previa que sirve de preparación para comenzar el estudio o aprendizaje de algo. ...

    62,30 €59,19 €

  • REVIT ARCHITECTURE
    ebook
    -5%
    Titulo del libro
    REVIT ARCHITECTURE
    MARÍA ANGUITA
    Editorial tebar
    Este libro le ayudará a saber en qué consiste y cómo trabajar con el programa Revit Architecture. Se trata de un ...

    15,05 €14,30 €