Lógica para Computação

Avisos

  • 25/11/2018, 17:15: novos links úteis, os 2 primeiros da lista
  • 25/11/2018, 17:15: P3 marcada para o dia 29 de novembro
  • 25/11/2018, 17:15: PF marcada para o dia 06 de dezembro

Slides das Aulas

  1. Expressões Lógicas
  2. Dedução Natural
  3. Equivalências Populares e Regras Derivadas de DN
  4. Lógica de Primeira Ordem

Listas de Exercícios

  1. Lista 1
  2. Lista 2
  3. Lista 3
  4. Lista 4
  5. Lista 5
  6. Lista 6
  7. Lista 7

Monitoria

Monitor: Victor Pedrosa (victor.pedrosa@aluno.cefet-rj.br)
Atendimento presencial: 6as-feiras, das 14:00 às 18:00, na sala 121
Atendimento online: via Facebook ou Whatsapp, a qualquer hora

http://logicgym.pythonanywhere.com/
http://www.inf.ufsc.br/~j.guntzel/isd/isd2.pdf
http://www.cos.ufrj.br/~mario/logica/logica.html
http://web.ist.utl.pt/acardoso/docs/2014-lpp-guiaPraticas.pdf
http://homepages.dcc.ufmg.br/~nvieira/cursos/lac/
http://logic.stanford.edu/intrologic/notes/notes.html
https://logik.phl.univie.ac.at/~chris/gateway/formular-uk-zentral.html
http://www.logicinaction.org/
http://logic.ua.edu/cgi-bin/quizmaster
http://www.poweroflogic.com/cgi/menu.cgi
http://www.cs.rice.edu/~vardi/comp409/409.lectures.html
http://teachinglogic.liglab.fr/DN/index.php