Ferramentas de Utilizador
inf05508
Diferenças
Esta página mostra as diferenças entre as duas revisões da página.
| Ambos os lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
|
inf05508 [2006/06/21 16:27] marcus |
inf05508 [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 1: | Linha 1: | ||
| - | ==== Aulas ==== | + | ====== Lógica para computação ====== |
| - | Aqui se acha uma versão dos slides das aulas (handout em preto e branco) junto com os exercícios. | + | Página discontinuada, por favor usa [[:inf05508:homepage|a nova página]]. |
| - | + | ||
| - | ^ 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|}} | {{lpc-e01.pdf|E1}} | {{lpc-s01.pdf|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|}} | {{lpc-e02.pdf|E2}} | {{lpc-s02.pdf|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|}} | {{lpc-e03.pdf|E3}} | {{lpc-s03.pdf|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|}} | {{lpc-e04.pdf|Trabalho 1}} | {{lpc-s04.pdf|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|}} | {{lpc-e05.pdf|E4}} | {{lpc-s05.pdf|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** | | {{lpc-p01.pdf|Prova 1}} | {{lpc-sp01.pdf|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|}} | {{lpc-e06.pdf|E6}} | {{lpc-s06.pdf|S6}} | | | + | |
| - | | 17 | 02/05/2006 | Semântica da lógica de predicados. | {{lpc-a17.pdf|}} | {{lpc-p.pdf|Proposta de trabalhos}} | | | | + | |
| - | | 18 | 04/05/2006 | Semântica da lógica de predicados. | {{lpc-a18.pdf|}} | {{lpc-e07.pdf|E7}} | {{lpc-s07.pdf|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|}} | {{lpc-e08.pdf|E8}} | {{lpc-s08.pdf|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|}} | {{lpc-e09.pdf|E9}} | {{lpc-s09.pdf|S9}} | | | + | |
| - | | 25 | 30/05/2006 | Árvores de refutação: Exemplos. Revisão para prova 2. | | | | | | + | |
| - | | 26 | 01/06/2006 | **Prova 2** | {{lpc-p02.pdf|Prova 2}} | {{lpc-sp02.pdf|Soluções prova 2}} | | | | | + | |
| - | | 27 | 06/06/2006 | Resultados da prova 2. | | | | | | + | |
| - | | 28 | 08/06/2006 | Apresentação dos {{inf5508-2006-1-trabalhos|trabalhos}}. | | | | | | + | |
| - | | 29 | 13/06/2006 | Apresentação dos {{inf5508-2006-1-trabalhos|trabalhos}}. | | | | | | + | |
| - | | | 15/06/2006 | Feriado: [[wppt>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
