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

2025/2 (2025/2026)

FACOM32105 — Lógica para Computação

FACOM32105 — Lógica para Computação

× Atenção, ingressantes 2025/2 (ATUALIZADO): As aulas se iniciarão nesta terça-feira, dia 28/10/2025! O recesso (Dia do Servidor Público) na UFU foi transferido para a segunda-feira, 27/10/2025.

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):

  • quarta-feira, 15:00 até 16:40, sala 1B139
  • quinta-feira, 19:00 até 20:40, sala 1B139

Monitoria

  • Gianluca Justino Agostinho (BSI, 2025/1). E-mail/Teams: gianluca.agostinho @ ufu . br. Atendimento presencial: sexta-feira, 20:50.
  • Guilherme Henrique Souza da Silva (BSI, 2024/2). E-mail/Teams: h.guilherme @ ufu . br. Atendimento presencial: a combinar.

Avaliações

  • 3 provas teóricas individuais:
    • P1: 05/12/2025 (30 pontos)
    • P2: 10/02/2026 (30 pontos)
    • P3: 13/03/2026 (40 pontos)
  • SUB: 20/03/2026 (100 pontos, ver regras no material de aula e no plano de ensino)

Informações sobre o curso

Em breve.

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

Última alteração: 10/12/2025

FACOM32402 — Estrutura de Dados II

FACOM32402 — Estrutura de Dados II

Aulas

  • terça-feira, 19:00 até 20:40, Sala 5R-A 316
  • quinta-feira, 20:50 até 22:30, Sala 5R-A 316

Atendimento (agendar previamente por e-mail):

  • quarta-feira, 15:00 até 16:40, sala 1B139
  • quinta-feira, 19:00 até 20:40, sala 1B139

Monitoria

  • Arthur Carvalho Oliveira (BSI, 2022/1). E-mail/Teams: arthur.carvalho.oliveira @ ufu . br. Atendimento presencial: a definir.

Avaliações

  • 2 provas teóricas individuais:
    • P1: 04/12/2025 (40 pontos)
    • P2: 10/03/2026 (40 pontos)
  • 1 trabalho prático em grupo:
    • 19/02/2026 (20 pontos)
  • SUB: 17/03/2026 (40 pontos, ver regras no material de aula e no plano de ensino)

Informações sobre o curso

Em breve.

Material do curso

Obs.: Tanto os slides a serem usados nas aulas quanto o conteúdo em formato de texto serão disponibilizados à medida que o curso avança. Serão colocados aqui e no Teams.

Bibliografia básica

  • AHO, A. V.; HOPCROFT, J. E.; ULLMAM, J. D. Data structures and algorithms. 3. ed. Menlo Park: Addison-Wesley, 1983.
  • CORMEN, T. H.; et al. Algoritmos: Teoria e Prática. 3. ed. Rio de Janeiro: Campus, 2012. 4. ed.
  • SEDGEWICK, R.; WAYNE, K. Algorithms. 4. ed. Upper Saddle River: Addison-Wesley 2011.

Bibliografia complementar

  • BACKES, A. R. Estrutura de Dados Descomplicada - em Linguagem C. 1. ed. São Paulo: LTC, 2016. Nova edição.
  • CELES, W.; CERQUEIRA, R.; RANGEL, J. L. Introdução a estruturas de dados. 2. ed. Rio de Janeiro : Campus, 2004.
  • KNUTH, D. E. The art of computer programming v. 1: fundamental algorithm. 3. ed. Reading : Addison Wesley, 1997
  • SILBERSCHATZ, A.; KORTH, H. F.; SUDARSHAN, S. Sistema de banco de dados. 7. ed. Rio de Janeiro: GEN LTC, 2020. Link.
  • SZWARCFITER, J. L.; MARKENZON, L. Estrutura de dados e seus algoritmos. 3. ed. Rio de Janeiro: LTC, 2010.
  • TENENBAUM, A.M.; LANGSAM, Y.; AUGENSTEIN, M. J. Estrutura de Dados Usando C. São Paulo: Makron Books, 1995.
  • ZIVIANI, N. Projeto de Algoritmos: com implementações em Pascal e C. 3. ed. São Paulo: Cengage Learning, 2011.

Última alteração: 18/12/2025

GBC065 — Modelagem e Simulação

GBC065 — Modelagem e Simulação

Aulas

  • terça-feira, 14:50 até 16:30, sala 1B206
  • quarta-feira, 13:10 até 14:50, sala 1B206

Atendimento (agendar previamente por e-mail):

  • quarta-feira, 15:00 até 16:40, sala 1B139
  • quinta-feira, 19:00 até 20:40, sala 1B139

Avaliações

  • 2 provas teóricas individuais (80 pontos):
    • P1: 02/12/2025 (40 pontos)
    • P2: 10/03/2026 (40 pontos)
  • Atividades práticas/exercícios: 20 pontos.
    • A serem entregues ao longo do curso.
  • SUB: 18/03/2026 (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.

Informações sobre o curso

Em breve.

Bibliografia básica

  • ALBUQUERQUE, J. P. A.; FORTES, J. M. P.; FINAMORE, W. A. Probabilidade, variáveis aleatórias e processos estocásticos. Rio de Janeiro: Interciência: Ed. da PUC Rio, 2008.
  • FOGLIATTI, M. C.; MATTOS, N. M. C. Teoria de filas. Rio de Janeiro: Interciência, 2007.
  • FREITAS FILHO, P. J. Introdução à modelagem e simulação de sistemas com aplicações em Arena. 2. ed. Florianópolis: Visual Books, 2008.
  • ROSS, S. Introduction to probability models. 13. ed. Londres: Academic Press, 2024.

Bibliografia complementar e outros materiais

  • AALST, W. van der. Workflow management: models, methods, and systems. Cambridge: MIT Press, 2002.
  • DASGUPTA, A. Asymptotic theory of statistics and probability. New York: Springer, c2008.
  • GNEDENKO, B. V. A teoria da probalidade. Rio de Janeiro: Ciência Moderna, 2008.
  • ROBERTAZZI, Thomas G. Computer networks and systems: queueing theory and performance evaluation. 2. ed. New York: Springer, 1994.
  • SOUZA, Antonio Carlos Zambroni de. Introdução à modelagem, análise e simulação de sistemas dinâmicos. Rio de Janeiro: Interciência, 2008.

Última alteração: 10/12/2025

2025/1

  • FACOM32105 — Lógica para Computação
  • FACOM32402 — Estrutura de Dados II
  • GBC065 — Modelagem e Simulação

2024/2 (2025)

  • FACOM32105 — Lógica para Computação
  • FACOM32402 — Estrutura de Dados II

2024/1

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

2023/2 (2024)

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

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: 20/10/2025

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