Projeto e Análise de Algoritmos
2021-1

Table of Contents

Plano de Ensino

Cronograma de aulas

Aula 01 (síncrona) - Introdução e motivação ✓

<2021-07-20 Tue 19:00>–<2021-07-20 Tue 20:30>

Material da aula:

Aula 02 (assíncrona) - Ordenação por inserção - correção e complexidade ✓

<2021-07-22 Thu>

Material da aula:

Aula 03 (assíncrona) - Ordenação por inserção (recursivo) - correção e complexidade ✓

<2021-07-27 Tue>

Material da aula:

Aula 04 (assíncrona) - Prova formal da correção do algoritmo de ordenação por inserção ✓

<2021-07-29 Thu>

Material da aula:

  • Leitura: pdf
  • Vídeo de introdução ao Coq: link

Aula 05 (síncrona) - A correção do algoritmo de ordenação por inserção em Coq e discussão de dúvidas ✓

<2021-08-03 Tue 19:00>–<2021-08-03 Tue 20:30>

Aula 06 (assíncrona) - A complexidade do algoritmo de ordenação por inserção em Coq ✓

<2021-08-05 Thu>

Material da aula:

Aula 07 (síncrona) - Notação assintótica ✓

<2021-08-10 Tue 19:00>–<2021-08-10 Tue 20:30>

Material da aula:

Aula 08 (assíncrona) - Divisão e Conquista: mergesort

<2021-08-12 Thu>

Material da aula:

Aula 09 (síncrona) - Equações de recorrência ✓

<2021-08-17 Tue>

Material da aula:

Aula 10 (assíncrona) - Equações de recorrência ✓

<2021-08-19 Thu>

Material da aula:

Aula 11 (síncrona) - Apresentação do projeto ✓

<2021-08-24 Tue 19:00>–<2021-08-24 Tue 20:30>

Aula 12 (assíncrona) - O algoritmo quicksort

<2021-08-26 Thu>

Material da aula:

Aula 13 (síncrona) - algoritmo mergesort em Coq e discussão de dúvidas ✓

<2021-08-31 Tue 19:00>–<2021-08-31 Tue 20:30>

Material da aula:

Aula 14 (assíncrona) - O algoritmo heapsort

<2021-09-02 Thu>

Material da aula:

Aula 15 (assíncrona) - Filas de prioridades ✓

<2021-09-09 Thu>

Material da aula:

Aula 16 (síncrona) - Ordenação em tempo linear - radix sort

<2021-09-14 Tue 19:00>–<2021-09-14 Tue 20:30>

Material da aula:

Aula 17 (assíncrona) - Programação dinâmica ✓

<2021-09-16 Thu>

Material da aula:

Aula 18 (síncrona) - Algoritmos gulosos e discussão de dúvidas ✓

<2021-09-21 Tue 19:00>–<2021-09-21 Tue 20:30>

Material da aula:

Aula 19 (assíncrona) -

<2021-09-23 Thu>

Semana Universitária

<2021-09-28 Tue>

Semana Universitária

<2021-09-30 Thu>

Aula 20 (assíncrona) - NP-completude

<2021-10-05 Tue>

Aula 21 (assíncrona) - NP-completude

<2021-10-07 Thu>

Aula 22 (síncrona) - Discussão de dúvidas

<2021-10-14 Thu 19:00>–<2021-10-14 Thu 20:30>

Aula 23 (assíncrona) - NP-completude

<2021-10-19 Tue>

Aula 24 (síncrona) - Discussão de dúvidas

<2021-10-21 Thu 19:00>–<2021-10-21 Thu 20:30>

Aula 25 (assíncrona) - NP-completude

<2021-10-26 Tue>

Aula 26 (síncrona) - Discussão de dúvidas (fechamento do curso)

<2021-10-28 Thu 19:00>–<2021-10-28 Thu 20:30>

Quadro de frequência

