Tecnologia
Teoria da Computação
Teoria da Computação, neste curso explora os fundamentos teóricos que definem o que os computadores podem e não podem fazer. Ele aborda os conceitos de linguagens formais, autômatos, máquinas de Turing, computabilidade e complexidade comput
Mind LusterALL_LEVELSAulas em pt-BRCertificado0 alunos
Conteúdo fornecido por parceiro/fonte externa. Fonte original
Teoria da Computação,
neste curso explora os fundamentos teóricos que definem o que os computadores podem e não podem fazer. Ele aborda os conceitos de linguagens formais, autômatos, máquinas de Turing, computabilidade e complexidade computacional. O aluno aprenderá a modelar problemas usando gramáticas e autômatos, compreender o funcionamento abstrato dos algoritmos e analisar a eficiência de processos computacionais. O curso também discute a diferença entre problemas decidíveis e indecidíveis, além de introduzir classes de complexidade como P e NP. Com uma abordagem lógica e matemática, a formação oferece a base para compreender profundamente como a computação funciona em nível conceitual, preparando o estudante para áreas como ciência da computação teórica, inteligência artificial e design de algoritmos. estude org
Conteúdo
Conteúdo
- Teoria da Computação Aula 1 Introdução Autômatos Finitos Expressões RegularesLogin para assistir
- Teoria da Computação Aula 2 Não determinismo Propriedades de Fechamento Expressões RegularesLogin para assistir
- Teoria da Computação Aula 3 Lema do Bombeamento para Linguagens Regulares Autômatos FinitosLogin para assistir
- Teoria da Computação Aula 4 Autômatos com Pilha CFG PDALogin para assistir
- Teoria da Computação Aula 5 Lema do Bombeamento para CF Máquinas de TuringLogin para assistir
- Teoria da Computação Aula 6 Variantes de TM Tese de Church TuringLogin para assistir
- Teoria da Computação Aula 7 Problemas de Decisão para Autômatos e GramáticasLogin para assistir
- Teoria da Computação Aula 8 IndecidibilidadeLogin para assistir
- Teoria da Computação Aula 9 RedutibilidadeLogin para assistir
- Teoria da Computação Aula 10 Método da História de ComputaçãoLogin para assistir
- Teoria da Computação Aula 11 Teorema da Recursão e LógicaLogin para assistir
- Teoria da Computação Aula 12 Complexidade de TempoLogin para assistir
- Teoria da Computação Aula 14 P e NP SAT Redutibilidade em Tempo PolinomialLogin para assistir
- Teoria da Computação Aula 15 NP CompletudeLogin para assistir
- Teoria da Computação Aula 16 Teorema de Cook LevinLogin para assistir
- Teoria da Computação Aula 17 Complexidade Espacial PSPACE Teorema de SavitchLogin para assistir
- Teoria da Computação Aula 18 Completude PSPACELogin para assistir
- Teoria da Computação Aula 19 Jogos Geografia GeneralizadaLogin para assistir
- Teoria da Computação Aula 20 L e NL NL coNLLogin para assistir
- Teoria da Computação Aula 21 Teoremas de HierarquiaLogin para assistir
- Teoria da Computação Aula 22 Problemas Comprovadamente Intratáveis OráculosLogin para assistir
- Teoria da Computação Aula 23 Computação Probabilística BPPLogin para assistir
- Teoria da Computação Aula 24 Computação Probabilística contLogin para assistir
- Teoria da Computação Aula 25 Sistemas de Prova Interativos IPLogin para assistir
- Teoria da Computação Aula 26 coNP ⊆ IPLogin para assistir