Table of Contents
Guia de Estudo para a Prova 2
O(A) aluno(a) deverá ser capaz de:
Sistemas Dedutivos - Teoria
Tablôs Analíticos
Dedução Natural
Aplicações de Lógica na Computação
Como estudar
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 as
Regras para o Sistema de Tablôs Analíticos com Fórmulas Marcadas
.
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
.
Materiais