Publicación digital
ES
Español
Disponible
Lógica matemática y computacional. Teoría y problemas
No disponible
Este título no está disponible momentáneamente.
Acerca de
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.
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.
Detalles del Libro
Tipo
Publicación digital
ISBN
978-84-7360-992-0
Editorial
Publicado
sep. 2024
Género
Para acceder al contenido que adquiriste ingresa a la tienda con el email y contraseña con los que te registraste. Luego haz clic en el menú ubicado en el margen superior derecho y ve a "Mis publicaciones".
Los Ebooks y Audiobooks que adquieras son para consumo en la tienda y no pueden descargarse en dispositivos ni imprimirse.
Para recuperar tu contraseña haz clic en Ingresar y elige la opción Resetear contraseña. Recibirás en tu correo un mail de recuperación para poder crear una nueva.
Ingresa a la tienda y desde el menú desplegable en el margen superior derecho, elige la opción "Mi cuenta".
Para canjear un cupón elige un plan o publicación y haz clic en "Adquirir". Justo debajo de los medios de pago, selecciona "Tengo un cupón" e ingresa el mismo para obtener tu descuento.
Puedes acceder desde cualquier dispositivo con conexión a internet con las siguientes características:
- Chrome and Firefox en sus últimas 4 versiones.
- Microsoft Edge versión 79 y posteriores.
- Safari versión 14 y posteriores.
- Internet Explorer no es compatible.
- Android 8 y posteriores
- iOS 14 y posteriores
- Windows 7 y posteriores
- macOS 10.14 y posteriores
Ve al menú ubicado en el margen superior derecho de la barra de navegación y haz clic en "Contáctanos". En el formulario completa los campos indicando el asunto de tu consulta y el mensaje, por último haz clic en Enviar.
Puedes ingresar a la tienda en hasta 5 dispositivos al mismo tiempo.