Matrícula 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 Faltas Faltas (%)
130107590 x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
150115121 x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
150141297   x             x x x x x x x x x x x x x x x x x x 7 26.9
160013259 x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
170053016 x   x x x x   x x x x x x x x x x x x x x x x x x x 2 7.7
170071332 x x             x x x x x x x x x x x x x x x x x x 6 23.1
170071804   x x x         x x x x x x x x x x x x x x x x x x 5 19.2
170103595 x x x x x x     x x x x x x x x x x x x x x x x x x 2 7.7
170110940                 x x x x x x x x x x x x x x x x x x 8 30.8
170152235 x x     x x x x x x x x x x x x x x x x x x x x x x 2 7.7
180015001   x x   x x   x x x x x x x x x x x x x x x x x x x 3 11.5
180016415 x x     x x x   x x x x x x x x x x x x x x x x x x 3 11.5
180033760                 x x x x x x x x x x x x x x x x x x 8 30.8
180035495 x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
180046926 x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
180100700     x x x x     x x x x x x x x x x x x x x x x x x 4 15.4
180101951 x x   x x   x x x x x x x x x x x x x x x x x x x x 2 7.7
180107992     x x x x     x x x x x x x x x x x x x x x x x x 4 15.4
180129520 x x x x x   x x x x x x x x x x x x x x x x x x x x 1 3.8
180136577 x x     x x x x x x x x x x x x x x x x x x x x x x 2 7.7
190012358     x x     x x x x x x x x x x x x x x x x x x x x 4 15.4
190012862 x   x x x x x x x x x x x x x x x x x x x x x x x x 1 3.8
190014172 x x             x x x x x x x x x x x x x x x x x x 6 23.1
190098295 x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
190106824 x               x x x x x x x x x x x x x x x x x x 7 26.9
190110007         x x     x x x x x x x x x x x x x x x x x x 6 23.1
190121637 x x x   x x x   x x x x x x x x x x x x x x x x x x 2 7.7

Quadros de Notas

Notas das atividades

Matrícula 1(7) 2(7) 3(7) Nota (70)
130107590       0.0
150115121 7     7.0
150141297 0     0.0
160013259 7     7.0
170053016 7     7.0
170071332 0     0.0
170071804 0     0.0
170103595 5     5.0
170110940       0.0
170152235 7     7.0
180015001 7     7.0
180016415 7     7.0
180033760       0.0
180035495 7     7.0
180046926 3     3.0
180100700 7     7.0
180101951 7     7.0
180107992 2     2.0
180129520 4     4.0
180136577 7     7.0
190012358 2     2.0
190012862 6     6.0
190014172 0     0.0
190098295 7     7.0
190106824       0.0
190110007 6     6.0
190121637 6     6.0

Menção Final

Matrícula Notas Atividades (70) Projeto (30) Pontuação Final (100) Faltas (%) Menção
130107590 0.0   0.0 0.0  
150115121 7.0   7.0 0.0  
150141297 0.0   0.0 26.9  
160013259 7.0   7.0 0.0  
170053016 7.0   7.0 7.7  
170071332 0.0   0.0 23.1  
170071804 0.0   0.0 19.2  
170103595 5.0   5.0 7.7  
170110940 0.0   0.0 30.8  
170152235 7.0   7.0 7.7  
180015001 7.0   7.0 11.5  
180016415 7.0   7.0 11.5  
180033760 0.0   0.0 30.8  
180035495 7.0   7.0 0.0  
180046926 3.0   3.0 0.0  
180100700 7.0   7.0 15.4  
180101951 7.0   7.0 7.7  
180107992 2.0   2.0 15.4  
180129520 4.0   4.0 3.8  
180136577 7.0   7.0 7.7  
190012358 2.0   2.0 15.4  
190012862 6.0   6.0 3.8  
190014172 0.0   0.0 23.1  
190098295 7.0   7.0 0.0  
190106824 0.0   0.0 26.9  
190110007 6.0   6.0 23.1  
190121637 6.0   6.0 7.7  

Author: Prof. Flávio L. C. de Moura

Last modified: 2021-09-21 Tue 19:15