Jorge Petrúcio Viana

  • Endereço para acessar este CV: http://lattes.cnpq.br/2332327416299928
  • Última atualização do currículo em 19/10/2017


possui graduação em Matemática pela Universidade Federal Fluminense (1985), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1994) e doutorado (sanduiche) em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro/Universiteit van Amsterdam (2005). Atualmente é Professor Adjunto do Departamento de Análise do Instituto de Matemática da Universidade Federal Fluminense e colabora com os grupos de Métodos Formais e de Algoritmos e Combinatória, do Programa de Engenharia de Sistemas e Computação, da COPPE/UFRJ. Tem experiência nas áreas de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas; e Matemática, com ênfase em Álgebra, Matemática Discreta e Combinatória. Atua principalmente nos seguintes temas: 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. (Texto informado pelo autor)


Identificação


Nome
Jorge Petrúcio Viana
Nome em citações bibliográficas
VIANA, Petrucio;VIANA, J.P.;Viana, P.

Endereço


Endereço Profissional
Universidade Federal Fluminense, Centro de Estudos Gerais, Instituto de Matemática e Estatística.
Rua Mário Santos Braga s/n - Campus do Valonguinho
Centro
24210-350 - Niteroi, RJ - Brasil
Telefone: (21) 26292058
Ramal: 7019
Fax: (21) 27178588
URL da Homepage: http://www.uff.br/depanalise


Formação acadêmica/titulação


2001 - 2005
Doutorado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
com período sanduíche em Universiteit van Amsterdam (Orientador: Marteen Johannes Marx).
Título: Extensões não Lógicas do Cálculo Relacional, Ano de obtenção: 2005.
Orientador: Sheila Regina Murgel Veloso e Paulo Augusto Silva Veloso.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Extensões não lógicas; Cálculo Relacional; Cálculo Relacional com Binders; Cálculo Relacional com Fork; Cálculo Relacional com Grafos; Lógica Temporal Linear Bisortida.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Setores de atividade: Informática; Desenvolvimento de Programas (Software).
1990 - 1994
Mestrado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Sobre Esquemas de Indução,Ano de Obtenção: 1994.
Orientador: Sheila Regina Murgel Veloso e Paulo Augusto da Silva Veloso.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Aritmética elementar; Esquemas de axiomas; Esquemas de indução; Especificações; Teorias.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Setores de atividade: Informática; Desenvolvimento de Programas (Software).
1982 - 1985
Graduação em Licenciatura Em Matemática.
Universidade Federal Fluminense, UFF, Brasil.




Atuação Profissional



Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

1992 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor do quadro permanente desde 1994.

Atividades

03/1992 - Atual
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Álgebra Linear 1
Álgebra para informática
Álgebra 1
Álgebra 2
Análise 1
Lógica Matemática 1
Lógica Matemática 2
Lógica para informática
Matemática 1
Teoria da computação
Tópicos em lógica
03/2000 - 12/2005
Pesquisa e desenvolvimento , Centro de Estudos Gerais, Instituto de Matemática e Estatística.

Linhas de pesquisa
Lógica Matemática

Centro de Educação à Distância/Universidade Aberta do Brasil, CEDERJ/UAB, Brasil.
Vínculo institucional

2005 - Atual
Vínculo: Coordenador de Disciplina, Enquadramento Funcional: Coordenador de Disciplina, Carga horária: 10


Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

2004 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Colaborador

Atividades

2004 - Atual
Pesquisa e desenvolvimento , Reitoria, Decanato do Centro de Tecnologia da Universidade Federal do Rio de Janeiro.



Linhas de pesquisa


1.
Lógica Matemática
2.
Inteligência Artificial - Lógica


Projetos de pesquisa


