Mudanças entre as edições de "SCC-505-2012(erickrf)"
(→Informações Gerais) |
|||
| Linha 11: | Linha 11: | ||
'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br) | '''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br) | ||
:Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114. | :Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114. | ||
| + | {| border="1" | ||
| + | || ''' <b><font color="#8F0000"> Aviso: </font></b> Na semana do dia 15/05, excepcionalmente, não haverá atendimento PAE. Dúvidas podem ser enviadas por email. ''' | ||
| + | |} | ||
'''Horário das Aulas''': Quartas-feiras, 21h às 22h40. | '''Horário das Aulas''': Quartas-feiras, 21h às 22h40. | ||
Edição das 13h56min de 10 de maio de 2012
Índice
Introdução à Teoria da Computação
Objetivos
Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.
Informações Gerais
Professor: João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
- Horário de atendimento: Quintas-feiras, 16h às 19h
Aluno PAE: Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
- Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.
| Aviso: Na semana do dia 15/05, excepcionalmente, não haverá atendimento PAE. Dúvidas podem ser enviadas por email. |
Horário das Aulas: Quartas-feiras, 21h às 22h40.
Sala: 5-003
Material
- Programa do Curso (Apresentação)
- Capítulo 1 - Linguagens Regulares e Autômatos Finitos
- Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha
- Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente
- Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade
Listas de Exercícios
Trabalhos
O código referente ao Trabalho 1 deverá ser submetido ao sistema BOCA (http://sites.labic.icmc.usp.br/boca/index.php). O login e senha de cada aluno será criado pelo estagiário PAE no dia 25/04, mesmo para os que já usaram o sistema em outras ocasiões.
Após logar no BOCA, é possível mudar sua senha no menu Options.
Para enviar seu trabalho, acesse a opção Runs no menu superior do BOCA. Você deverá enviar seu código fonte quatro vezes, uma para cada caso de teste (AFN 1, AFN 2, AFD 1 e AFD 2).
Logo após enviar, acesse novamente o menu Runs para ver o resultado da execução na coluna Answer. Uma execução bem sucedida com a resposta correta é indicada por YES. Caso haja algum problema com seu código, como erro de compilação ou simplesmente uma resposta errada, será exibido nesse campo.
Provas
- Data da primeira prova: 02/05
