product
7327095Lógica matemática y computacionalhttps://www.gandhi.com.mx/logica-matematica-y-computacional-9788473609937/phttps://gandhi.vtexassets.com/arquivos/ids/6905689/1146990_IMAGEN_TAPA_G_001.jpg?v=638761470656530000380380MXNGandhiInStock/Libros/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.6964854Lógica matemática y computacional380380https://www.gandhi.com.mx/logica-matematica-y-computacional-9788473609937/phttps://gandhi.vtexassets.com/arquivos/ids/6905689/1146990_IMAGEN_TAPA_G_001.jpg?v=638761470656530000InStockMXN99999PO_FograTapa blanda1a Edición2024Español