Faculdade de ComputaçãoRenato PimentelUniversidade Federal de Uberlândia

Prof. Renato Pimentel

Sobre

Atuação

  • FACOM: Professor Adjunto Dedicação Exclusiva

Formação acadêmica

  • 2012 - Doutorado em Física Aplicada Computacional
    Instituto de Física de São Carlos, Universidade de São Paulo.
    São Carlos, SP, Brasil
  • 2007 - Mestrado em Ciências da Computação e Matemática Computacional
    Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
    São Carlos, SP, Brasil
    • Período sanduíche
      Faculdade de Engenharia da Universidade do Porto
      Porto, Portugal
  • 2004 - Bacharelado em Matemática Aplicada e Computação Científica
    Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
    São Carlos, SP, Brasil

Linhas de pesquisa

  • Mecânica de Fluidos Computacional
  • Redes complexas
  • Processamento de imagens

Última alteração: 06/07/2021

Disciplinas ministradas

2023/2 (2024)

FACOM32105 — Lógica para Computação

× Info: Situação após P1 (notas/faltas até 08/03/2024, inclusive): link. Obs.: Não inclui a nota da atividade entregue em sala, a ser corrigida.

Aulas

  • terça-feira, 20:50 até 22:30, Sala 1B102
  • sexta-feira, 19:00 até 20:40, Sala 1B102

Atendimento (agendar previamente por e-mail):

  • terça-feira, 19:00 até 20:40, sala 1B139
  • quarta-feira, 14:00 até 15:40, sala 1B139

Monitoria

  • Matheus Ferreira Prudente (BSI, 2021/1). E-mail/Teams: matheus.prudente1 @ ufu . br. Discord: matheusz23. Atendimento presencial: terças-feiras 17:20 (biblioteca).

Avaliações

  • 3 provas teóricas individuais:
    • P1: 20/02/2024 (30 pontos)
    • P2: 22/03/2024 (30 pontos)
    • P3: 19/04/2024 (40 pontos)
  • SUB: 25/04/2024 (100 pontos, ver regras no material de aula e no plano de ensino)

Material do curso

Bibliografia básica

  • BARBIERI FILHO, P.; HETEM JÚNIOR, A. Lógica para computação. Rio de Janeiro: LTC, 2013.
  • SILVA, F. S. C. da; FINGER, M; MELO, A. C. V. de. Lógica para computação. São Paulo: Cengage Learning,2006.
  • SOUZA, J. N. de. Lógica para ciência da computação: uma introdução concisa. 2. ed. Rio de Janeiro: Elsevier, 2008.

Bibliografia complementar e outros materiais

  • ABE, J. M.; SCALZITTI, A.; SILVA FILHO, J. I. Introdução à lógica para a ciência da computação. 2. ed. São Paulo: Arte & Ciência, 2002.
  • BEN-ARI, M. Mathematical Logic for Computer Science. 3 ed. London: Springer-Verlag, 2012.
  • CHANG, C. L.; LEE, R. C. T. Symbolic logic and mechanical theorem proving. New York: Academic Press,1973.
  • DALEN, D. van. Logic and structure. 4. ed. London: Springer, 2014. Disponível em: https://doi-org.ez34.periodicos.capes.gov.br/10.1007/978-3-540-85108-0. Acesso em: 23 set. 2021.
  • FITTING, M. First-order logic and automated theorem proving. 2. ed. New York: Springer, 1996.Disponível em: https://doi-org.ez34.periodicos.capes.gov.br/10.1007/978-1-4612-2360-3. Acesso em: 23 set. 2021.

Obs.:Para as referências acima com acesso via sistema CAFe-CAPES, deve-se acessar o mesmo através deste link, digitar UFU e clicar sobre o nome da instituição no formulário e em seguida fazer login no sistema com e-mail institucional e senha. Uma vez acessado o sistema, basta clicar nos links acima para acessar os arquivos PDF dos livros. Mais detalhes em https://www.bibliotecas.ufu.br/acontece/2020/02/portal-capes-cafe

FACOM39502 — Programação Orientada a Objetos

× Info: Situação (notas/faltas) até 19/03/2024, inclusive (após P1): link.

