Carla Quem Disse
Carla Quem Disse
  • 231
  • 656 842
LFA - Aula 13 - Dia 1/04/2022
Aula de revisão e exercícios para a P1.
========================#=======================
Este conteúdo é dado na disciplina MCTA015-13 (Linguagens Formais e Automata).
Minha página: professor.ufabc.edu.br/~carla.negri
Переглядів: 776

Відео

Mergesort (corretude e tempo)
Переглядів 2,9 тис.2 роки тому
Demonstração da corretude e recorrência para o Mergesort. # Este conteúdo é dado nas disciplinas MCTA003-17 (Análise de algoritmos, graduação) e CCM-001 (Análise de algoritmos e estruturas de dados, pós-graduação). Minha página: professor.ufabc.edu.br/~carla.negri
Insertion Sort
Переглядів 4,1 тис.2 роки тому
Um primeiro exemplo completo: problema, algoritmo, corretude e tempo com notação assintótica. # Este conteúdo é dado nas disciplinas MCTA003-17 (Análise de algoritmos, graduação) e CCM-001 (Análise de algoritmos e estruturas de dados, pós-graduação). Minha página: professor.ufabc.edu.br/~carla.negri
Tempo de execução com notação assintótica
Переглядів 4,6 тис.2 роки тому
Misturando notação e tempo com um exemplo prático. # Este conteúdo é dado nas disciplinas MCTA003-17 (Análise de algoritmos, graduação) e CCM-001 (Análise de algoritmos e estruturas de dados, pós-graduação). Minha página: professor.ufabc.edu.br/~carla.negri
Tempo de execução (análise de casos)
Переглядів 5 тис.2 роки тому
Sobre tempo no melhor caso, pior caso e caso médio. # Este conteúdo é dado nas disciplinas MCTA003-17 (Análise de algoritmos, graduação) e CCM-001 (Análise de algoritmos e estruturas de dados, pós-graduação). Minha página: professor.ufabc.edu.br/~carla.negri
Tempo de execução
Переглядів 8 тис.2 роки тому
Definição e exemplos simples. # Este conteúdo é dado nas disciplinas MCTA003-17 (Análise de algoritmos, graduação) e CCM-001 (Análise de algoritmos e estruturas de dados, pós-graduação). Minha página: professor.ufabc.edu.br/~carla.negri
Corretude por invariante - Busca binária
Переглядів 7 тис.2 роки тому
Sobre como provar que a busca binária está correta usando invariante de laço. # Este conteúdo é dado nas disciplinas MCTA003-17 (Análise de algoritmos, graduação) e CCM-001 (Análise de algoritmos e estruturas de dados, pós-graduação). Minha página: professor.ufabc.edu.br/~carla.negri
Corretude de algoritmos (iterativos) - Invariante de laço
Переглядів 13 тис.2 роки тому
Sobre como provar que um algoritmo está correto usando invariantes de laço. # Este conteúdo é dado nas disciplinas MCTA003-17 (Análise de algoritmos, graduação) e CCM-001 (Análise de algoritmos e estruturas de dados, pós-graduação). Minha página: professor.ufabc.edu.br/~carla.negri
Introdução à análise de algoritmos
Переглядів 27 тис.2 роки тому
Neste vídeo faço uma introdução com exemplos simples, para motivar o que estudaremos neste curso. # Este conteúdo é dado nas disciplinas MCTA003-17 (Análise de algoritmos, graduação) e CCM-001 (Análise de algoritmos e estruturas de dados, pós-graduação). Minha página: professor.ufabc.edu.br/~carla.negri
PI - Imagens
Переглядів 3553 роки тому
Uma aplicação bem direta do uso de matrizes. # Este conteúdo é dado na disciplina BCM0505-15 (Processamento da Informação). Minha página: professor.ufabc.edu.br/~carla.negri
PI - Exercícios com matrizes
Переглядів 2133 роки тому
Mais dois exercícios usando matrizes. # Este conteúdo é dado na disciplina BCM0505-15 (Processamento da Informação). Minha página: professor.ufabc.edu.br/~carla.negri
PI - Multiplicação de matrizes
Переглядів 2873 роки тому
Uma das operações mais básicas em matrizes. # Este conteúdo é dado na disciplina BCM0505-15 (Processamento da Informação). Minha página: professor.ufabc.edu.br/~carla.negri
PI - Triângulo de pascal
Переглядів 2953 роки тому
Um exercício simples que pode ser resolvido com ajuda de matrizes. # Este conteúdo é dado na disciplina BCM0505-15 (Processamento da Informação). Minha página: professor.ufabc.edu.br/~carla.negri
PI - Outras operações básicas em matrizes com Python
Переглядів 4073 роки тому
Operação de transposição de matriz, soma de duas matrizes e matrizes identidades. # Este conteúdo é dado na disciplina BCM0505-15 (Processamento da Informação). Minha página: professor.ufabc.edu.br/~carla.negri
PI - Operações básicas em matrizes com Python
Переглядів 4413 роки тому
PI - Operações básicas em matrizes com Python
PI - Matrizes em Python
Переглядів 3183 роки тому
PI - Matrizes em Python
PI - Aula 21 - Exercícios com vetores
Переглядів 1993 роки тому
PI - Aula 21 - Exercícios com vetores
PI - Exemplos com matrizes
Переглядів 1693 роки тому
PI - Exemplos com matrizes
PI - Operações básicas em matrizes
Переглядів 1693 роки тому
PI - Operações básicas em matrizes
PI - Matrizes
Переглядів 2633 роки тому
PI - Matrizes
PI - Exercícios com vetores (sim, mais alguns)
Переглядів 1463 роки тому
PI - Exercícios com vetores (sim, mais alguns)
PI - Exercícios com vetores em Python (parte 3)
Переглядів 1733 роки тому
PI - Exercícios com vetores em Python (parte 3)
PI - Outro problema básico em vetores: ordenação
Переглядів 1413 роки тому
PI - Outro problema básico em vetores: ordenação
PI - Strings
Переглядів 1073 роки тому
PI - Strings
PI - Sobre cópia de vetores
Переглядів 993 роки тому
PI - Sobre cópia de vetores
PI - Exercícios com vetores em Python (parte 2)
Переглядів 2623 роки тому
PI - Exercícios com vetores em Python (parte 2)
PI - Exercícios com vetores em Python
Переглядів 4523 роки тому
PI - Exercícios com vetores em Python
PI - Sobre leitura da entrada usando vetores em Python
Переглядів 1833 роки тому
PI - Sobre leitura da entrada usando vetores em Python
PI - Vetores em Python
Переглядів 5403 роки тому
PI - Vetores em Python
PI - Operações básicas sobre vetores em Python
Переглядів 4383 роки тому
PI - Operações básicas sobre vetores em Python

