De nada Janaína ... Kkkk esse é o caso mais difícil da demonstração de correção mesmo, pq precisa saber indução Matemática ... Mas depois que pega, fica mais fácil kkk
Frederico, não tem uma fórmula que funcione sempre ou que seja fácil, na aula 11 vamos ver métodos para se encontrar uma fórmula fechada de funções definidas por recursividade. No fundo a invariante do laço é uma fórmula fechado de um loop (de um método de iterações) talvez a aula 11 te ajude com isso, mas vc verá que não é tão fácil, e em geral conjecturando a invariante de laço e testamos sua validade pela indução.
Só uma correção, vai ser a aula 12 esse tópico. Na 11 vou apenas apresentar a recursividade e mostrar exemplos de sequências, conjuntos e operações que podem ser definidas por recursividade.
professor me responde uma pergunta : qual é o seu segredo para ser tão fera assim em tudo o que da nó na minha cabeça? sinceramente fico perplexo te vendo dominar tão bem esses assuntos..... parece que tudo é tão fácil quando você explica rsss
Professor Doublas, muito obrigado pela explicação! Ficou show! Tenho uma questão básica que não estou conseguindo achar a expressão para a invariante de laço, pode me ajudar? {i=0, n>0, s=0} Enquanto i =/ x faça i = i+1 e s = s+(2*i-1) A invariante que encontrei foi 2n-1, mas não sei se está correto.
De nada 👍 Nesse caso, este algoritmo está somando os números ímpares, pela fórmula de soma de PA da pra achar a invariante de laço. A invariante de laço vai ser s=i^2
@@ProfessorDouglasMaioli Obrigado, Professor Douglas (desculpe errar seu nome ao digitar!). Toda a matéria de Fundamentos Matemáticos pra Computação tem me dado um nó na cabeça. Fiz uma avaliação essa semana com regra de laço, relação de recorrência, indução e etc e tirei 8/10, estou encucado com as 2 que errei, mas pra mim elas parecem corretas :( Novamente, agradeço por demais pela aula e pela resposta!
Ho-a-re... Hooooooooooooorrrrrrreee... Mais uma excelente aula!!!!!👏👏👏👏👏
❤️👊
Obrigado professor, salvou o dia
Professor vc é top!Tem me ajudado muito , mas na hora de resolver as questoes sozinha me enrolo.Mas continuarei na batalha haha.Muito obrigada!
Obrigada por ensinar
Está sendo muito bom para mim.
Muito grata 😌
De nada Hadassa ❤️🙏
Aula excelente !
show professor, vlw
Valeu Rafael 👍
Difícil ainda 🙆. Mas a aula é excelente como sempre👏👏
Obrigado Maria, mas realmente, essa parte precisa de tempo maior de estudo pra pegar.
Difícil é lembrar de tudo isso na hora da prova.
Tenso😮
Obrigado pela aula professor...com vc explicando até parece fácil...mas não é não..
De nada Janaína ... Kkkk esse é o caso mais difícil da demonstração de correção mesmo, pq precisa saber indução Matemática ... Mas depois que pega, fica mais fácil kkk
@@ProfessorDouglasMaioli tomara que sim...será que esse curso vai ficar ainda mais difícil??
Não, eu acredito que a parte mais difícil é essa mesmo.
Professor, existe algum método pra chegar à invariante de laço? Estou perdendo um bom tempo nesta etapa.
Frederico, não tem uma fórmula que funcione sempre ou que seja fácil, na aula 11 vamos ver métodos para se encontrar uma fórmula fechada de funções definidas por recursividade. No fundo a invariante do laço é uma fórmula fechado de um loop (de um método de iterações) talvez a aula 11 te ajude com isso, mas vc verá que não é tão fácil, e em geral conjecturando a invariante de laço e testamos sua validade pela indução.
@@ProfessorDouglasMaioli Aguardarei, obrigado.
Só uma correção, vai ser a aula 12 esse tópico. Na 11 vou apenas apresentar a recursividade e mostrar exemplos de sequências, conjuntos e operações que podem ser definidas por recursividade.
@@ProfessorDouglasMaioli Ok. Obrigado.
professor me responde uma pergunta : qual é o seu segredo para ser tão fera assim em tudo o que da nó na minha cabeça?
sinceramente fico perplexo te vendo dominar tão bem esses assuntos..... parece que tudo é tão fácil quando você explica rsss
Valeu David, muito obrigado mesmo 👍 Fico muito feliz de vocês estarem gostando tanto das minhas aulas 💪❤️👏👏👏
Professor Doublas, muito obrigado pela explicação! Ficou show!
Tenho uma questão básica que não estou conseguindo achar a expressão para a invariante de laço, pode me ajudar?
{i=0, n>0, s=0} Enquanto i =/ x faça i = i+1 e s = s+(2*i-1)
A invariante que encontrei foi 2n-1, mas não sei se está correto.
De nada 👍 Nesse caso, este algoritmo está somando os números ímpares, pela fórmula de soma de PA da pra achar a invariante de laço. A invariante de laço vai ser s=i^2
@@ProfessorDouglasMaioli Obrigado, Professor Douglas (desculpe errar seu nome ao digitar!). Toda a matéria de Fundamentos Matemáticos pra Computação tem me dado um nó na cabeça. Fiz uma avaliação essa semana com regra de laço, relação de recorrência, indução e etc e tirei 8/10, estou encucado com as 2 que errei, mas pra mim elas parecem corretas :( Novamente, agradeço por demais pela aula e pela resposta!
Kkkkkkk sem problemas
bem explicado, porém perdi as contas de quanto voltei o vídeo perto do final pra entender. rs. É bem difícil entender todas as iterações.
Obrigado Everton. Você deve ter voltado na parte de indução neh? Realmente seria a parte mais difícil que entra no tema de demonstrações.