Lógica Computacional e Matemática Grupo de Pesquisa uri icon

  •  
  • Visão geral
  •  
  • Pesquisas
  •  
  • Ligações
  •  
  • Identidade
  •  
  • Ver todos
  •  

application sectors

  • Atividades dos serviços de tecnologia da informação

descrição

  • O Grupo de Lógica Matemática do IME-UFF atua nas áreas de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas; Matemática, com ênfase em Álgebra, Matemática Discreta e Combinatória; e Métodos e Técnicas de Ensino, com ênfase em ensino de combinatória. Os principais temas nos quais o grupo tem publicações recentes são aspectos lógicos da teoria dos grafos, fundamentos da combinatória, lógica matemática, lógica modal, raciocínio com diagramas, semântica relacional e sistemas formais relacionais. O grupo também tem trabalhado em temas relacionados ao ensino das ciências formais.

Data arquivamento

  • 2006