Mudanças entre as edições de "SCC-205"

De CoteiaWiki
(Links Importantes)
 
(16 revisões intermediárias por 4 usuários não estão sendo mostradas)
Linha 1: Linha 1:
<blockquote style="background: white; border: 1px solid red; padding: 1em;">
+
<center>
+
No Jupiter-web: [[https://uspdigital.usp.br/jupiterweb/obterDisciplina?sgldis=scc0205&nomdis= ementa]]
<font size=+34 color=red>
 
*'''SCC-205 - Teoria da Computação e Linguagens Formais - Turma A - prof. João Luís'''
 
</font></center>
 
</blockquote>
 
  
 +
== 2º Semestre 2012 ==
  
Linguagens Regulares: Autômatos finitos determinísticos e não-determinísticos; expressões regulares; técnicas para identificar e descrever linguagens regulares; técnicas para mostrar que uma linguagem não é regular; propriedades de tais linguagens. 2. Linguagens Livres de Contexto: Gramáticas Livres de Contexto; derivações; árvores de derivação; ambigüidade; autômatos a pilha; propriedades de tais linguagens; técnicas para mostrar que uma linguagem não é livre de contexto. Linguagens Dependentes de Contexto e Linguagens com Estrutura de Frase: Máquinas de Turing; definições básicas e sua relação com a noção de um algoritmo/programa. Poder das Máquinas de Turing e Tese de Church-Turing. Indecibilidade: Máquinas de Turing Universais; Limitações sobre a nossa habilidade de computar; problemas indecidíveis. Teoria de Complexidade: Complexidade de Tempo, Complexidade de Espaço, Intratabilidade.
+
*[[scc-205(joaoluis)|Teoria da Computação e Linguagens Formais]] - (turma BCC-A) - Prof. João Luís Garcia Rosa
  
 +
== 2º Semestre 2011 ==
  
<center><font size=+100>'''Quadro de Avisos'''</font></center>
+
*[[scc-205(gracan)A|Teoria da Computação e Linguagens Formais]] - (turma BCC-A) - Profa. Maria das Graças Volpe Nunes
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
+
*[[scc-205(sandra)B|Teoria da Computação e Linguagens Formais]] - (turma BCC-B) - Profa. Sandra Maria Aluisio
*02/08/2010: Inicio do período letivo.
 
</blockquote>
 
  
== Informações Gerais ==
+
== 2º Semestre 2010 ==
'''Título''': Teoria da Computação e Linguagens Formais (SCC-205) - Turma A - Ciências de Computação
 
  
'''Professor''': Dr. João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
+
*[[scc-205(joaoluis)|Teoria da Computação e Linguagens Formais]] - (turma BCC-A) - Prof. João Luís Garcia Rosa
 
+
*[[scc-205(sandra)|Teoria da Computação e Linguagens Formais]] - (turma BCC-B) - Profa. Sandra Maria Aluisio
'''Aluno PAE''': Fernando Alva Manchego (falva at icmc dot usp dot br)
 
 
 
'''Monitor''':
 
 
 
'''Horário de Aulas''':
 
; Horário Atendimento :
 
: Professor: Quartas, das 10 às 12h00 e das 18 às 19h00. Local: Bloco 3, sala 3-153.
 
: Aluno PAE: Sextas, das 15 às 18h00. Local: Laboratório de ICMC Bloco 1, sala 1-114.
 
: Monitor: Quartas, das 15 às 18h00. Local: Sala do lado da biblioteca do ICMC. Envie e-mail antes para agendar horário.
 
 
 
== Programa do Curso ==
 
 
 
[[Media:SCC120Cap0.pdf|Programa do Curso (apresentação)]]
 
 
 
== Material Didático ==
 
 
 
*[[Media:SCC120Cap1.pdf| Capítulo 1 - Introdução à Computação e Introdução à Programação]]
 
 
 
== Trabalhos Práticos ==
 
 
 
 
 
*Tutorial para submissão dos trabalhos
 
**[[Sistema Boca para disciplina SCC-0120]]
 
 
 
== Listas de Exercícios ==
 
 
 
== Datas Importantes ==
 
=== Provas ===
 
*02/09/2010 - Prova 1
 
*21/10/2010 - Prova 2
 
*02/12/2010 - Prova 3
 
 
 
=== Apresentação dos Trabalhos em grupo ===
 
*27/09/2010 a 01/10/2010 - Trabalho 1
 
*22/11/2010 a 26/11/2010 - Trabalho 2
 
 
 
== Notas ==
 
 
 
== Links Importantes ==
 
 
 
No Jupiter-web: [[http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis=SCC0205&nomdis=]]
 

Edição atual tal como às 18h37min de 24 de novembro de 2014

No Jupiter-web: [ementa]

2º Semestre 2012

2º Semestre 2011

2º Semestre 2010