Mudanças entre as edições de "SCC-5832(JoaoLuis)"
De CoteiaWiki
Linha 15: | Linha 15: | ||
<center><font size=+100>'''Quadro de Avisos'''</font></center> | <center><font size=+100>'''Quadro de Avisos'''</font></center> | ||
<blockquote style="background: white; border: 1px solid black; padding: 1em;"> | <blockquote style="background: white; border: 1px solid black; padding: 1em;"> | ||
+ | *08/05/2012: Descrição do Trabalho 2 disponível. | ||
+ | *08/05/2012: Slides dos capítulos 3, 4 e 5 disponíveis e listas de exercícios 3, 4 e 5 disponíveis. | ||
*26/04/2012: O Boca está funcionando agora (10h00). | *26/04/2012: O Boca está funcionando agora (10h00). | ||
*24/04/2012: *** ATENÇÃO*** Login e senha para o Trabalho 1 no Boca será número USP e número USP. O sistema deverá abrir às 0h00 de quinta-feira, com possibilidade de abertura já na quarta à noite. | *24/04/2012: *** ATENÇÃO*** Login e senha para o Trabalho 1 no Boca será número USP e número USP. O sistema deverá abrir às 0h00 de quinta-feira, com possibilidade de abertura já na quarta à noite. | ||
Linha 44: | Linha 46: | ||
Capítulo 1 - Linguagens Regulares e Autômatos Finitos: http://dl.dropbox.com/u/2246874/SCC5832Cap1.pdf | Capítulo 1 - Linguagens Regulares e Autômatos Finitos: http://dl.dropbox.com/u/2246874/SCC5832Cap1.pdf | ||
*[[Media:SCC5832Cap2.pdf|Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]] | *[[Media:SCC5832Cap2.pdf|Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]] | ||
+ | *[[Media:SCC5832Cap3_2012.pdf|Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]] | ||
+ | *[[Media:SCC5832Cap4_2012.pdf|Capítulo 4 - Linguagens Recursivamente Enumeráveis e Máquinas de Turing]] | ||
+ | *[[Media:SCC5832Cap5_2012.pdf|Capítulo 5 - Computabilidade e Complexidade]] | ||
== Listas de Exercícios == | == Listas de Exercícios == | ||
Linha 49: | Linha 54: | ||
*[[Media:Lista1-SCC5832.pdf|Lista de Exercícios do Capítulo 1]] | *[[Media:Lista1-SCC5832.pdf|Lista de Exercícios do Capítulo 1]] | ||
*[[Media:Lista2-SCC5832.pdf|Lista de Exercícios do Capítulo 2]] | *[[Media:Lista2-SCC5832.pdf|Lista de Exercícios do Capítulo 2]] | ||
+ | *[[Media:Lista3-SCC5832_2012.pdf|Lista de Exercícios do Capítulo 3]] | ||
+ | *[[Media:Lista4-SCC5832_2012.pdf|Lista de Exercícios do Capítulo 4]] | ||
+ | *[[Media:Lista5-SCC5832_2012.pdf|Lista de Exercícios do Capítulo 5]] | ||
== Datas Importantes == | == Datas Importantes == | ||
Linha 64: | Linha 72: | ||
*[[Media:SCC5832T1_2012.pdf|Descrição do Trabalho 1]] | *[[Media:SCC5832T1_2012.pdf|Descrição do Trabalho 1]] | ||
+ | *[[Media:SCC5832T2_2012.pdf|Descrição do Trabalho 2]] | ||
== Notas == | == Notas == |
Edição das 20h10min de 8 de maio de 2012
SCC-5832 - Teoria da Computação - prof. João Luís
Objetivos: Apresentar ao aluno conceitos fundamentais das disciplinas de teoria da computação, linguagens formais e lógica. Capacitar o aluno a compreender e utilizar estes conceitos.
Justificativa: O estudo destes aspectos fundamentais da ciência da computação deve auxiliar na formação da base teórica necessária às demais disciplinas do curso.
- 08/05/2012: Descrição do Trabalho 2 disponível.
- 08/05/2012: Slides dos capítulos 3, 4 e 5 disponíveis e listas de exercícios 3, 4 e 5 disponíveis.
- 26/04/2012: O Boca está funcionando agora (10h00).
- 24/04/2012: *** ATENÇÃO*** Login e senha para o Trabalho 1 no Boca será número USP e número USP. O sistema deverá abrir às 0h00 de quinta-feira, com possibilidade de abertura já na quarta à noite.
- 26/03/2012: Slides do capítulo 2 e Lista de Exercícios 2 disponível.
- 20/03/2012: Lista de Exercícios 1 disponível.
- 19/03/2012: Descrição do Trabalho 1 disponível.
- 13/03/2012: Link para os slides do cap. 1 disponível.
- 13/03/2012: Início do período letivo.
- 10/03/2011: Slides do capítulos 0 disponíveis.
Índice
Informações Gerais
Título: Teoria da Computação (SCC-5832)
Professor: João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
Horário de Aulas: Terças-feiras, 9h00 - 12h00. Sala 3-012
- Horário Atendimento
- Professor: Quintas, das 16 às 19h00. Local: Bloco 4, sala 4-127.
Programa do Curso
Material Didático
Capítulo 1 - Linguagens Regulares e Autômatos Finitos: http://dl.dropbox.com/u/2246874/SCC5832Cap1.pdf
- 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 - Linguagens Recursivamente Enumeráveis e Máquinas de Turing
- Capítulo 5 - Computabilidade e Complexidade
Listas de Exercícios
- Lista de Exercícios do Capítulo 1
- Lista de Exercícios do Capítulo 2
- Lista de Exercícios do Capítulo 3
- Lista de Exercícios do Capítulo 4
- Lista de Exercícios do Capítulo 5
Datas Importantes
Provas e Trabalhos
- 08/05/2012 - Prova 1
- 26/06/2012 - Prova 2
- Submissão do Trabalho T1: 27/4.
- Submissão do Trabalho T2: 25/5.
- Submissão do Trabalho T3: 22/6.
- Apresentação do Trabalho T4: 29/6.