Projeto e Análise de Algoritmos (2024-1)

Table of Contents

Plano de Ensino

Calendário SAA

Cronograma de aulas

Aula   Data Assunto Arquivos Observações
1 [2024-03-18 seg] Introdução e motivação pdf  
2 [2024-03-20 qua] Insertion sort recursivo pdf, pdf  
3 [2024-03-25 seg] Insertion sort recursivo no Coq pdf  
4 [2024-03-27 qua] A correção de algoritmos pdf, pdf  
5 [2024-04-01 seg] A complexidade de algoritmos pdf  
6 [2024-04-03 qua] Notação assintótica pdf  
7 [2024-04-08 seg] Merge sort pdf, pdf  
8 [2024-04-10 qua] Teorema Mestre pdf Anotações no caderno (OneNote) do Teams
    [2024-04-15 seg]–[2024-06-21 sex] Período de greve    
9 [2024-06-24 seg] Insertion sort (Correção em Coq) - parte 2    
10 [2024-06-26 qua] Insertion sort (Correção em Coq) - parte 3    
    [2024-07-01 seg] Aula cancelada    
    [2024-07-03 qua] Aula cancelada    
11 <2024-07-08 seg 19:00> Quicksort pdf  
12 <2024-07-10 qua 19:00> Exercícios   Projeto - proposta 1 (orientações) e (link)
13   <2024-07-15 seg 19:00> Heapsort    
14   <2024-07-17 qua 19:00> Exercícios    
15   <2024-07-22 seg 19:00> Ordenação em tempo linear    
16   <2024-07-24 qua 19:00> Exercícios    
17   <2024-07-29 seg 19:00> Prova 1    
18   <2024-07-31 qua 19:00>      
19   <2024-08-05 seg 19:00>      
20   <2024-08-07 qua 19:00>      
21   <2024-08-12 seg 19:00>      
22   <2024-08-14 qua 19:00>      
23   <2024-08-19 seg 19:00>      
24   <2024-08-21 qua 19:00>      
25   <2024-08-26 seg 19:00>      
26   <2024-08-28 qua 19:00>      
27   <2024-09-02 seg 19:00>      
28   <2024-09-04 qua 19:00>      
29   <2024-09-09 seg 19:00> Revisão para a prova 2    
30   <2024-09-11 qua 19:00> Prova 2    
    <2024-09-16 seg 19:00> Revisão de menção final    

Quadro de Notas

  Matrícula Prova 1 (35) Prova 2 (35) Projeto (30) Total (100) Menção
1 170104630          
2 170141667          
3 170144631          
4 180102141          
5 180126890          
6 190014351          
7 190021276          
8 190029269          
9 190098406          
10 190100346          
11 190106298          
12 190113987          
13 190126183          
14 190131497          
15 190134330          
16 200014382          
17 200014978          
18 200040979          
19 200044486          
20 202006321          
21 202006401          
22 202017020          
23 202021785          
24 202037426          
25 202042829          
26 211010468          
27 211010477          
28 211055254          
29 211055325          
30 211055334          
31 211055380          
32 212006871          
33 221003995          
34 221004043          
35 221006404          
36 221006440          
37 221018906          
38 241034059          

Bibliografia

bibliographystyle:plain
bibliography:~/workspace/org/zotLib.bib

Author: Flávio L. C. de Moura

Email: flaviomoura@unb.br