2014 - Atual
Lógicas Probabilísticas, Definições por Proibição e Métodos de Prova para Álgebras de Relações
Descrição: Apoio a Projetos de Pesquisa / MCTI/CNPQ/Universal 14/2014.
Situação: Em andamento; Natureza: Pesquisa.
2013 - 2014
Definições por proibição e cálculos com grafos
Descrição: Projeto APQ1.
Situação: Concluído; Natureza: Pesquisa.
2013 - Atual
Semântica Relacional de Programas: fundamentos e aplicações
Descrição: Bolsa de Produtividade em Pesquisa - PQ.
Situação: Em andamento; Natureza: Pesquisa.
2012 - 2012
Visita do(a) pesquisador(a) Carlos Eduardo Areces
Descrição: Apoio a Eventos Científicos / Apoio a Pesquisador Visitante - APV.
Situação: Concluído; Natureza: Pesquisa.
2010 - 2013
Cálculos Relacionais: taxonomia, comparação e aplicações
Descrição: Bolsa de Produtividade em Pesquisa - PQ.
Situação: Concluído; Natureza: Pesquisa.
2009 - 2012
Semântica de Vizinhanças e Lógicas de Probabilidade
Descrição: Edital MCT/CNPq 14/2009 - Universal.
Situação: Concluído; Natureza: Pesquisa.
2007 - 2010
Cálculos Relacionais: taxonomia, comparação e aplicações
Descrição: Projeto APQ1.
Situação: Concluído; Natureza: Pesquisa.


Revisor de periódico


2007 - Atual
Periódico: Logica Universalis


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
2.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.


Idiomas


Espanhol
Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.
Francês
Compreende Pouco, Fala Pouco, Lê Bem, Escreve Pouco.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2003
The ESSLLI 2003 Best Poster Prize, Kurt Gödel Society.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
FREITAS, R. de2015 FREITAS, R. de ; VIANA, Petrucio . Set Venn Diagrams Applied to Inclusions and Non-inclusions. Journal of Logic, Language and Information, v. 25, p. 1-29, 2015.

2.
de Freitas, Renata2014de Freitas, Renata ; VIANA, Petrucio . The second Venn diagrammatic system. Lecture Notes in Computer Science, v. 8578, p. 295-309, 2014.

3.
BOWLES, J. K. F.2014BOWLES, J. K. F. ; Viana, P. . On distributed stochastic logics for mobile systems. Lecture Notes in Computer Science, v. 8652, p. 195-205, 2014.

4.
CERIOLI, MÁRCIA R.2014 CERIOLI, MÁRCIA R. ; NOBREGA, HUGO ; VIANA, Petrucio . Decomposition by maxclique separators. Discrete Mathematics, v. 337, p. 119-126, 2014.

5.
FREITAS, R. de2012FREITAS, R. de ; VIANA, Petrucio . A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations. Lecture Notes in Computer Science, v. 7352, p. 324-326, 2012.

6.
BENEVIDES, M. R. F.2011BENEVIDES, M. R. F. ; FREITAS, R. de ; VIANA, Petrucio . Propositional dynamic logic with storing, recovering and parallel composition. Electronic Notes in Theoretical Computer Science, v. 269, p. 95-107, 2011.

7.
CERIOLI, M. R.2011CERIOLI, M. R. ; NOBREGA, H. ; VIANA, Petrucio . On characterizations by nice forbidding sets. Electronic Notes in Discrete Mathematics, v. 38, p. 233-238, 2011.

8.
Benevides, Mario R.F.2011Benevides, Mario R.F. ; de Freitas, Renata ; VIANA, Petrucio . Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. Electronic Notes in Theoretical Computer Science, v. 269, p. 95-107, 2011.

9.
FREITAS, R. de2010 FREITAS, R. de ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, Petrucio . A calculus for graphs with complement. Lecture Notes in Computer Science, v. 6170, p. 84-98, 2010.

10.
CERIOLI, M. R.2010CERIOLI, M. R. ; NOBREGA, H. ; VIANA, Petrucio . Decompositions by maxclique separators. Matemática Contemporânea, v. 39, p. 69-76, 2010.

11.
VELOSO, P. A. S.2010VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, Petrucio ; FREITAS, R. de ; Benevides, M. ; DELGADO, C. . On vague notions and modalities: a modular approach. Logic Journal of the IGPL (Print), v. 18, p. 381-402, 2010.

