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

12,58 €

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 Librería Gallardo

Editorial tebar en Librería Gallardo

  • NOVEDADES PLAN GENERAL CONTABLE 2007 Y PGC DE PYMES
    ebook
    Titulo del libro
    NOVEDADES PLAN GENERAL CONTABLE 2007 Y PGC DE PYMES
    JOSEP BUJ ARAGONÉS
    Editorial tebar
    El Plan General de Contabilidad constituye el desarrollo reglamentario en materia de cuentas anuales individuales de...

    9,73 €

  • FÍSICA GENERAL (32ª EDICIÓN): TOMO I
    ebook
    Titulo del libro
    FÍSICA GENERAL (32ª EDICIÓN): TOMO I
    CARLOS GRACIA MUÑOZ;ENRIQUE BURBANO GARCÍA;SANTIAGO BURBANO DE ERCILLA
    Editorial tebar
    El primero de los tomos en los que se dividió el clásico "Física General" para facilitar el acceso y estudio de l...

    15,05 €

  • LAS MUERTES DE PRIM
    ebook
    Titulo del libro
    LAS MUERTES DE PRIM
    MARÍA DEL MAR; KOUTSOURAIS ROBLEDO
    Editorial tebar
    Este libro es el resultado de un profundo examen e investigación realizados por la doctora en Medicina Legal y Fore...

    15,05 €

  • ENTENDER LA LEY DE ARRENDAMIENTOS URBANOS
    ebook
    Titulo del libro
    ENTENDER LA LEY DE ARRENDAMIENTOS URBANOS
    JOSÉ VICENTE ROJO
    Editorial tebar
    A lo largo del libro el lector verá disposiciones legales transcritas y comentadas de manera comprensible. Pero tam...

    12,25 €

  • RUSIA: LA TERCERA ROMA
    ebook
    Titulo del libro
    RUSIA: LA TERCERA ROMA
    PEDRO GARCÍA MARTÍN
    Editorial tebar
    El filósofo Alejandro Herzen decía que: «En opinión de Europa, Rusia era un país asiático; en opinión de Asia...

    4,16 €