Universidade Federal do Rio de Janeiro
Centro de Ciências Matemáticas e da Natureza
Instituto de Matemática
Departamento de Ciência da Computação
 
 

Lógica em Programação
 

Prof. Mário Benevides
mario@cos.ufrj.br

Esta é a página do curso de Lógica em Programação do professor Mário Benevides. Sejam bem-vindos!

Curso de  Lógica em Programação- MAB235

2016-1



Local: sala H310-A, terças e quintas de 13:00-15:00

Objetivo: Estudar Lógicas Modais, Lógicas Epistêmicas  e a técnica de Verificação de Modelos

Ementa:

  1. Introdução a Lógica Modal: Linguagem, Semântica (Modelos de Kripke, Bissimulação, Tradução Padrão), Sistemas Modais Normais, Lógicas Multi-Modais, Tableuax e Complexidade Computacional.

  2. Lógicas Epistêmicas e Lógicas Epistêmicas Dinâmicas: Public Anouncement Logic e Action Models Logic

  3. Lógica Temporal: CTL, LTL, CTL*

  4. Verificação de Modelos: Explicita, Simbólica, Algoritmos e Complexidade.

Bibliografia
 

Avaliação
 
  Duas provas e dois trabalhos e listas de exercícios.

 Toda aula é passado para a turma alguns exercícios para serem resolvidos e entregues na aula. Portanto a presença e a participação são fundamentais.

Calendário
 
 
  P1 -  24/05/16
 
 
  P2 -  05/07/16
 
  T1 e T2 - 04/07 - 08/07/16 - Trabalhos devem ser apresentados ao professor em grupos de no máximo 2 alunos. O código e um relatório devem ser entregues.

Trabalhos
 
 
  Trabalho 1
 
 
  Grupo no Facebook: Logica em Programação


 
 

"Downloads"



"Notas de Aula"

  1. Lógica Modal,  pdf

  2. Lógicas Epistêmicas pdf

  3. Verificação de Modelos,  pdf 

    
 
 * última atualização 3/05/16