12.
FREITAS, R. de2009FREITAS, R. de ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, Petrucio . On Graph Reasoning. Information and Computation, v. 207, p. 1000-1014, 2009.

13.
FREITAS, R. de2009FREITAS, R. de ; VELOSO, S. R. M. ; VELOSO, P. A. S. ; VIANA, Petrucio . Positive Fork Graph Calculus. Lecture Notes in Computer Science, v. 5407, p. 152-163, 2009.

14.
de Freitas, Renata2009de Freitas, Renata ; VIANA, Petrucio . Introducing Polymodal Neighbourhood Logics. Electronic Notes in Theoretical Computer Science, v. 247, p. 51-66, 2009.

15.
FREITAS, R. de2008 FREITAS, R. de ; VIANA, Petrucio . A note on Proof with Graphs. Science of Computer Programming, v. 73, p. 129-135, 2008.

16.
VELOSO, P. A. S.2007VELOSO, P. A. S. ; FREITAS, R. P. ; VIANA, Petrucio ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On Fork Arrow Logic and its Expressive Power. Journal of Philosophical Logic, v. 36, p. 489-509, 2007.

17.
FREITAS, R. P.2007FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, Petrucio . On Positive Relational Calculi. Logic Journal of the IGPL (Print), v. aaa, p. bbb-ccc, 2007.

18.
VIANA, Petrucio;VIANA, J.P.;Viana, P.2005 VIANA, Petrucio; CATE, B. T. ; MARX, M. . Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL, v. 13, p. 293-300, 2005.

19.
VIANA, Petrucio;VIANA, J.P.;Viana, P.2003VIANA, Petrucio; FREITAS, R. P. ; BENEVIDES, M. R. F. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Squares in fork arrow logic. Journal of Philosophical Logic, Dordrecht, The Netherlands, v. 32, n.4, p. 343-355, 2003.

20.
BEZIAU, J.-Y.2001BEZIAU, J.-Y. ; FREITAS, R. P. ; VIANA, J.P. . What is classical propositional logic?. Logical Studies, Rússia, v. 7, n.1, p. 1-13, 2001.

21.
VIANA, Petrucio;VIANA, J.P.;Viana, P.1997VIANA, Petrucio; VELOSO, S. R. M. ; VELOSO, P. A. S. . Schematic systems. Logic Journal of the IGPL, v. 5, p. 917-919, 1997.

Livros publicados/organizados ou edições
1.
SUGUITANI, L. O. (Org.) ; VIANA, Petrucio (Org.) ; D'OTTAVIANO, I.M.L. (Org.) . Conferências na Unicamp em 1975 - Lectures at Unicamp in 1975. 1. ed. Campinas: Editora da UNICAMP, 2016. v. 1.

2.
CERIOLI, M. R. ; VIANA, Petrucio . Introdução aos Princípios de Contagem. Londrina: UEL, 2012.

3.
FREITAS, R. de ; VIANA, Petrucio . Introdução aos Métodos de Prova. Londrina: UEL, 2012.

4.
CERIOLI, M. R. ; VIANA, Petrucio . Introdução a Combinatória de Contagem Básica. Sâo João del Rei: UFSJ, 2011. v. 1.

5.
VIANA, Petrucio; FREITAS, R. P. . Introdução a Lógica Modal. Niterói: SBMAC, 1994. v. 1.

Trabalhos completos publicados em anais de congressos
1.
CERIOLI, MA'RCIA ; NOBREGA, HUGO ; SILVEIRA, GUILHERME ; VIANA, Petrucio . On the (in)dependence of the Dedekind-Peano axioms for natural numbers. In: CNMAC 2016 XXXVI Congresso Nacional de Matemática Aplicada e Computacional, 2017, Gramado. São Carlos: SBMAC, 2016. v. 5.

