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 Lendas

Editorial tebar en Librería Lendas

  • TRAYECTORIAS CONTEMPORÁNEAS DE LA FILOSOFÍA DEL DERECHO
    ebook
    -5%
    Titulo del libro
    TRAYECTORIAS CONTEMPORÁNEAS DE LA FILOSOFÍA DEL DERECHO
    ANTONIO ENRIQUE PÉREZ LUÑO
    Editorial tebar
    Diferentes escuelas y tendencias de la filosofía y teoría del derecho se han esforzado en comprender, explicar, y ...

    12,25 €11,64 €

  • EMPRENDE-T
    ebook
    -5%
    Titulo del libro
    EMPRENDE-T
    JOSÉ ÁNGEL FERNÁNDEZ
    Editorial tebar
    Esta es una guía que anima al nuevo emprendedor a comenzar una apasionante aventura, la de convertir una idea en un...

    13,79 €13,10 €

  • MOBBING O ACOSO LABORAL
    ebook
    -5%
    Titulo del libro
    MOBBING O ACOSO LABORAL
    ANA MARÍA CERVERA SÁNCHEZ;JOSÉ VICENTE ROJO
    Editorial tebar
    El libro explica al concepto de "mobbing" o acoso laboral, aborda los origenes de su existencia, estudia las clases ...

    9,45 €8,98 €

  • LA FUNCIÓN DEL MANDO INTERMEDIO EN LA PREVENCIÓN DE RIESGOS LABORALES
    ebook
    -5%
    Titulo del libro
    LA FUNCIÓN DEL MANDO INTERMEDIO EN LA PREVENCIÓN DE RIESGOS LABORALES
    FRANCISCO J NARANJO BENAVIDES
    Editorial tebar
    La aparición de la Ley de Prevención de Riesgos Laborales supuso un punto de inflexión donde se marcaban los...

    10,92 €10,37 €

  • GEOMETRÍA PARA INGENIEROS. TOMO II
    ebook
    -5%
    Titulo del libro
    GEOMETRÍA PARA INGENIEROS. TOMO II
    CARLOS COBOS
    Editorial tebar
    Este libro es el segundo de una colección que recoge los contenidos de la expresión gráfica de la ingeniería, tr...

    9,73 €9,24 €