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

De CoteiaWiki
(Trabalho 1)
Linha 20: Linha 20:
 
* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
 
* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]]
 
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
 
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
 +
* [[Media:SCC0505Cap2.rar| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
  
 
== Listas de Exercícios ==
 
== Listas de Exercícios ==
  
 
* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
 
* [[Media:Lista1-SCC505-2012.pdf‎| Lista 1]]
 +
* [[Media:Lista2-SCC0505.pdf‎| Lista 2]]
  
 
== Trabalhos ==
 
== Trabalhos ==
  
 
* [[Media:T1SCC505_2012.pdf| Trabalho 1]]
 
* [[Media:T1SCC505_2012.pdf| Trabalho 1]]

Edição das 19h44min de 22 de março 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

Material

Listas de Exercícios

Trabalhos