Aulas

  • segunda-feira, 14:50 até 16:50, sala 5S210
  • terça-feira, 14:50 até 16:50, sala 5S210 (práticas: Lab. 1B218 — LAB 03)

Atendimento (agendar previamente por e-mail):

  • terça-feira, 19:00 até 20:40, sala 1B139
  • quarta-feira, 14:00 até 15:40, sala 1B139

Avaliações

  • 2 provas teóricas individuais (80 pontos):
    • P1: 05/03/2024 (40 pontos)
    • P2: 16/04/2024 (40 pontos)
  • Trabalho de implementação semestral (20 pontos): em grupo de até 3 discentes, a ser apresentado ao final do curso, com arguição.
    • Data de entrega: 19/04/2024.
    • Datas de apresentação: 22/04/2024 e 23/04/2024.
  • SUB: 29/04/2024 (40 pontos, ver regras no material de aula e no plano de ensino)
  • Complementação de carga horária: Problemas assíncronos, na forma de práticas para fixação de conteúdo e desenvolvimento do trabalho semestral.

Bibliografia básica

  • BARNES, D. J. Programação orientada a objetos com Java: uma introdução prática usando o BlueJ. São Paulo: Prentice Hall, 2009.
  • CARDOSO, C. Orientação a objetos na prática: aprendendo orientação a objetos com Java. Rio de Janeiro: Ciência Moderna, 2006.
  • DEITEL, H. M.; DEITEL P. J. Java: Como Programar. 6. ed. Boston: Pearson, 2005

Bibliografia complementar e outros materiais

  • BOOCH, G., RUMBAUGH, J., JACOBSON, I. UML, Guia do Usuário. Rio de Janeiro: Campus, 2000.
  • GOSLING, J. The Java application programming interface. Reading: Addison-Wesley, 1996.
  • HORSTMANN, C. S. Padrões e projeto orientados a objetos. Porto Alegre: Bookman, 2007.
  • SEDGEWICK, R.; WAYNE, K. Introduction to programming in Java: an interdisciplinary approach. Boston: Addison-Wesley, 2008.
  • SIERRA, K.; BATES, B. Use a cabeça!: Java. Rio de Janeiro: Alta Books, 2005.

2023/1

  • FACOM32105 — Lógica para Computação
  • FACOM39502 — Programação Orientada a Objetos

2022/2 (2023)

  • GES013 — Sistema de Banco de Dados
  • GSI027 — Otimização

2022/1 (2022/2023)

  • GES013 — Sistema de Banco de Dados
  • GSI027 — Otimização

2021/2 (2022)

  • GBC051 — Computação Científica e Otimização
  • GSI027 — Otimização

2021/1 (2021/2022)

  • GBC051 — Computação Científica e Otimização
  • GSI027 — Otimização

2020/2 (2021)

  • GBC051 — Computação Científica e Otimização
  • GSI027 — Otimização

2020/1 (2021)

  • GBC051 — Computação Científica e Otimização
  • GSI027 — Otimização

2020/AARE/1

  • GSI027 — Otimização

2020/1 (interrompido)

  • GBC051 — Computação Científica e Otimização
  • GSI027 — Otimização

2019/2

  • GSI005(S) — Lógica para Computação
  • GSI027 — Otimização

2019/1

  • GET002 — Informática Básica
  • GSI005(S) — Lógica para Computação

2018/2

  • GSI005(S) — Lógica para Computação
  • GGI030 — Programação Orientada a Objetos

2018/1

  • GSI005(V) — Lógica para Computação
  • GGI030 — Programação Orientada a Objetos
  • FACOM31701 — Trabalho de Conclusão de Curso I

2017/2

  • FACOM39017(Q) — Algoritmos e Programação de Computadores
  • GGI030 — Programação Orientada a Objetos
  • FACOM31701 — Trabalho de Conclusão de Curso I

2017/1

  • GBC218 — Programação Paralela e Distribuída
  • GGI030 — Programação Orientada a Objetos
  • FACOM31701 — Trabalho de Conclusão de Curso I