2.
CERIOLI, MÁRCIA R. ; VIANA, Petrucio . Experiência em Aprendizado Colaborativo na Disciplina 'Matemática Discreta' do Curso a Distância de Licenciatura em Matemática do Consórcio CEDERJ. In: VII Congresso Mundial de Estilos de Aprendizagem, 2016, Bragança. Miranda, Miranda; Alves, Paulo; Morais, Carlos Eds. VII Congresso Mundial de Estilos de Aprendizagem: livro de atas. Bragança: Instituto Politécnico de Bragança, 2016.

3.
BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H. N. ; BENEVIDES, MARIO ; VIANA, Petrucio . K, T and D-like fuzzy Kripke models. In: NAFIPS 2011 2011 Annual Meeting of the North American Fuzzy Information Processing Society, 2011, El Paso. 2011 Annual Meeting of the North American Fuzzy Information Processing Society, 2011. p. 1-5.

4.
CERIOLI, M. R. ; NOBREGA, H. ; Viana, P. . Decompositions by maxclique separators. In: 4th Latin American Workshop on Cliques in Graphs (LawCliques'10), 2010, Itaipava. 4th Latin American Workshop on Cliques in Graphs (LawCliques'10), 2010.

5.
FREITAS, R. de ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, Petrucio . Positive fork graph calculus. In: Symposium on Logical Foundations of Computer Science, LSCF 2009, 2009, Deerfield Beach. Annals of LSCF 2009. Berlim: Springer-Verlag, 2009. p. 152-163.

6.
FREITAS, R. de ; VELOSO, S. R. M. ; VELOSO, P. A. S. ; VIANA, Petrucio . On a graph calculus for algebras of relations. In: Wokshop on Logic, Language, Information and Computation, 2008, Edinburgh. Proceedings of WoLLIC 08. Amsterdam: Springer, 2008.

7.
FREITAS, R. de ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, Petrucio . Positive fork graph calculus. In: Encontro Brasileiro de Lógica (EBL) 2008, 2008, Paraty. Proceedings of EBL 2008. Campinas: UNICAMP, 2008.

8.
FREITAS, R. de ; VIANA, Petrucio . Introducing polymodal neighbourhood logics. In: LSFA'08 - Third Workshop on Logical and Semantic Frameworks, with Applications, 2008, Salvador. Annals of LSFA 2008. Amsterdam: Springer, 2008. p. 51-66.

9.
FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, Petrucio . Graph relational calculus. In: XIV Brazilian Logic Conference, 2006, Itatiaia. Proccedings of the XIV EBL. Campinas: ABL.

10.
FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, Petrucio . Reasoning with graphs. In: WoLLIC 2006, 2006, Stanford. Proceedings of the WoLLIC 2006. Stanford: CSLI. p. 1-12.

11.
CATE, B. T. ; MARX, M. ; VIANA, Petrucio ; BEZHANISHVILLI, N. . Sahlqvist theory and transfer results for hybrid logic. In: AiML-2004: Advances in Modal Logic, 2004, Manchester. Conference Proccedings of the AiML-2004. Manchester: University of Manchester, 2004. p. 44-61.

12.
KUIJPER, W. ; VIANA, Petrucio . An application of Sahlqvist theory to bisorted modal logic. In: Eighth ESSLLI Student Session, 2003, Viena. Proceedings of the Eighth ESSLLI Student Section, 2003. v. 1. p. 149-158.

13.
VIANA, Petrucio; FREITAS, R. P. . A completeness result for relation algebra with binders. In: IX Workshop on Logic Language, Information and Computation, WoLLIC´02, 2002, Rio de Janeiro. IX Workshop on Logic Language, Information and Computation, WoLLIC´02, 2002.

14.
VIANA, Petrucio; FREITAS, R. P. ; BENEVIDES, M. R. F. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Axiomatization and completeness for fork arrow logic. In: IV Workshop de Métodos Formais, WMF´01, 2001, Rio de Janeiro. IV Workshop de Métodos Formais, WMF´01. Rio de Janeiro: IME, 2001. p. 1-12.

Resumos expandidos publicados em anais de congressos
1.
CERIOLI, M. R. ; NOBREGA, H. ; VIANA, Petrucio . On characterizations by nice forbidding sets. In: European Conference on Combinatorics, Graph Theory and Applications, 2011, Budapest. EuroComb'11. Budapest: Rényi Institute, 2011.

