Esta referencia describe el catálogo indicado. Consulte con la institución para confirmar la oferta actual y las condiciones aplicables a su ingreso.
Descripción
Lógica en la informática Introducción completa a la lógica matemática, que cubre los siguientes temas: lógica proposicional y de primer orden; correctitud, completitud y compacidad de la lógica de primer orden; teorías de primer orden; indecidibilidad y el teorema de incompletitud de Gödel; e introducción a otras lógicas como la intuicionista y la modal. Aplicación de la lógica a diversas áreas como computabilidad, lenguajes de programación, especificación y verificación de programas.
Texto de referencia en su idioma de origen
Logic in Computer Science Thorough introduction to mathematical logic, covering the following topics: propositional and first-order logic; soundness, completeness, and compactness of first-order logic; first-order theories; undecidability and Gödel's incompleteness theorem; and an introduction to other logics such as intuitionistic and modal logics. Application of logic to various areas such as computability, programming languages, program specification and verification.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://brocku.ca/webcal/2024/graduate/cosc.html