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 La Casa del Estudiante

Editorial tebar en La Casa del Estudiante

  • BASES DE LA FISIOLOGÍA (2ª ED.)
    ebook
    -5%
    Titulo del libro
    BASES DE LA FISIOLOGÍA (2ª ED.)
    ANA ISABEL MARTÍN VELASCO;BEATRIZ GAL IGLESIAS;JULIO PRIETO MONTALVO;MERITXELL LÓPEZ GALLARDO
    Editorial tebar
    Bases de la fisiología es un texto que explica de manera sencilla los fundamentos de la Fisiología a estudiantes d...

    19,53 €18,55 €

  • EL DON DE LA PALABRA
    ebook
    -5%
    Titulo del libro
    EL DON DE LA PALABRA
    MARIO ARTESERO GARCÍA
    Editorial tebar
    El orador no nace, se hace, y este manual te dará las claves para convertirte en un brillante orador. A lo largo de...

    10,15 €9,64 €

  • FÍSICA PARA LAS CIENCIAS DE LA VIDA
    ebook
    -5%
    Titulo del libro
    FÍSICA PARA LAS CIENCIAS DE LA VIDA
    MIGUEL ORTUÑO ORTÍN
    Editorial tebar
    Esta obra está dirigida al primer curso de las carreras pertenecientes al área de Ciencias de la Vida y de la Salu...

    15,05 €14,30 €

  • MATLAB + OCTAVE
    ebook
    -5%
    Titulo del libro
    MATLAB + OCTAVE
    TERESA ARIAS-MARCO;VV. AA.
    Editorial tebar
    Esta obra es un curso de autoaprendizaje en lenguajes de programación de alto nivel, orientados a la resolución de...

    9,45 €8,98 €

  • PREVENCION DE RIESGOS LABORALES PARA APAREJADORES, ARQUITECTOS E INGENIEROS
    ebook
    -5%
    Titulo del libro
    PREVENCION DE RIESGOS LABORALES PARA APAREJADORES, ARQUITECTOS E INGENIEROS
    ADELA CANO MORAL;EMILIOR CARRASCO SÁNCHEZ
    Editorial tebar
    A pesar de la regulación existente, (ley de prevención de riesgos laborales, reglamento de los servicios de preven...

    12,25 €11,64 €