Resumos publicados em anais de congressos
1.
CERIOLI, M. R. ; NOBREGA, H. ; Viana, P. . A partial characterization by forbidden subgraphs of edge path graphs. In: 10th Cologne-Twente Workshopon graphs and combinatorial optimization (CTW 2011), 2011, Villa Mondragone, Frascati. CTW 2011, 2011.

2.
VIANA, Petrucio; FREITAS, R. P. . Normality of generalized modal operators. In: XXIV Congresso Nacional de Matemática Aplicada e Computacional, CNMAC´01, 2001, Belo Horizonte. XXIV Congresso Nacional de Matemática Aplicada e Computacional, CNMAC´01. Belo Horizonte: UniBH, 2001. v. 1. p. 244-244.

3.
VIANA, Petrucio; FREITAS, R. P. ; VELOSO, S. R. M. ; VELOSO, P. A. S. ; BENEVIDES, M. R. F. . Squares in fork moda logic. In: X Workshop on Logic Language, Information and Computation, WoLLIC´01, 2001, Brasília. X Workshop on Logic Language, Information and Computation, WoLLIC´01. Brasília: UNB, 2001. p. 77-86.

4.
VIANA, Petrucio; SANTOS, Q. R. . A versão de Serre de um teorema de Artin-Schreier. In: XXII Congresso Nacional de Matemática Aplicada e Computacional, CNMAC´99, 1999, Santos. XXII Congresso Nacional de Matemática Aplicada e Computacional, CNMAC´99. Santos: SBMAC, 1999. p. 234-234.

5.
VIANA, Petrucio; VELOSO, S. R. M. ; VELOSO, P. A. S. . Schematic systems. In: X Workshop on Logic Language, Information and Computation, WoLLIC´97, 1997, Itatiaia. Logic Journal of IGPL. Oxford: Oxford University Press, 1997. v. 5. p. 917-919.

6.
VIANA, Petrucio; CABRAL, A. P. ; PERES, R. T. . Indução e boa ordem. In: XXII Congresso Nacional de Matemática Aplicada e Computacional, CNMAC´99, 1994, Santos. XXII Congresso Nacional de Matemática Aplicada e Computacional, CNMAC´99. Santos: SBMAC, 1999. p. 206-206.

Artigos aceitos para publicação
1.
CERIOLI, M. R. ; SILVEIRA, G. ; NOBREGA, H. ; VIANA, Petrucio . On the (in)dependence of the Dedekind-Peano axioms for natural numbers. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics, 2016.

Apresentações de Trabalho
1.
VIANA, Petrucio. Indução, Interação, Recursão e Boa Ordem. 2017. (Apresentação de Trabalho/Conferência ou palestra).

2.
CERIOLI, M. R. ; NOBREGA, HUGO ; SILVEIRA, G. ; VIANA, Petrucio . On the (in)dependence of the Dedekind-Peano axioms for natural numbers. 2017. (Apresentação de Trabalho/Congresso).

3.
VIANA, Petrucio. Minicurso: Contagem de Configurações: princípios fundamentais e exemplos envolventes. 2016. (Apresentação de Trabalho/Outra).

4.
VIANA, Petrucio. A Diagrammatic Tableaux for Two Dimensional Cylindric Modal Logic. 2016. (Apresentação de Trabalho/Seminário).

5.
VIANA, Petrucio. Indução, Interação, Recursão e Boa Ordem. 2016. (Apresentação de Trabalho/Conferência ou palestra).

6.
VIANA, Petrucio. Graph calculus for proving equations and inclusions true on allegories. 2015. (Apresentação de Trabalho/Seminário).

7.
VIANA, Petrucio. Minicurso: Introdução a aritmética das álgebras relacionais fuzzy. 2014. (Apresentação de Trabalho/Outra).

8.
de Freitas, Renata ; VIANA, Petrucio . Graph calculi for relational reasoning. 2013. (Apresentação de Trabalho/Conferência ou palestra).

