Aula 10 - Regra do Laço (Demonstração de Correção) - Fundamentos Matemáticos para Computação

Подписаться 62 тыс.

Просмотров 6 тыс.

50% 1

Conteúdo desta aula:
Regra do Laço;
Slide dessa aula:
drive.google.c...
Resolução do exercício 9 da semana 3 (utiliza regra do laço)
• Questão 9 - Exercício...
Aula Anterior (Tripla de Hoare - Axioma de Atribuição - Regra do Condicional (Demonstração de Correção)):
• Aula 9 - Tripla de Hoa...
Próxima aula (Definições Recorrentes (Recursividade)):
• Aula 11 - Definições R...
Site:
professordougl...
💻📱 Playlists do Canal:
Pré-Cálculo:
• Pré-Cálculo
Cálculo I:
• Cálculo I - Limite, De...
Matemática Básica:
• Matemática Básica - UN...
Fundamentos Matemáticos para Computação (Matemática Discreta):
• Matemática Discreta (F...
Seja um padrinho desse Canal:
www.padrim.com...
Instagram: @professordouglasmaioli

Опубликовано:

20 сен 2024

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 30

@mirianmitie518 2 года назад

Professor vc é top!Tem me ajudado muito , mas na hora de resolver as questoes sozinha me enrolo.Mas continuarei na batalha haha.Muito obrigada!

@rsobral41 Год назад

Ho-a-re... Hooooooooooooorrrrrrreee... Mais uma excelente aula!!!!!👏👏👏👏👏

@rafael12348 4 месяца назад

Obrigado professor, salvou o dia

@jaquespereira9577 2 года назад

Aula excelente !

@hadassafaccini7645 3 года назад

Obrigada por ensinar Está sendo muito bom para mim. Muito grata 😌

@ProfessorDouglasMaioli 3 года назад

De nada Hadassa ❤️🙏

@mariacoelho3290 3 года назад

Difícil ainda 🙆. Mas a aula é excelente como sempre👏👏

@ProfessorDouglasMaioli 3 года назад

Obrigado Maria, mas realmente, essa parte precisa de tempo maior de estudo pra pegar.

@davidjunior8290 3 года назад

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

@ProfessorDouglasMaioli 3 года назад

Valeu David, muito obrigado mesmo 👍 Fico muito feliz de vocês estarem gostando tanto das minhas aulas 💪❤️👏👏👏

@janainamaya4217 3 года назад

Obrigado pela aula professor...com vc explicando até parece fácil...mas não é não..

@ProfessorDouglasMaioli 3 года назад

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

@janainamaya4217 3 года назад

@@ProfessorDouglasMaioli tomara que sim...será que esse curso vai ficar ainda mais difícil??

@ProfessorDouglasMaioli 3 года назад

Não, eu acredito que a parte mais difícil é essa mesmo.

@vanildooliveira7779 Год назад

Difícil é lembrar de tudo isso na hora da prova. Tenso😮

@FredericoLohmannJr 3 года назад

Professor, existe algum método pra chegar à invariante de laço? Estou perdendo um bom tempo nesta etapa.

@ProfessorDouglasMaioli 3 года назад

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.

@FredericoLohmannJr 3 года назад

@@ProfessorDouglasMaioli Aguardarei, obrigado.

@ProfessorDouglasMaioli 3 года назад

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.

@FredericoLohmannJr 3 года назад

@@ProfessorDouglasMaioli Ok. Obrigado.

@rafaelsaboia910 3 года назад

show professor, vlw

@ProfessorDouglasMaioli 3 года назад

Valeu Rafael 👍

@evertonmarques7643 3 года назад

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.

@ProfessorDouglasMaioli 3 года назад

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.

@Seiphirian 3 года назад

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.

@ProfessorDouglasMaioli 3 года назад

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

@Seiphirian 3 года назад

@@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!

@ProfessorDouglasMaioli 3 года назад

Kkkkkkk sem problemas