- 231
- 656 842
Carla Quem Disse
Brazil
Приєднався 3 вер 2006
Canal para compartilhar as aulas das minhas disciplinas e alguns conteúdos extras.
Sou professora na Universidade Federal do ABC (UFABC) e pesquisadora na área de teoria da computação.
Ah, CQD é algo que usamos para indicar o final de demonstrações, muito comuns nas disciplinas que ministro :)
Sou professora na Universidade Federal do ABC (UFABC) e pesquisadora na área de teoria da computação.
Ah, CQD é algo que usamos para indicar o final de demonstrações, muito comuns nas disciplinas que ministro :)
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
========================#=======================
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 - 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 - Exercícios com vetores em Python (parte 2)
Переглядів 2623 роки тому
PI - Exercícios com vetores em Python (parte 2)
PI - Sobre leitura da entrada usando vetores em Python
Переглядів 1833 роки тому
PI - Sobre leitura da entrada usando vetores em Python
PI - Operações básicas sobre vetores em Python
Переглядів 4383 роки тому
PI - Operações básicas sobre vetores em Python
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
Lendária
que aula fantástica!
Professora, o tanto que a senhora mostra dominar o assunto é impressionante! Umas inspiração para alunas dessa área!!! Muito obrigada pelas aulas!!
Por que no caso base não é necessário supor que a hipótese é verdadeira e no passo indutivo é necessário?
Seus vídeos são ótimos, professora
Poderia trazer só uma playlist sobre somatórios e formas de lidar com eles, o jeito que tu explica é insanamente imersivo.
concordo!
muito obrigada
Que boa explicação!
Excelente aula, professora
Muito bom! Obrigado, professora :)
Muito bom! 👏🏼🚀
Muito bom. Adorei a explicação. Ficou bem claro para entender!
Muito obrigado, ajudou demais!
Real
obrigado
muito inteligente e didática, parabéns e obrigado.
Muito bom ! Ótimo video, valeu
Muito bom! 👏🏼😊
Eu só entendi os primeiros 5 min de aula.
Tema bem confuso. O que é o C?
Boa noite! O que seria um colorario??
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?
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.
opa! O que significa que algo foi provado por vacuidade?
Materia do djabo
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
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
em 2024 e vc ajudando nois, pq o channel ta ruim de explicaçao
! Obrigado !
muito bom!!!
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?
Obrigado. Fiz uma entrevista e seu vídeo foi muito útil para entender o enunciado.
Didática top!!
Queen da computação <3
Muito bom!
Oi, Carla! Excelente explicação, valeu! Dúvida: por que usar a notação Theta e não a Big O? Faria diferença?
parabéns pela aula professora! quem dera todo professor fosse assim! muito obrigado por compartilhar o conhecimento.
Sou da univesp, e essa aula me salvou.
Muito bom! Ajudou demais!!!
Excelente suas explicações. Parabéns pela didática.
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_.
a senhora é uma diva
Muito bom! Obrigado pela aula \o/
Vídeo excelente!
Revisando para meu PDPD... ótima aula! :)
Excelente! Muito obrigado \o/
Aula boa! Lá no final, aos 12:12 a Construção não seria O (n log n) ?
Muito bom
suas aulas de complexidade de algoritmos é muito boa. Você tem o material em slides ou pdf para estudo?
Tem no site dela.
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
Ótimo vídeo, Professora! Quais equipamentos e software a você utiliza para escrever na tela?
muito obrigado pelo vídeo, me ajudou muito a entender para fazer um trabalho, ótima explicação
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.