====== 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 [[https://drive.google.com/file/d/1apCXazYc3FdHqyfzHqVPpeGFxtcE2yg4/view?usp=sharing|Regras para o Sistema de Tablôs Analíticos com Fórmulas Marcadas]]. * Lendo [[https://qeondb.blogspot.com.br/2016/08/lista-de-aplicacoes-da-logica-na.html|Lista de Aplicações da Lógica na Computação]], [[http://www.inf.ufrgs.br/~bsguedes/disc/3/inf05508/aplicacoes.pdf|Das aplicações da lógica na Computação]], entre outros textos; complementando com os livros e buscas na Internet. * Assistindo aos [[https://www.youtube.com/playlist?list=PLF5ttO8F-IsRGv0ad2ckPPpJALPG5N7jp|vídeos na playlist da disciplina]] * Resolvendo as [[https://drive.google.com/drive/folders/1iWAMoZ46O9QLuRVBWwKJDmUml8fzOtmQ?usp=sharing|provas anteriores]]. * [[https://drive.google.com/drive/folders/1UccpILTFLBZjeGzatpW41q2C0rbYQjiZ?usp=sharing|Materiais]]