9.
VIANA, Petrucio. Graph calculi for algebras of relations. 2012. (Apresentação de Trabalho/Conferência ou palestra).

10.
CERIOLI, M. R. ; NOBREGA, H. ; VIANA, Petrucio . Decomposition by maxclique separators. 2010. (Apresentação de Trabalho/Comunicação).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
ALMEIDA, J. M.; BEDREGAL, B. C.; VIANA, Petrucio. Participação em banca de Claudio Andrés Callejas Olguin. O que é uma bi-implicação difusa?. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
AYALA-RINCON, M.; ROCCO, N. R.; Viana, P.. Participação em banca de José Luiz Correa de Moraes. Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações. 2012. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

3.
VIANA, J.P.. Participação em banca de Daniel Fábio Domingues Posner. L(2,1)-colorações: Algoritmos e Limites Superiores em Classe de Grafos. 2009. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

4.
D'OTTAVIANO, I.M.L.; VIANA, Petrucio. Participação em banca de Leandro Oliva Suguitani. Álgebra de Relações: uma axiomatização tarskiana. 2008. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Teses de doutorado
1.
BEDREGAL, B. C.; SANTIAGO, REGIVAN H. N.; Santana, F. L.; VIANA, Petrucio; OLIVEIRA JUNIOR, W. R.. Participação em banca de Cláudio Andrés Callejas Olguím. A Topological and Domain Theoretical Study of Total Computable Functions. 2016. Tese (Doutorado em Programa de Pós Graduação em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
VIANA, Petrucio. Participação em banca de Valentín Cassano. A Logical Basis for Reasoning with Default Rules. 2015. Tese (Doutorado em Doctor of Philosophy Department of Computing) - McMaster University.

Monografias de cursos de aperfeiçoamento/especialização
1.
VIANA, Petrucio; GONÇALVES, I. M.; MÁRQUEZ, R. M. G.. Participação em banca de Vinícius Flores Cardoso. Probabilidade coo Razão: proposta de uma didática para a Teoria das Probabilidades. 2016. Monografia (Aperfeiçoamento/Especialização em Especialização em Matemática) - Universidade Federal Fluminense.

2.
LOPES, C. N.; VIANA, Petrucio. Participação em banca de Raquel Nascimento. Macetes ou Teoremas. 2005. Monografia (Aperfeiçoamento/Especialização em Especialização em Matemática) - Universidade Federal Fluminense.

Trabalhos de conclusão de curso de graduação
1.
CERIOLI, M. R.; VIANA, Petrucio. Participação em banca de Ricardo da Cruz Monsores.Teorema Binomial e Raiz Quadrada. 2002. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Matemática) - Universidade Federal do Rio de Janeiro.

2.
CERIOLI, M. R.; VIANA, Petrucio. Participação em banca de Vanderleia Teixeira de Figueiredo.Digrafos, Espaços Vetoriais e Retângulos Perfeitos. 2001. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Matemática) - Universidade Federal do Rio de Janeiro.

3.
CERIOLI, M. R.; VIANA, Petrucio. Participação em banca de Rogério de Macêdo Lima.Algumas Consideraçôes sobre a Teoria dos Conjuntos de Georg Cantor. 2001. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Matemática) - Universidade Federal do Rio de Janeiro.

4.
CERIOLI, M. R.; VIANA, Petrucio. Participação em banca de Fábio Coutinho.O Jogo de Transferência de Cubos e os Números de Catalan. 2000. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Matemática) - Universidade Federal do Rio de Janeiro.




Orientações



Orientações e supervisões em andamento
Iniciação científica
1.
Vitor Vitor. Os Teoremas de Burnside e Pólya: seus poderes e limitações. Início: 2017. Iniciação científica (Graduando em Matemática Aplicada) - Universidade Federal do Rio de Janeiro. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Hugo de Holanda Cunha Nobrega. Decomposição por Cliques Maximais e Subgrafos Proibidos para Grafos de Caminho. 2009. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Jorge Petrúcio Viana.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Marcus Vinicius Angelo Reis. Contando por Princípios. 2010. Monografia. (Aperfeiçoamento/Especialização em Especialização em Matemática) - Universidade Federal Fluminense. Orientador: Jorge Petrúcio Viana.

