Vai al contenuto principale
Pannello laterale
Disciplinas »
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
AACCs/FFLCH
Pró-Reitoria de Pós-Graduação
Outros
Suporte »
Acesso
Perfis
Ouvintes
Docentes
Criação de Disciplinas da USP
Documentação
HelpDesk e Contato
Guia de uso
Sobre
Italiano (it)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Cerca
Chiudi
Cerca
Attiva/disattiva input di ricerca
Acessar
ACH2043 - Introdução à Teoria da Computação (2024)
Home
Corsi
2024
EACH
ACH
ACH2043-102-2024
Introduzione
Datas das próximas provas
Datas das próximas provas
Ultime modifiche: mercoledì, 12 giugno 2024, 14:07
◄ Notas das P1 a PSub
Vai a...
Vai a...
Avisos
Fórum de dúvidas e discussões
Notas das P1 a PSub
Aula 1: Introdução
Livro "Atenção Plena" (pdf autorizado)
Ouvir esse podcast - a questão da atenção
Assistir esse vídeo: "A MELHOR LIVE DE NUTRIÇÃO QUE VOCÊ JÁ VIU" (com Denise Carreiro)
Assistir esse vídeo: Palestra de Mindfulness promovida pela USP
Aula 2: Autômatos finitos
Aula 3: Autômatos finitos determinísticos (AFDs)
Aula 4: Autômatos finitos não-determinísticos (AFNs)
Aula 5: Equivalência entre AFDs e AFNs
Aula 6: Fechamentos de linguagens regulares
Aula 7: Expressões regulares
Aula 8: Gramáticas Regulares
Aula 9: Linguagens não regulares
Aula 10a: Como implementar AFDs
Alguns exercícios resolvidos - Cap 1 Sipser (parte 1)
Alguns exercícios resolvidos - Cap 1 Sipser (parte 2)
Aula 10b: Gramáticas Livres de Contexto
Aula 11: Análise sintática de gramáticas livres de contexto
Aula 12: Forma normal de Chomsky
Aula 12: Resolução do exercício feito em sala
Aula 13: Autômato com pilha
Sobre as aulas 10 e 13: alguns exercícios resolvidos (GLCs e APNs)
Aula 14: Equivalência entre GLCs e APNs
Aula 15: Linguagens não livres de contexto
Aula 16: Máquinas de Turing
Aula 17: Máquinas de Turing e Linguagens Sensíveis ao Contexto
Artigo "The language of genes"
Aula 18: Variantes de Máquinas de Turing
Aula 19: A definição de algoritmo
Aula 20: Linguagens decidíveis
Aula 21: Linguagens não Turing-reconhecíveis; o Problema da Parada
Aula 22: Linguagens indecidíveis (parte 1)
Aula 23: Linguagens indecidíveis (parte 2)
Aula 24: Redutibilidade por mapeamento
Aula 25: Complexidade
Aula 1: Introdução ►
