|
|
| (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=]]
| |
