Grupo de Lógica Matemática do IME-UFF

Grupo de Lógica Matemática do IME - UFF


Disciplinas . Eventos . Publicações . Seminários . Textos/Slides
English version

Pesquisadores

Renata de Freitas, IME-UFF
freitas at vm.uff.br
Currículo Lattes

Petrucio Viana, IME-UFF
petrucio at cos.ufrj.br
Currículo Lattes

Colaboradores

Alunos de Iniciação Científica

  • Sergio Felipe, PIBIC
  • Laiz Valim, PIBIC

Alumni


topo

Disciplinas


topo

Eventos

III CBSF
Terceiro Congresso Brasileiro de Sistemas Fuzzy

17 a 20 de agosto de 2014
João Pessoa, PB

WoLLIC 2014
21st Workshop on Logic, Language, Information and Computation

September 1-4, 2014
Valparaiso, Chile

LSFA 2014
9th Workshop on Logical and Semantic Frameworks, with Applications

September 8-9, 2014
Brasília, Brazil

Specifying, programming and verifying in Maude
A short-course by Professor Narciso Martí Oliet
(Universidad Complutense de Madrid)
22 a 26 de setembro de 2014
Instituto de Computação, UFF, Niterói, RJ

VII Semana da Matemática da UFF
16 a 18 de outubro de 2014
Niterói, RJ

1st Indian Winter School on Diagrams
January 27-31, 2015
Jadavpur University, Kolkata, India


topo

Publicações recentes

  • Marcia R. Cerioli, Hugo Nobrega and Petrucio Viana, Decompositions by maxclique separators. Discrete Mathematics, 2014, (Forthcoming).

  • Juliana Küster Filipe Bowles and Petrucio Viana, On distributed stochastic logics for mobile systems. U. Kohlenbach et al. (Eds.): WoLLIC 2014, LNCS 8652, pp. 195-205. Springer, Heidelberg (2014).

  • Renata de Freitas, Leandro Suguitani and Petrucio Viana, Relation algebras throughout Galois connections. Forthcoming in V. Punochá and P. Danák (Eds.): The Logica Yearbook 2013. College Publications, London (2014): 49-62.

  • Renata de Freitas and Petrucio Viana, The second Venn diagrammatic system. T. Dwyer et al. (Eds.): Diagrams 2014, LNAI 8578, pp. 295-309. Springer, Heidelberg (2014).

  • Renata de Freitas and Petrucio Viana, A graph calculus for proving intuitionistic relation algebraic equations. Diagrams 2012, LNAI 7352:324-326 (2012).

  • Marcia R. Cerioli, Hugo Nobrega and Petrucio Viana, On characterizations by nice forbidding sets. European Conference on Combinatorics, Graph Theory and Applications (EuroComb'11), Budapest, August 29-September 2, 2011.

  • Marcia R. Cerioli, Hugo Nobrega and Petrucio Viana, A partial characterization by forbidden subgraphs of edge path graphs. 10th Cologne-Twente Workshopon graphs and combinatorial optimization, Villa Mondragone, Frascati, June 14-16, 2011.

  • Marcia R. Cerioli, Hugo Nobrega and Petrucio Viana, Characterizations by nice forbidding sets. In Brazilian Logic Conference, 2011, Petrópolis. XVI EBL - 16th Brazilian Logic Conference - Abstracts, 2011, p. 102.

  • Mario Benevides, Renata de Freitas and Petrucio Viana, Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. LSFA'10, ENTCS 269:95-107 (2011).

  • Marcia R. Cerioli, Hugo Nobrega and Petrucio Viana, Decompositions by maxclique separators. 4th Latin American Workshop on Cliques in Graphs (LawCliques'10), Itaipava, November 16-19, 2010.

  • Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, Renata de Freitas, Mario Benevides and Carla Delgado, On Vague Notions and Modalities: a modular approach. Logic Journal of the IGPL 18:381-402 (2010), doi:10.1093/jigpal/jzp041.


topo

Seminários

Quinzenalmente, quintas, 16h, Sala de Seminários do GAN (IME-UFF, 4o. andar).

  • 11/9/2014
    Não é possível ao homem encontrar a verdade das coisas
    Petrucio Viana (UFF)

    Neste seminário vamos apresentar formalizações do enunciado acima e usá-las para discutir o suposto paradoxo que é, usualmente, derivado a partir dele.

  • 2/10/2014
    Uma prova para o Teorema de Solèr
    Laiz Valim (Bolsista PIBIC)

2014a . 2013b . 2013a . 2012b . 2012a . 2011b . 2011a . 2010b . 2010a . 2009a . 2008b . 2008a . 2007b . 2007a . 2006 . 2005


topo

Textos/Slides

  • Renata de Freitas e Petruco Viana, A graph calculus for proving intuitionistic relation algebraic equations, IMLA'2013 [texto].

  • Petrucio Viana, Validade, Forma e Conteúdo de Argumentos. Manuscrito, 2012 [texto, versão preliminar].

  • Renata de Freitas e Petrucio Viana, Curso Básico de Lógica Matemática. Manuscrito, 2012 [texto, versão preliminar].

  • Márcia Cerioli e Petrucio Viana, Introdução à Combinatória de Contagem. Minicurso, II Colóquio de Matemática da Região Sul, Universidade Estadual de Londrina, 2012 [texto].

  • Renata de Freitas e Petrucio Viana, Métodos de Prova. Minicurso, II Colóquio de Matemática da Região Sul, Universidade Estadual de Londrina, 2012 [texto] [Aula 1] [Aula 2] [Aula 3] [Aula 4].

  • Márcia Cerioli, Renata de Freitas e Petrucio Viana, Princípio das Casas de Pombo, Jornal Dá Licença 48, UFF, Niterói, 2011, pp. 8-9 [texto, versão estendida].

  • Marcus Vinicius Angelo Reis e Petrucio Viana (orientador), Contando por Princípios, monografia do Curso de Especialização em Matemática para Professores do Ensino Médio, UFF, Niterói, 2010 [texto].


Atualizada em 12/8/2014.