Índice
-
- INF 5010: Otimização combinatória
- INF 5016: Algoritmos avançados
- INF 5023: Técnicas de busca heurística.
Ferramentas de Utilizador
Barra Lateral
inf05508
Esta é uma versão antiga do documento!
Aulas
Aqui se acha uma versão dos slides das aulas (handout em preto e branco) junto com os exercícios.
| No. | Data | Tópicos | Handouts | Exercícios | Soluções | (Readings) | |
|---|---|---|---|---|---|---|---|
| 1 | 07/03/2006 | Administrativa, Introdução. | a01.pdf | ||||
| 2 | 09/03/2006 | Dedução natural: Regras de prova e exemplos 1. | lpc-a02.pdf | E1 | S1 | ||
| 3 | 14/03/2006 | Dedução natural: Regras de prova e exemplos 2. | lpc-a03.pdf | ||||
| 4 | 16/03/2006 | Dedução natural: Exemplos e leis importantes. | lpc-a04.pdf | E2 | S2 | ||
| 5 | 21/03/2006 | Dedução natural: Leis importantes. O sistema de Hilbert. | lpc-a05.pdf | ||||
| 6 | 23/03/2006 | Semântica da lógica propositional. | lpc-a06.pdf | E3 | S3 | ||
| 7 | 28/03/2006 | Indução matemática. | lpc-a07.pdf | ||||
| 8 | 30/03/2006 | Consistência e completude da lógica propositional. | lpc-a08.pdf | Trabalho 1 | Solução trabalho 1 | ||
| 9 | 04/04/2006 | Árvores de refutação. Introdução e exemplos. | lpc-a09.pdf | ||||
| 10 | 06/04/2006 | Árvores de refutação. Formas normais . | lpc-a10.pdf | E4 | S4 | ||
| 11 | 11/04/2006 | História e lógicas não-classicas. | lpc-a11.pdf | ||||
| 12 | 13/04/2006 | Revisão da primeira parte. | |||||
| 13 | 18/04/2006 | Prova 1 | Prova 1 | Soluções prova 1 | |||
| 14 | 20/04/2006 | Resultados da prova 1. | |||||
| 15 | 25/04/2006 | Introdução à lógica de predicados. | lpc-a15.pdf | ||||
| 16 | 27/04/2006 | Introdução à lógica de predicados. Linguagem formal. | lpc-a16.pdf | E6 | S6 | ||
| 17 | 02/05/2006 | Semântica da lógica de predicados. | lpc-a17.pdf | Proposta de trabalhos | |||
| 18 | 04/05/2006 | Semântica da lógica de predicados. | lpc-a18.pdf | E7 | S7 | ||
| 19 | 09/05/2006 | Semântica da lógica de predicados. Introdução a dedução natural. | lpc-a19.pdf | ||||
| 20 | 11/05/2006 | Dedução natural: Regras e exemplos. | lpc-a20.pdf | E8 | S8 | ||
| 21 | 16/05/2006 | Dedução natural: Regras e exemplos. | lpc-a21.pdf | ||||
| 22 | 18/05/2006 | Dedução natural: Teoremas importantes. | lpc-a22.pdf | ||||
| 23 | 23/05/2006 | Dedução natural: Exemplos. Árvores de refutação: Regras e exemplos. | lpc-a23.pdf | ||||
| 24 | 25/05/2006 | Arvóres de refutação: Regras e exemplos. | lpc-a24.pdf | E9 | S9 | ||
| 25 | 30/05/2006 | Árvores de refutação: Exemplos. Revisão para prova 2. | |||||
| 26 | 01/06/2006 | Prova 2 | Prova 2 | Soluções prova 2 | |||
| 27 | 06/06/2006 | Resultados da prova 2. | |||||
| 28 | 08/06/2006 | Apresentação dos trabalhos. | |||||
| 29 | 13/06/2006 | Apresentação dos trabalhos. | |||||
| 15/06/2006 | Feriado: Corpus_Cristi | ||||||
| 30 | 20/06/2006 | Visão geral, lógica de segunda ordem, complexidade, Administrativa | lpc-a30.pdf | ||||
| 27/06/2006 | Revisão, exercícios e perguntas. | ||||||
| 04/07/2006 | Prova de recuperação |
inf05508.1150918073.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:45 (Edição externa)
Ferramentas de Página
Excepto menção em contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International
