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-2-trabalhos [2006/12/01 11:13] marcus |
inf05508:2006-2-trabalhos [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 26: | Linha 26: | ||
| #Escolhas: 37/44 | #Escolhas: 37/44 | ||
| - | |||
| - | |||
| ===== Agenda ===== | ===== Agenda ===== | ||
| Linha 45: | Linha 43: | ||
| | 28/11 | 10.50 | Lógica modal | T {{t-a-modal.ppt|A}} | | | 28/11 | 10.50 | Lógica modal | T {{t-a-modal.ppt|A}} | | ||
| | 28/11 | 11.10 | Lógica intuitionística | T A | | | 28/11 | 11.10 | Lógica intuitionística | T A | | ||
| - | | 28/11 | 11.30 | Fundamentos e paradoxas na teoria dos conjuntos | T A | | + | | 28/11 | 11.30 | Fundamentos e paradoxas na teoria dos conjuntos | {{t-t-fptc.doc|T}} {{t-a-fptc.ppt|A}} | |
| | 28/11 | 11.50 | | | | | 28/11 | 11.50 | | | | ||