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:
- 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

guia_de_estudo_para_a_prova_2_de_logica_para_computacao.txt · Last modified: 2021/08/23 10:56 by adolfont