Lógica para Computação
Erro em Lua: Não é possível criar o processo: proc_open(/dev/null): failed to open stream: Operation not permitted
O aprendizado da lógica auxilia os estudantes no raciocínio, na compreensão de conceitos básicos, na verificação formal de programas e melhor os prepara para o entendimento do conteúdo de tópicos mais avançados. Este curso busca unir a computação com a lógica matemática, estudando tópicos como teoria dos conjuntos e álgebra booleana, servindo como uma continuação do que foi visto em Matemática Discreta.
Índice
[ocultar]Monitoria
Ambos os professores possuem uma equipe de monitores. Cada monitor fica responsável por um grupo de alunos durante todo o curso. O site da monitoria pode ser acessado aqui caso o professor seja Ruy, e caso Anjolina aqui.
Tópicos Abordados
Os principais tópicos estudados estão citados abaixo.
1ª unidade:
- Álgebra de Boole
- Conjuntos Indutivamente Definidos
- Fecho Indutivo
- Conjuntos Livremente Gerados
- Teorema da Extensão Homomórfica Única
- O Conceito de Satisfatibilidade
- Método dos Tableaux
- Método da Resolução
- Dedução Natural
- Teorema da Compaccidade
2ª Unidade:
- Lógica de Primeira Ordem
- Homomorfismos e Imersões
- Forma Prenex
- Forma Normal de Skolem
- Teorema de Herbrand
- Teorema de Löwenheim-Skolem
- Completude, Incompletude
- Aritmética de Peano
Avaliação
Cada unidade contém uma prova e um projeto. Durante o curso também são aplicadas mini-provas feitas pelos monitores, abordando os assuntos vistos em sala de aula.