Construção e Análise de Algoritmos (CANA) [CAA] - Corretude: Pré/Pós-Condições, Invariantes e Variantes de Laço | [CAA4]

Seja muito bem vindo! Este vídeo faz parte do curso "Construção e Análise de Algoritmos", onde aprofundamos nosso estudo em torno dos Algoritmos. Neste vídeo, comento sobre Corretude de Algoritmos, em que abordamos as pré-condições, pós-condições, invariantes e variantes de laço para realizar a corretude de um algoritmo. APOENA STACK Evolua sua senioridade em Engenharia de Software e Dados 🌐 Site: https://apoenastack.com 📷 Instagram: https://www.instagram.com/apoenastack Fundador: Iury Rosal 📝 Linkedln: https://www.linkedin.com/in/iuryrosal/ 📄 Medium (Artigos): https://medium.com/@iuryrosal 🎥 Índice do Vídeo 00:00 Introdução 00:30 Corretude de Algoritmos 04:23 Busca Binária: Exemplo 13:12 Pré/Pós-Condições 17:58 Invariantes e Variante de Laço ▶️ Baixe os materiais utilizados no vídeo: (em breve) ✔️ BIBLIOGRAFIA/FONTES ALGORITMOS: Teoria e Prática. 3°. ed. rev. e atual. [S. l.]: ELSEVIER, 2012. ➡️ Continuação deste vídeo: https://youtu.be/TeU6ittseYs 🎞 Playlist com todos os vídeos de assunto semelhante: https://bit.ly/31pBqj6 Favor deixar o feedback e o apoio! 👊🏼 ❤️ Apoiadores do Mês (Agosto/2021): Aluísio Alves Messias Tayllan Pedro Henrique ⭐️ Hashtags ⭐️ #CANA #ConstruçãoAnáliseAlgoritmos #Algoritmos #IuryRosalTech