Mudanças entre as edições de "SCC-505-2012(erickrf)"

De CoteiaWiki
m (Material)
Linha 27: Linha 27:
 
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
 
* [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
 
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
 
* [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
* [[Media:SCC0505Cap4_2012.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]
+
* [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]]
  
 
== Listas de Exercícios ==
 
== Listas de Exercícios ==

Edição das 00h33min de 29 de maio de 2012

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.

Horário das Aulas: Quartas-feiras, 21h às 22h40.

Sala: 5-003

Quadro de Avisos
  • 15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.

Material

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

Notas