-
34,79
USD
-
* Free shipping to US.
-
-
In stock
-
-
-
Unit(s)
-
Comprar
Features:
- Pages: 238
- Format: 24x17 cm
- Edition Date: 2024
- Language: Castellano.
- Binding: Tapa blanda o Bolsillo.
-
Lógica matemática y computacional
Teoría y ejercicios resueltos
-
9788473609913
-
-
-
-
-
-
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.
-
34,79
USD
-
* Free shipping to US.
-
-
In stock
The book belongs to the following catalogs
Other books in the subject Lógica Matemática:
-
36,46
USD
-
33,13
USD
-
42,24
USD
-
19,25
USD
-
21,86
USD
-
31,18
USD