Apresentamos o protocolo covid adotado pela UnB, e o plano de ensino do curso.

Iniciamos com a análise da correção do algoritmo de busca sequencial dando ênfase para a construção e prova da invariante de laço. Em seguida, analisamos a complexidade de tempo da busca sequencial (melhor e pior casos) considerando o custo de cada linha do pseudocódigo. O mesmo foi feito para o algoritmo de ordenação por inserção, e no final vimos a ideia inicial de como fazer uma análise mais geral, e não baseada no custo de cada linha (análise assintótica). Exercícios sugeridos: 89 e 90.

Iniciamos com comentários sobre o exercício que estabelece a correção do algoritmo BubbleSort, que ficou como um dos exercícios da semana valendo pontos (atividade postada no Teams). Em seguida, refizemos a análise assintótica, no melhor e pior casos, do algoritmo de ordenação por inserção (insertion sort). Por fim, prosseguimos comentando as notas de aulas até o exercício 93. A gravação da aula está dividida em duas partes por consequência de queda da conexão.

Finalizamos a apresentação sobre notação assintótica, e fizemos alguns exemplos.