Andere Kunden interessierten sich auch für
![Lógica computacional]( "Lógica computacional")
Lógica computacional21,99 €![Test de lógica : pon a prueba tus capacidades de deducción y de pensamiento lógico con más de 200 problemas]( "Test de lógica : pon a prueba tus capacidades de deducción y de pensamiento lógico con más de 200 problemas")
Test de lógica : pon a prueba tus capacidades de deducción y de pensamiento lógico con más de 200 problemas18,99 €![La lógica y la imagen]( "La lógica y la imagen")
La lógica y la imagen16,99 €![Problemas resueltos de matemática discreta]( "Problemas resueltos de matemática discreta")
Problemas resueltos de matemática discreta41,99 €![Matemática discreta con apoyo de software]( "Matemática discreta con apoyo de software")
Matemática discreta con apoyo de software43,99 €![La matemática de los dioses y los algoritmos de los hombres]( "La matemática de los dioses y los algoritmos de los hombres")
La matemática de los dioses y los algoritmos de los hombres23,99 €![2000 problemas resueltos de matemática discreta]( "2000 problemas resueltos de matemática discreta")
2000 problemas resueltos de matemática discreta49,99 €
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.