2016/2

  • FACOM49010(V) — Algoritmos e Programação de Computadores
  • GBC218 — Programação Paralela e Distribuída
  • FACOM31701 — Trabalho de Conclusão de Curso I
  • FACOM31802 — Trabalho de Conclusão de Curso II

2016/1

  • FACOM49010(V) — Algoritmos e Programação de Computadores
  • GBC218 — Programação Paralela e Distribuída

2015/2

  • FACOM49010(V) — Algoritmos e Programação de Computadores
  • GMA038 — Introdução à Ciência da Computação

2015/1

  • FACOM49010(V) — Algoritmos e Programação de Computadores
  • GMA038 — Introdução à Ciência da Computação

2014/2

  • FACOM39802 — Programação para Internet
  • GMA038 — Introdução à Ciência da Computação

Última alteração: 04/01/2024

Publicações

2020

doi>Wild boar recognition using convolutional neural networks

Silva, L. C.; Pádua, M. B. S.; Ogusuku, L. M.; Albertini, M. K.; Pimentel, R.; Backes, A. R.

Concurrency and Computation (online), p. e6010


doi>Wild boar Classification by Using a Fusion of Texture Analysis Methods

Silva, L. C.; Pádua, M. B. S.; Ogusuku, L. M.; Albertini, M. K.; Pimentel, R.; Backes, A. R.

In: CONFERENCE ON GRAPHICS, PATTERNS AND IMAGES, 33. (SIBGRAPI). 2020, Recife. Proceedings...Los Alamitos: IEEE Computer Society, 2020. p. 1-7.

2016

doi>A novel immersed boundary/Fourier pseudospectral method for flows with thermal effects

Kinoshita, D.; Silveira Neto, A.; Mariano, F. P.; Silva, R. A. P.; Serfaty, R.

Numerical Heat Transfer, Part B: Fundamentals, vol. 2016

2015

doi>Thermal Boundary Condition of First Type in Fourier Pseudospectral Method

Kinoshita, D.; Silveira Neto, A.; Mariano, F. P.; Silva, R. A. P.

In: Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014, 2014, Salt Lake City, Utah, USA.
Proceedings...Cham: Springer Intl. Publ., 2015. p. 275—283.

2012

doi>Predicting epidemic outbreak from individual features of the spreaders

Silva, R. A. P.; Viana, M. P.; Costa, L. da F.

Journal of Statistical Mechanics, vol. 2012, n. 7, p. P07005, 2012.

2011

doi>The Effect of Host Morphology on Network Characteristics and Thermodynamical Properties of Ising Model Defined on the Network of Human Pyramidal Neurons

Silva, R. A. P.; Viana, M. P.; Costa, L. da F.

In: CompleNet - International Workshop on Complex Networks, 2., 2010, Rio de Janeiro.
Proceedings...Berlin: Springer-Verlag, 2011. p. 96—107.

2010

doi>The effect of cortico-thalamic connections on the diversity of cortical activations as modeled by the Ising model

Silva, R. A. P.; Costa, L. da F.

International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, vol. 20, n. 5, p. 1321—1334, 2010.

2009

doi>Numerical Solution of the Upper-Convected Maxwell Model for Three-Dimensional Free Surface Flows

Tomé, M. F.; Silva, R. A. P.; Oishi, C. M.; McKee, S.

Communications in Computational Physics, vol. 6, n. 2, p. 367—395, 2009.

2007

url>A numerical technique for simulating 3D free surface flows of an upper-convected Maxwell fluid

Silva, R. A. P.; Tomé, M. F.

In: XXVIII CILAMCE - Congresso Ibero Latino-Americano Sobre Métodos Computacionais em Engenharia. 2007, Porto, Portugal. Proceedings...Porto: Publindústria Lda., 2007. p. 273.

Última alteração: 06/07/2021

Contato

Endereço

Faculdade de Computação — Universidade Federal de Uberlândia — FACOM-UFU
Av. João Naves de Ávila, 2121, Bloco 1B, Sala 1B139, Câmpus Sta. Mônica
38400-902, Uberlândia, MG, Brasil

Telefone

+55 (34) 32394498

e-mail

Última alteração: 11/02/2019