Segundo período de 2016.
Esta é a página do curso de Lógica. O curso está sendo ministrado no prédio do CCMN, sala F2033, terças e quintas 8-10.
Selecione uma das opções no menu abaixo:
Aviso: Entre no grupo do Facebook




Calendário.

P1 - 27/10
P2 - 08/12
P3 - 15/12


Critério.
O critério é constituído de três provas.

Seja P e Q as maiores notas entre {P1, P2, P3}
MP:= (P + Q)/2
se   MP > 4,9 e P e Q > 3,9  então APROVADO  e MF := MP
senão REPROVADO e MF := Min(MP,4,9)

A P3 servirá como segunda chamada.


Notas de Aula.
  • Notas de aula do curso em PDF
  • Notas sobre Lógica Epistêmica em PDF
  • Notas sobre Lógica Difusa: aula1 e aula 2


Avaliações.


Listas de Exercícios.
  • Lista sobre linguagem e semântica da Lógica Proposicional (pdf)
  • Lista de Dedução Natural sem Negação (pdf)
  • Lista de Dedução Natural com Negação (pdf)
  • Lista Tableaux, Dov e Resolução: fazer as duas listas de Ded. Natural nestes sistemas
  • Primeira Lista de Exercícios (arquivo doc)
  • Listas Complementares para a P1: lista1 e lista2 e lista3 (pdf)
  • Lista de Exercícios de Ded. Natural L.P.O. pdf
  • Lista de Semântica de LPO pdf
  • Lista de Lógica Difusa pdf


Listas de Discussão.


Sites de Interesse.


JAPE.

O JAPE é uma aplicação onde o usuário pode realizar provas de teoremas através de uma interface gráfica razoavelmente amigável.

Um dos sistemas dedutivos suportadas pela aplicação é  dedução natural, ensinada no curso.

  • Para informações de downloads, instalação e utilização, veja o material de apoio.
  • Na página da Juliana Carpes Imperial tem um tutorial sobre o Jape.


Contato.

Prof. Mario R. Benevides
COPPE-Sistemas
CT - H322B sala 2
Email: mario@cos.ufrj.br 

Monitores:

Vanessa Lourenco: vanessaescocio@gmail.com
Pedro Dupim pedrodupim@gmail.com (Claborador)