Prof. Adolfo Neto (DAINF-UTFPR)

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== 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)** <del>Demonstrar (refutar) sequentes usando o sistema de Tablôs Analíticos e usando uma estratégia específica</del>

==== 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]]
Prof. Adolfo Neto (DAINF-UTFPR)

User Tools

Site Tools

Page Tools
