Name: Lógica matemática y computacional: Teoría y ejercicios resueltos
Price: 26.47 USD
Availability: InStock
Author: Carlos Jiménez de Parga
ISBN: 9788473609937

portada Lógica matemática y computacional: Teoría y ejercicios resueltos

Lógica matemática y computacional: Teoría y ejercicios resueltos

Formato

Libro Físico

Editorial

Tébar Flores

Autor

Carlos Jiménez de Parga

Año

2024

Idioma

Español

N° páginas

236

Encuadernación

Tapa Blanda

Dimensiones

17 x 24 cm

ISBN13

9788473609937

Editado en

España

Lógica matemática y computacional: Teoría y ejercicios resueltos

Carlos Jiménez De Parga (Autor) · Tébar Flores · Tapa Blanda

Libro Nuevo Importado

Envío: 15 a 21 días háb.

$ 52.94$ 26.47

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 26.47

Llega entre el 08 Jul y el 20 Jul a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Lógica matemática y computacional: Teoría y ejercicios resueltos"

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.