Cronograma-ITC

	A	B	C
1	Introdução à Teoria da Computação 2019-1
2
3	AULA	DATA	CONTEÚDO
4	1	12/03/2019	Apresentação da disciplina Introdução a Conjuntos, relações e linguagens.
5	2	15/03/2019	Conjuntos. Relações e funções. Tipos especiais de relações binárias.
6	3	19/03/2019	Conjuntos finitos e infinitos. Fechamentos e algoritmos.
7	4	22/03/2019	Alfabetos e linguagens. Representações finitas de linguagens.
8	5	26/03/2019	Alfabetos e linguagens. Representações finitas de linguagens.
9	6	29/03/2019	1o Teste da 1a VA
10	7	02/04/2019	Introdução a Autômatos finitos. Autômatos finitos determinísticos.
11	8	05/04/2019	Autômatos finitos não-determinísticos.
12	9	09/04/2019	Autômatos finitos e expressões regulares.
13	10	12/04/2019	Linguagens regulares e não-regulares. Minimização de estados.
14	11	16/04/2019	2o Teste da 1a VA
15	12	23/04/2019	Gramáticas livres de contexto
16	13	26/04/2019	Árvores de análise sintática
17	14	30/04/2019	Autômatos de pilha
18	15	03/05/2019	Autômatos de pilha e gramáticas livres de contexto
19	16	07/05/2019	Autômatos de pilha e gramáticas livres de contexto
20	17	10/05/2019	Determinismo e análise sintática
21	18	14/05/2019	Determinismo e análise sintática
22	19	17/05/2019	Determinismo e análise sintática
23	20	21/05/2019	Determinismo e análise sintática
24	21	24/05/2019	Exercícios
25	22	28/05/2019	1o Teste para 2a VA
26	23	31/05/2019	Máquinas de Turing. Definição de uma máquina de Turing.
27	24	04/06/2019	Computação com máquinas de Turing.
28	25	07/06/2019	Extensões das máquinas de Turing.
29	26	11/06/2019	Gramáticas. Funções numéricas.
30	27	14/06/2019	Indecidibilidade. A tese de Church-Turing. Máquinas de Turing universais.
31	28	18/06/2019	O problema da parada. Revisão.
32	29	21/06/2019	2o Teste da 2a VA
33	30	25/06/2019	Prova da 3a VA
34	31	02/07/2019	Prova Final
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100