Curso de Teoria da Computação | MIT
Gratuito

Curso de Teoria da Computação | MIT

Canal: estude.org

25 aulas
Entrar para acompanhar progresso
Gostou? Inscreva-se no canal Novas aulas e cursos toda semana no YouTube Inscrever-se

Aulas do curso

25 aulas
  1. 1
    Teoria da Computação (Aula 1) - Introdução, Autômatos Finitos, Expressões Regulares 60 min
  2. 2
    Teoria da Computação (Aula 2) - Não-determinismo, Propriedades de Fechamento, Expressões Regulares.. 63 min
  3. 3
    Teoria da Computação (Aula 3) - Lema do Bombeamento para Linguagens Regulares, Autômatos Finitos... 70 min
  4. 4
    Teoria da Computação (Aula 4) - Autômatos com Pilha, CFG ↔ PDA 69 min
  5. 5
    Teoria da Computação (Aula 5) - Lema do Bombeamento para CF, Máquinas de Turing 73 min
  6. 6
    Teoria da Computação (Aula 6) - Variantes de TM, Tese de Church-Turing 74 min
  7. 7
    Teoria da Computação (Aula 7) - Problemas de Decisão para Autômatos e Gramáticas 76 min
  8. 8
    Teoria da Computação (Aula 8) - Indecidibilidade 77 min
  9. 9
    Teoria da Computação (Aula 9) - Redutibilidade 76 min
  10. 10
    Teoria da Computação (Aula 10) - Método da História de Computação 81 min
  11. 11
    Teoria da Computação (Aula 11) - Teorema da Recursão e Lógica 77 min
  12. 12
    Teoria da Computação (Aula 12) - Complexidade de Tempo 85 min
  13. 13
    Teoria da Computação (Aula 14) - P e NP, SAT, Redutibilidade em Tempo Polinomial 79 min
  14. 14
    Teoria da Computação (Aula 15) - NP-Completude 85 min
  15. 15
    Teoria da Computação (Aula 16) - Teorema de Cook-Levin 78 min
  16. 16
    Teoria da Computação (Aula 17) - Complexidade Espacial, PSPACE, Teorema de Savitch 80 min
  17. 17
    Teoria da Computação (Aula 18) - Completude PSPACE 77 min
  18. 18
    Teoria da Computação (Aula 19) - Jogos, Geografia Generalizada 79 min
  19. 19
    Teoria da Computação (Aula 20) - L e NL, NL = coNL 80 min
  20. 20
    Teoria da Computação (Aula 21) - Teoremas de Hierarquia 81 min
  21. 21
    Teoria da Computação (Aula 22) - Problemas Comprovadamente Intratáveis, Oráculos 82 min
  22. 22
    Teoria da Computação (Aula 23) - Computação Probabilística, BPP 83 min
  23. 23
    Teoria da Computação (Aula 24) - Computação Probabilística (cont.) 83 min
  24. 24
    Teoria da Computação (Aula 25) - Sistemas de Prova Interativos, IP 74 min
  25. 25
    Teoria da Computação (Aula 26) - coNP ⊆ IP 83 min