Trabalho de conclusão de curso de graduação
1.
Ricardo da Cruz Monsores. Teorema Binomial e Raiz Quadrada. 2002. Trabalho de Conclusão de Curso. (Graduação em Licenciatura em Matemática) - Universidade Federal do Rio de Janeiro. Orientador: Jorge Petrúcio Viana.

2.
Rogerio de Macedo Lima. Algumas Consideracoes Sobre a Teoria dos Conjuntos de Georg Cantor. 2001. Trabalho de Conclusão de Curso. (Graduação em Licenciatura em Matemática) - Universidade Federal do Rio de Janeiro. Orientador: Jorge Petrúcio Viana.

3.
Sandra Cavalcante. Lógica Temporal: uma introdução. 1996. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora. Orientador: Jorge Petrúcio Viana.

Iniciação científica
1.
Raphael de Marreiros Cordeiro Machado. Prova do Teorema DPRM. 2016. Iniciação Científica. (Graduando em Abi - Matemática) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.

2.
Guilherme Librelon Alves Silveira. The (in)dependence of the Dedekind-Peano axioms for natural numbers. 2015. Iniciação Científica. (Graduando em Abi - Matemática) - Universidade Federal do Rio de Janeiro. Orientador: Jorge Petrúcio Viana.

3.
Rodrigo Fernandes Souto. Equações Diofantinas e o Teorema DPRM. 2014. Iniciação Científica. (Graduando em Abi - Matemática) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.

4.
Mariana Ferreira de Freitas. Primeiros Passos em Lógica. 2014. Iniciação Científica. (Graduando em Abi - Matemática) - Universidade Federal Fluminense. Orientador: Jorge Petrúcio Viana.

5.
Rodolfo Rebello Martins. Primeiros passos em Lógica: raciocínio com diagramas. 2014. Iniciação Científica - Ciep Brizolão 260 José Barbosa Porto, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.

6.
Sérgio Felipe Abreu De Britto Bastos. Resolução do Problema do Macaco da Teoria das Probabilidades. 2013. Iniciação Científica. (Graduando em Estatística) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.

7.
Danilo Souza. Provas com diagramas para a Álgebra dos Conjuntos. 2012. Iniciação Científica - Universidade Federal Fluminense. Orientador: Jorge Petrúcio Viana.

8.
Daniele Costa Rocha. As Lógicas das Probabilidades. 2010. Iniciação Científica. (Graduando em Matemática) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.

9.
Matheus Torres de Souza. Resolução de Questões de Lógica de Concursos. 2010. Iniciação Científica. (Graduando em Matemática) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.

10.
Cybelle Passos Bezerra. Semântica de Vizinhanças e Lógicas de Probabilides. 2009. Iniciação Científica. (Graduando em Matemática) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.

11.
Marina Pereira Ferreira. Teoremas de representação. 2009. Iniciação Científica. (Graduando em Matemática) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.

12.
Hugo de Holanda Cunha Nobrega. Cálculo relacional com pontos. 2008. Iniciação Científica. (Graduando em Matemática) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.

13.
Cecília Reis Englander. Consertando um cálculo relacional. 2007. Iniciação Científica. (Graduando em Matemática) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Jorge Petrúcio Viana.



Educação e Popularização de C & T



Artigos
Artigos completos publicados em periódicos
1.
de Freitas, Renata2014de Freitas, Renata ; VIANA, Petrucio . The second Venn diagrammatic system. Lecture Notes in Computer Science, v. 8578, p. 295-309, 2014.

2.
FREITAS, R. de2015 FREITAS, R. de ; VIANA, Petrucio . Set Venn Diagrams Applied to Inclusions and Non-inclusions. Journal of Logic, Language and Information, v. 25, p. 1-29, 2015.




Página gerada pelo Sistema Currículo Lattes em 18/01/2019 às 3:32:39