1 | Cronograma Lógica 2018.2 | ||||
|---|---|---|---|---|---|
2 | Data | Conteúdo | Avaliações / entrega | Local / meio | Dia |
3 | 20/08 | Início das aulas | CAA101 | segunda-feira, 20 de agosto de 2018 | |
4 | 22/08 | CAA101 | quarta-feira, 22 de agosto de 2018 | ||
5 | 24/08 | apresentação, exemplos | CAA101 | sexta-feira, 24 de agosto de 2018 | |
6 | 29/08 | Reunião Colegiado Pleno | Início da lista 1 | quarta-feira, 29 de agosto de 2018 | |
7 | 31/08 | Defesa de Dissertação | sexta-feira, 31 de agosto de 2018 | ||
8 | 05/09 | lógica proposicional; codificação | CAA101 | quarta-feira, 5 de setembro de 2018 | |
9 | 07/09 | Independência do Brasil | sexta-feira, 7 de setembro de 2018 | ||
10 | 12/09 | quarta-feira, 12 de setembro de 2018 | |||
11 | 14/09 | sexta-feira, 14 de setembro de 2018 | |||
12 | 19/09 | semântica; argumentos, vinculação | CAA101 | quarta-feira, 19 de setembro de 2018 | |
13 | 21/09 | semântica; argumentos, vinculação | CAA101 | sexta-feira, 21 de setembro de 2018 | |
14 | 26/09 | Lógica proposicional: dedução | Início da lista 2 | CAA101 | quarta-feira, 26 de setembro de 2018 |
15 | 28/09 | Lógica proposicional: dedução | Entrega da lista 1 | CAA101 | sexta-feira, 28 de setembro de 2018 |
16 | 03/10 | Lógica proposicional: dedução | CAA101 | quarta-feira, 3 de outubro de 2018 | |
17 | 05/10 | aula de exercícios | CAA101 | sexta-feira, 5 de outubro de 2018 | |
18 | 10/10 | Prova 1 Entrega da lista 2 | CAA101 | quarta-feira, 10 de outubro de 2018 | |
19 | 12/10 | Padroeira do Brasil | sexta-feira, 12 de outubro de 2018 | ||
20 | 17/10 | formas normais, CNF | CAA101 | quarta-feira, 17 de outubro de 2018 | |
21 | 19/10 | Solving, tableaux | Início da lista 3 | CAA101 | sexta-feira, 19 de outubro de 2018 |
22 | 24/10 | CAA101 | quarta-feira, 24 de outubro de 2018 | ||
23 | 26/10 | SAT Solving | CAA101 | sexta-feira, 26 de outubro de 2018 | |
24 | 31/10 | lógica de predicados, codificação | CAA101 | quarta-feira, 31 de outubro de 2018 | |
25 | 02/11 | Finados | sexta-feira, 2 de novembro de 2018 | ||
26 | 07/11 | CAA101 | quarta-feira, 7 de novembro de 2018 | ||
27 | 09/11 | semantica lógica de predicados | Entrega da lista 3 Início da lista 4 | CAA101 | sexta-feira, 9 de novembro de 2018 |
28 | 14/11 | dedução em lógica de predicados | CAA101 | quarta-feira, 14 de novembro de 2018 | |
29 | 16/11 | aula de exercícios | CAA101 | sexta-feira, 16 de novembro de 2018 | |
30 | 21/11 | Prova 2 Entrega da lista 4 | CAA101 | quarta-feira, 21 de novembro de 2018 | |
31 | 23/11 | Model Checking; definição do projeto | CAA101 | sexta-feira, 23 de novembro de 2018 | |
32 | 28/11 | Model Checking; definição do projeto | CAA101 | quarta-feira, 28 de novembro de 2018 | |
33 | 30/11 | Acompanhamento do projeto | TBD | sexta-feira, 30 de novembro de 2018 | |
34 | 05/12 | Acompanhamento do projeto | TBD | quarta-feira, 5 de dezembro de 2018 | |
35 | 07/12 | Acompanhamento do projeto | TBD | sexta-feira, 7 de dezembro de 2018 | |
36 | 12/12 | Acompanhamento do projeto | TBD | quarta-feira, 12 de dezembro de 2018 | |
37 | 14/12 | Reposição | CAA101 | sexta-feira, 14 de dezembro de 2018 | |
38 | 19/12 | Apresentação do projeto | TBD | quarta-feira, 19 de dezembro de 2018 | |
39 | 21/12 | Prova final | sexta-feira, 21 de dezembro de 2018 | ||
40 | 26/12 | Último dia para implantação das notas | quarta-feira, 26 de dezembro de 2018 | ||