guia_de_estudo_para_a_prova_2_de_logica_para_computacao
Table of Contents
Guia de Estudo para a Prova 2
O(A) aluno(a) deverá ser capaz de:
Sistemas Dedutivos - Teoria
- Descrever o que entende por sistema dedutivo
- Descrever o que entende por sistema dedutivo refutacional
Tablôs Analíticos
- Descrever as regras do sistema de Tablôs Analíticos
- Aplicar as regras do sistema de Tablôs Analíticos
- Demonstrar (refutar) sequentes usando o sistema de Tablôs Analíticos
- Descrever uma valoração contra-exemplo obtida a partir de um ramo aberto e saturado de um tablô
- (temporariamente removido)
Demonstrar (refutar) sequentes usando o sistema de Tablôs Analíticos e usando uma estratégia específica
Dedução Natural
- Descrever as regras do sistema de Dedução Natural
- Aplicar as regras do sistema de Dedução Natural
- Demonstrar sequentes usando o sistema de Dedução Natural
Aplicações de Lógica na Computação
- Descrever aplicações de Lógica na Computação
- Descrever problemas causados por não aplicação de Lógica
Como estudar
- Lendo o livro de Silva-Finger-Melo, capítulo 2. No BiblioTec UTFPR está a partir de https://integrada.minhabiblioteca.com.br/#/books/9788522127191/pageid/44
- Lendo Lista de Aplicações da Lógica na Computação, Das aplicações da lógica na Computação, entre outros textos; complementando com os livros e buscas na Internet.
- Assistindo aos vídeos na playlist da disciplina
- Resolvendo as provas anteriores.
guia_de_estudo_para_a_prova_2_de_logica_para_computacao.txt · Last modified: 2021/08/23 13:56 by adolfont