КОМЕНТАРІ

  • @Jack-ss4re
    @Jack-ss4re 2 дні тому

    eu procurei vários vídeos sobre árvores de recorrencia 4:10 mas essa foi a melhor explicação que teve… parabéns por ser tão didática

  • @tiagoalbuquerque8323
    @tiagoalbuquerque8323 13 днів тому

    Lendária

  • @brenovambaster1734
    @brenovambaster1734 21 день тому

    que aula fantástica!

  • @mariamagalhaes3885
    @mariamagalhaes3885 21 день тому

    Professora, o tanto que a senhora mostra dominar o assunto é impressionante! Umas inspiração para alunas dessa área!!! Muito obrigada pelas aulas!!

  • @Joao-pz4cz
    @Joao-pz4cz 22 дні тому

    Por que no caso base não é necessário supor que a hipótese é verdadeira e no passo indutivo é necessário?

  • @guilhermeaco
    @guilhermeaco 22 дні тому

    Seus vídeos são ótimos, professora

  • @TulhoKay
    @TulhoKay Місяць тому

    Poderia trazer só uma playlist sobre somatórios e formas de lidar com eles, o jeito que tu explica é insanamente imersivo.

  • @elenadomingaherreradelgado550
    @elenadomingaherreradelgado550 Місяць тому

    muito obrigada

  • @elenadomingaherreradelgado550
    @elenadomingaherreradelgado550 Місяць тому

    Que boa explicação!

  • @guilhermeaco
    @guilhermeaco Місяць тому

    Excelente aula, professora

  • @luccasguimaraes
    @luccasguimaraes Місяць тому

    Muito bom! Obrigado, professora :)

  • @luccasguimaraes
    @luccasguimaraes Місяць тому

    Muito bom! 👏🏼🚀

  • @RafaelGomes-ep1lp
    @RafaelGomes-ep1lp Місяць тому

    Muito bom. Adorei a explicação. Ficou bem claro para entender!

  • @PepeuXisDe
    @PepeuXisDe Місяць тому

    Muito obrigado, ajudou demais!

  • @zFake
    @zFake Місяць тому

    obrigado

  • @gabrielkittlaus
    @gabrielkittlaus Місяць тому

    muito inteligente e didática, parabéns e obrigado.

  • @calebemiranda6886
    @calebemiranda6886 Місяць тому

    Muito bom ! Ótimo video, valeu

  • @luccasguimaraes
    @luccasguimaraes Місяць тому

    Muito bom! 👏🏼😊

  • @Sr_Ningvem
    @Sr_Ningvem 2 місяці тому

    Eu só entendi os primeiros 5 min de aula.

  • @generalkuze6893
    @generalkuze6893 2 місяці тому

    Tema bem confuso. O que é o C?

  • @fewiip
    @fewiip 2 місяці тому

    Boa noite! O que seria um colorario??

  • @midorisugaya2904
    @midorisugaya2904 2 місяці тому

    Professora, no exercício L3, fiz o autômato parecido com o primeiro pensamento sobre ele, que depois você apagou. Mas eu coloquei uma transição saindo do q3 (estado final) para o q1 (estado inicial). Porque autômato reiniciaria a contagem regressiva. Pode ser?

  • @midorisugaya2904
    @midorisugaya2904 2 місяці тому

    Professora, acho que em 00:09:20 a transição estendida para o q3 que você fez durante a explicação está correta, sem necessitar de correção e realmente seria ^δ(q₁, ω) = q₃ ⟺ ω = α1β0 com α, β ∈ Σ*. Pois no estado q2 pode haver um looping de 1.

  • @fewiip
    @fewiip 2 місяці тому

    opa! O que significa que algo foi provado por vacuidade?

  • @MarcosAntonio-sf4hn
    @MarcosAntonio-sf4hn 2 місяці тому

    Materia do djabo

  • @weslleyvieira9396
    @weslleyvieira9396 2 місяці тому

    eu posso usar o epsilon, epsilon -> epsilon, quando eu quiser fazer a transição de estado, quando estado atual que eu estou não resolver o próximo simbolo a ser lido, né? Só pra ficar claro essa parte

    • @weslleyvieira9396
      @weslleyvieira9396 2 місяці тому

      pq tipo, eu poderia também colocar no lugar a transição que vc representa no proximo estado, certo? no lugar do epsilon, epsilon - > epsilon, coloca também o 1, Z - > Epsilon, assim como nos automatos finitos

  • @curuja3080
    @curuja3080 2 місяці тому

    em 2024 e vc ajudando nois, pq o channel ta ruim de explicaçao

  • @carlosdesalima3375
    @carlosdesalima3375 2 місяці тому

    ! Obrigado !

  • @ArturDiasDeOliveira-ud4hg
    @ArturDiasDeOliveira-ud4hg 2 місяці тому

    muito bom!!!

  • @matheusisidoro7895
    @matheusisidoro7895 3 місяці тому

    Boa noite, professora, excelentes aulas! Olha, gostaria de fazer um pedido, há assuntos como complexidade de espaço, conversão de GLCs para FNC e afins que são cobradas no curso de Informática Teórica aqui da UFPE e de outros cursos de outras universidades também, seria possível fazer aulas destes assuntos?

  • @wallaceferreira4739
    @wallaceferreira4739 3 місяці тому

    Obrigado. Fiz uma entrevista e seu vídeo foi muito útil para entender o enunciado.

  • @andressamenezzes2414
    @andressamenezzes2414 3 місяці тому

    Didática top!!

  • @VictorGabriel-e7p
    @VictorGabriel-e7p 3 місяці тому

    Muito bom!

  • @niash1
    @niash1 3 місяці тому

    Oi, Carla! Excelente explicação, valeu! Dúvida: por que usar a notação Theta e não a Big O? Faria diferença?

  • @Coney_island23
    @Coney_island23 4 місяці тому

    parabéns pela aula professora! quem dera todo professor fosse assim! muito obrigado por compartilhar o conhecimento.

  • @EduardoCosta-bh2pt
    @EduardoCosta-bh2pt 4 місяці тому

    Sou da univesp, e essa aula me salvou.

  • @paulogeowany2876
    @paulogeowany2876 4 місяці тому

    Muito bom! Ajudou demais!!!

  • @joca13-f4s
    @joca13-f4s 4 місяці тому

    Excelente suas explicações. Parabéns pela didática.

  • @__mmars
    @__mmars 4 місяці тому

    Professora, a senhora poderia me dar um norte de como fazer essa atividade? Máquina de Turing que realiza a soma de dois números na notação binária. A entrada é uma cadeia da forma w1#w2 onde w1 e w2 são sequências de zeros e uns, começando, e # é um separador entre os dois números. Sua máquina deverá processar essa cadeia de forma que, quando ela parar, a cadeia consistirá na soma de w1 com w2. Por exemplo, ao receber a cadeia 1011#101, o processamento termina com a cadeia 10000. Pode assumir que há brancos à esquerda e à direita na fita. Exemplo com a cadeia de entrada: _1011#101_.

  • @__mmars
    @__mmars 5 місяців тому

    a senhora é uma diva

  • @luccasguimaraes
    @luccasguimaraes 5 місяців тому

    Muito bom! Obrigado pela aula \o/

  • @pjceva
    @pjceva 5 місяців тому

    Vídeo excelente!

  • @luccasguimaraes
    @luccasguimaraes 5 місяців тому

    Revisando para meu PDPD... ótima aula! :)

  • @luccasguimaraes
    @luccasguimaraes 5 місяців тому

    Excelente! Muito obrigado \o/

  • @engso.arthur
    @engso.arthur 5 місяців тому

    Aula boa! Lá no final, aos 12:12 a Construção não seria O (n log n) ?

  • @leandrocruz6621
    @leandrocruz6621 6 місяців тому

    Muito bom

  • @fabiocaravieri5121
    @fabiocaravieri5121 6 місяців тому

    suas aulas de complexidade de algoritmos é muito boa. Você tem o material em slides ou pdf para estudo?

    •  5 місяців тому

      Tem no site dela.

    •  5 місяців тому

      Posso mandar o link aqui, não sei se o youtube vai permiitir: professor.ufabc.edu.br/~carla.negri/cursos/materiais/Livro-Analise.de.Algoritmos.pdf

  • @ericogto
    @ericogto 6 місяців тому

    Ótimo vídeo, Professora! Quais equipamentos e software a você utiliza para escrever na tela?

  • @nelsonsgarbifilho
    @nelsonsgarbifilho 6 місяців тому

    muito obrigado pelo vídeo, me ajudou muito a entender para fazer um trabalho, ótima explicação

  • @rzrsdiego
    @rzrsdiego 7 місяців тому

    Oi, boa noite, tudo bem? Gostei da aula, parabéns. Eu tenho dificuldade em aprender só com exemplos abstratos. No final da aula fiquei pensando, quando utilizar? Qual tipo de problema posso resolver? Mais uma vez obrigado pela aula e se puder responder, agradeço.