Mudanças entre as edições de "SCE-5832(gracan)"

Edição das 12h53min de 24 de fevereiro de 2010

- Data de Início das aulas: 08/março

-

-

@@ Linha 9: / Linha 9: @@
 === <font color = "green"> Aula a aula: </font> ===
--[[Arquivo:Teste2.pdf ]]
+#- ''10 Mar'' – Apresentação da Disciplina (Prof. João Luis Rosa)
+#-'' 17 Março'' – Noções de Complexidade
+#- ''24 Março'' – Conceitos de Linguagens Formais. Autômatos Finitos (1)
+#- ''31 Março'' – Semana Santa - não há aula
+#- ''7 Abril'' -  Autômatos Finitos Determinísticos e Não-Determinísticos (2)
+#- ''14 Abril'' - Expressões Regulares e Propriedades (Lema do Bombeamento)
+#- ''28 Abril'' - '''1a. Prova'''
+#- ''5 Maio'' – Propriedades de Decisão das LR. Minimização de AF.
+#- ''12 Maio'' - Gramáticas Livres de Contexto e Autômatos a Pilha
+#- ''19 Maio'' -  Linguagens Livres de Contexto
+#- ''26 Maio'' - '''2a. Prova'''
+#- ''2 Junho'' -  Indecidibilidade e Máquinas de Turing
+#- ''9 Junho'' -  Poder Computacional das Máquinas de Turing
+#- ''16 Junho'' -  Indecidibilidade
+#- ''23 Junho'' - Intratabilidade
+#- ''30 Junho'' - '''3a. Prova'''
 === <font color = "green"> Listas de Exercícios </font> ===