Aula 7 - Técnicas de Demonstrações (Parte Demonstração) - Fundamentos Matemáticos para Computação

Поделиться
HTML-код
  • Опубликовано: 19 янв 2025

Комментарии • 73

  • @ProfessorDouglasMaioli
    @ProfessorDouglasMaioli  4 года назад +25

    Pessoal, depois dessa aula eu recomendo ver os exercícios 1 ( ruclips.net/video/TP00U7LyVfk/видео.html ) e 2 ( ruclips.net/video/MdET911N6-Y/видео.html ) dos exercícios de apoio da semana 3, quanto mais exemplos verem, melhor vai ser.

  • @marcelaseixas
    @marcelaseixas 4 года назад +23

    Douglas, arrasou como sempre!!!! sou professora tb, então é ainda mais maravilhoso assistir aula boa assim!!!! dá uma esperança no mundo, na vida! obrigada por existir!

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  4 года назад +1

      Nossa Marcela, muito obrigado 🥰 Muito bom receber uma mensagem de reconhecimento dessa de uma colega de profissão ❤️

    • @rsobral41
      @rsobral41 Год назад +4

      P(x): x é professor
      E(x): x é Esperança em ótimas aulas.
      m: Maioli
      (∃ x) [P(x) ^ E(x) --> P(m)]
      😁😁😁😁😁😁😁😁😁

  • @josegabrielaraujo4215
    @josegabrielaraujo4215 3 месяца назад +1

    Achei seu canal hoje, sei que vai me salvar muito durante minha graduação de Ciência da Computação

    • @n_a9152
      @n_a9152 3 месяца назад

      Oxekkkkkk

  • @pedrohenriquesiqueira3417
    @pedrohenriquesiqueira3417 Месяц назад

    Melhor aula que essa? Impossível!

  • @arthuroctavio8491
    @arthuroctavio8491 Год назад +4

    Professor, obrigado por estes vídeos. Você tem que ser muito abençoado, porque mdssss, que conteúdo rico e muito bem explicado. Obrigado mesmo.

  • @Kaclash115
    @Kaclash115 7 дней назад

    Que aula maravilhosa ❤

  • @priscilalima2132
    @priscilalima2132 4 года назад +12

    Melhor didática impossível, excelente Professor 👏👏

  • @vinniciuspereira6235
    @vinniciuspereira6235 2 года назад +3

    Obrigado! Didática excelente! Transmitiu em ~ 1h o que prof meu não conseguiu em 1 semestre de faculdade.

  • @mariacoelho3290
    @mariacoelho3290 4 года назад +8

    Nossa 🙆! Obrigada, professor Douglas, se não fosse o professor, certamente já teria desistido. Grata 👏

  • @davimoura5229
    @davimoura5229 Год назад +1

    muito boa aula! Didática perfeita como sempre, essa playlist está me ajudando muito na faculdade! Obrigado, professor

  • @anselmosantos4955
    @anselmosantos4955 2 месяца назад

    Arrasou mais uma vez, sua didática é fenomenal. Além de tudo um conteúdo rico gratuito. Obrigado por nos ajudar mais essa vez com seus vídeos. Bem que o sr. poderia dá aulas na Univesp.😃

  • @oziresramos9466
    @oziresramos9466 4 года назад +3

    Afff. essa tá difícil. Vou rever. Obrigada professor.

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  4 года назад +1

      Então Ozires, realmente, essa parte de demonstrações é mais difícil que as outras partes da disciplina.

  • @oliveirahkelly
    @oliveirahkelly 3 года назад +2

    Salvou a minha vida, muito obrigada! 🙏🙏👏👏👏

  • @rafaelbsm457
    @rafaelbsm457 4 года назад +7

    Muito bom, com embasamento dah pra entender. Aquele monte de slide vomitado de uns prfessores lah da Univesp a base ctrc + ctrv , tah de brincadeira.

    • @karlosdaniel6537
      @karlosdaniel6537 4 года назад +2

      Você está acompanhando a playlist do prof. Possani? Ele explica muito bem mas acho que o formato da aula atrapalha um pouco.

    • @rafaelbsm457
      @rafaelbsm457 4 года назад +6

      @@karlosdaniel6537 ah sim, vi uns dele. Mas ele eh academico tbm. O prof. deste canal tem didatica, algo que muitos prof. da rede publica nao tem. O academico manja tecnicamente , mas por contrato tem de "conceder" algumas horas de seu "precioso" tempo de pesquisa para dar aulas. Por isto que as vezes, algumas aulas do curso sao tao ruins.

    • @karlosdaniel6537
      @karlosdaniel6537 4 года назад +4

      @@rafaelbsm457 Concordo com vc, o que eu faço é sempre tentar ver tanto os vídeos de um acadêmico explicando quanto os vídeos de um professor mais didático. E escola pública municipal/estadual é complicado mesmo, porque a maioria dos professores não são nem acadêmicos e nem muito didáticos.

  • @marcosantos4030
    @marcosantos4030 3 года назад +1

    Professor, seu trabalho é incrível. Meus parabéns e mais sinceros agradecimentos!!

  • @janainamaya4217
    @janainamaya4217 4 года назад +2

    Obrigada pela excelente aula, professor...

  • @wellitonamelo
    @wellitonamelo 2 года назад +1

    Excelente aula, professor!!! Muito obrigadoo!!!!!!!!11

  • @AulaVirtual-jz9lr
    @AulaVirtual-jz9lr Год назад +1

    Excelente aula!

  • @Naoseinaosei213
    @Naoseinaosei213 2 года назад +1

    Muito boa a aula.

  • @brenovambaster1734
    @brenovambaster1734 3 года назад +1

    Que aula maassa, cara. Vaaleu, professor!

  • @estevaojmfreitas235
    @estevaojmfreitas235 2 года назад +1

    parabéns pela qualidade!!!

  • @heraldocandidodacruz4587
    @heraldocandidodacruz4587 4 года назад +2

    Parabéns professor, foi um conteúdo um pouco mais denso, mas consegui entender um pouco. Vou ver as aulas de exercícios para complementar o conteúdo.

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  4 года назад

      Os exercícios podem ajudar a entender mais sim, mas nesse caso de demonstrações, é normal ter dificuldade no começo, é um assunto que requer bastante tempo e ver bastante exemplos.

  • @MrLFerM
    @MrLFerM 4 года назад +3

    aula sensacional

  • @cabral2661
    @cabral2661 10 месяцев назад +1

    Professor, na graduação de matemática se aprende essas tecnicas em que matéria?

  • @gabriel_6183
    @gabriel_6183 3 года назад

    Muito bom!!

  • @alexcsaraujo
    @alexcsaraujo Год назад +2

    Excelentes aulas. Obrigado! Uma dúvida: existe algum "macete" para perceber quando é mais fácil demostrar por contraposição ou por contradição ao invés de forma direta?

  • @claudiacorazzim167
    @claudiacorazzim167 Год назад +1

    Oi professor primeiro quero agradecer pelas explicações, graças as suas aulas eu consegui tirar boas notas em calculo. obrigado. Mas só queria fazer uma pergunta, como sei quando usa os tipos de demonstrações, tem como saber?

  • @MarcosPaulo-xp2in
    @MarcosPaulo-xp2in 3 года назад +1

    Esse contraexemplo também vale caso o P seja falso e o Q verdadeiro né ?
    por exemplo: P é par.
    Q pertence aos reais.

  • @JoaoPedro-kj2jo
    @JoaoPedro-kj2jo 4 года назад +2

    Muito bacana, professor.
    O senhor ja leu How To Prove It(Velleman)? Se sim, curtiu?

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  4 года назад

      Já li o How to solve It do Polya, How to prove it ainda não li, vou procurar ele.

  • @marcelaseixas
    @marcelaseixas 4 года назад +3

    professor, você não falou, mas eu percebi que você usou várias vezes a particularização universal e depois a generalização, no caso dos k dos numeros impares...

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  4 года назад +1

      No fundo é isso mesmo, a gente tem um "para todo", usa a particularização universal, trabalha sem o "para todo" e depois volta 👏👏👏👏

  • @marcelaseixas
    @marcelaseixas 4 года назад +2

    professor, fiquei com uma dúvida... como fica o zero aí no meio dessas negações? por exemplo, quando você tem x = impar, a negação disso sendo todos os numeros não impares, ou seja, numeros pares.... como fica o zero?

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  4 года назад

      Marcela, como o zero a gente pode escrever como 2.0, então o zero é considerado par. Podemos perceber isso, também vendo que é impossível escrever o zero como 2k+1, com k inteiro, então o zero não pode ser ímpar. Zero é par.

    • @marcelaseixas
      @marcelaseixas 4 года назад +1

      @@ProfessorDouglasMaioli , o zero sendo par, cai por terra toda a minha duvida!!! Nao sabia nao que ele era par!!!

  • @diogovalentte
    @diogovalentte Год назад

    Vlw fesso

  • @Lucas-re4uj
    @Lucas-re4uj 3 года назад +1

    E se fosse x^n, sendo os dois inteiros maiores que 1? Tô com bastante dificuldade nesse exercício. Aula muito boa professor, parabéns!!!

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  3 года назад +1

      Oi Lucas, eu não entendi qual exemplo você está falando e como você quer generalizar. O que especificamente você quer demonstrar?

    • @Lucas-re4uj
      @Lucas-re4uj 3 года назад +1

      Basicamente, demonstrar que se x e n são inteiros maiores que 1, então x e x^𝑛 têm a mesma paridade.

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  3 года назад +1

      Entendi Lucas, você pode provar primeiro que o produto de dois pares é par e o produto de dois ímpares é ímpar. Para provar isso, basta pegar dois pares quaisquer a=2n e b=2k e ver que a.b=2.(2nk) é par e pegar dois ímpares quaisquer a=2n+1 e b=2k+1 e ver que a.b=2.(2nk+n+k)+1 é ímpar, sendo n e k inteiros neh.

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  3 года назад +1

      Depois disso você pode usar a indução finita para provar o que quer, vamos falar que se x é par x^n é par, para x e n inteiros maiores que 1 (perceba que x não pode ser qualquer inteiro, estamos supondo x par). Primeiro passo x é par, logo x.x é par, então x^2 é par (passo básico da indução finita)
      Segunda passo, supomos x^k é par (passo indutivo)
      Terceiro passo, x é par e x^k é par por hipótese, logo x.x^k é par, então x^k+1 é par. Provando por indução o que queríamos.
      Depois para provar o mesmo mas com um ímpares é similar.

    • @Lucas-re4uj
      @Lucas-re4uj 3 года назад +1

      @@ProfessorDouglasMaioli Nossa professor, muito obrigado por responder, me ajudou muito! Um abraço pro senhor, saiba que essa sua playlist tá salvando toda a minha turma de discreta kkkkkkkkkkk

  • @Leossj1
    @Leossj1 3 года назад +1

    Professor não entendi na Demonstração direta.
    E se eu não soubesse que existia um Teorema conhecido? Como eu poderia escrever os números pares? Existem mais de um jeito?

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

      Leonardo, em geral tem mais de um jeito de fazer uma demonstração sim. Em relação ao "teorema ou resultado conhecido" você sempre terá que ter uma base, o teorema sempre sai de algo conhecido, nem que esse algo seja um axioma, mas pode ser axiomas ou proposições provadas através de axiomas, por isso nas demonstrações, ter um conhecimento da base da área de estudos. Nos casos dos números pares, a sua definição é que um número é par se é divisivel por 2, por isso, que a forma mais simples de escrever um par é como 2k, com k sendo um inteiro, mas tem outras formas, baseadas nesta, como 2k+2 ou 2K+4.

    • @Leossj1
      @Leossj1 3 года назад +1

      @@ProfessorDouglasMaioli Então
      .. eu sei que um número X é par quando o resto da divisão dele por 2 for 0, mas da onde veio o 2k? Obrigado

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

      O k é um inteiro. Pega qualquer número par, você consegue escrever ele como 2 vezes um número inteiro (esse é o k), por exemplo, o 10 é 2.5, o k nesse caso é o 5.
      E se vc pega 2k e trocar o k por cada número inteiro, vc consegue achar todos números pares. Começa trocando o k por 0,1,2,3... e depois o inteiros negativos -1,-2,-3... Você acha todos pares, por isso que 2k, com k inteiro, é uma fórmula dos números pares.

    • @Leossj1
      @Leossj1 3 года назад +1

      @@ProfessorDouglasMaioli Ahh entendi o 2k é como se fosse a tabuada do 2. Obrigado, prof

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

      Isso aí 👍🏻

  • @MarcosPaulo-xp2in
    @MarcosPaulo-xp2in 3 года назад +1

    Se a fosse um número decimal eu também poderia dizer que ele era impar ?

  • @MarcosPaulo-xp2in
    @MarcosPaulo-xp2in 3 года назад +1

    SE x pertence a números entre 1 e 5 = ( ∀x ∈ D) [...] isso pode ser certo ou o (∈ D) só pode ser usado em relação aos conjuntos numéricos ?

  • @marciaoliver123
    @marciaoliver123 4 года назад +1

    Pq P é par?
    Não entendi.🤔

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  4 года назад

      Célia, você diz na última demonstração que √2 é irracional? Então, nessa aula a gente demonstrou que se x^2 é par então x é par, ou seja, se um número ao quadrado é par, aquele número (sem tá ao quadrado) tem q ser par. A gente chegou que p^2 é par, então pelo que eu acabei de falar, p tem q ser par.

  • @luzepaz-x3i
    @luzepaz-x3i 4 года назад +2

    Tem só 1 deslike, será que foi do professor oficial do curso?

    • @ProfessorDouglasMaioli
      @ProfessorDouglasMaioli  4 года назад +1

      Kkkkkkk Não foi do Professor da disciplina não Andrew kkkkkkkk Mas eu sei de quem foi 🤫🤣🤣🤣

  • @mendoratolino
    @mendoratolino 4 года назад +1

    🗿

  • @elaineassis9743
    @elaineassis9743 2 года назад +1

    Excelente!!!