Esta referência descreve o catálogo indicado. Consulte a instituição para confirmar a oferta atual e as condições aplicáveis ao seu ano de ingresso.
Descrição
Lógica em Ciência da Computação Introdução aprofundada à lógica matemática, cobrindo os seguintes tópicos: lógica proposicional e de primeira ordem; solidez, completude e compacidade da lógica de primeira ordem; teorias de primeira ordem; indecidibilidade e o teorema da incompletude de Gödel; e uma introdução a outras lógicas como lógicas intuicionistas e modais. Aplicação da lógica a várias áreas como computabilidade, linguagens de programação, especificação e verificação de programas.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://brocku.ca/webcal/2024/graduate/cosc.html