Anúncios
Modificação nas salas das provas de RECURSO (25 Junho)
4 junho 2012, 16:28 • Amilcar Sernadas
%%%%%%%%%%%%%%%%%%%%%%%%%%%
TESTE B Sábado 9 Junho 11h30-12h50 Salas P8 P12
Sessões de dúvidas Quarta & Sexta 6 & 8 Junho 15h00-16h00 Sala DM5.29
Revisão de provas Quinta 14 Junho 15h30-16h30 Sala DM5.29
%%%%%%%%%%%%%%%%%%%%%%%%%%%
RECURSO TESTE A Segunda 25 Junho 18h30-19h50 Salas V1.31 V1.32
RECURSO TESTE B Segunda 25 Junho 20h00-21h20 Salas V1.31 V1.32
Sessões de dúvidas Quinta & Sexta 21 & 22 Junho 15h00-16h00 Sala DM5.29
Revisão de provas Quinta 28 Junho 15h00-16h00 Sala DM 5.29
%%%%%%%%%%%%%%%%%%%%%%%%%%%
Avaliação durante a época de exames
25 maio 2012, 10:16 • Amilcar Sernadas
%%%%%%%%%%%%%%%%%%%%%%%%%%%
TESTE B Sábado 9 Junho 11h30-12h50 Salas P8 P12
Sessões de dúvidas Quarta & Sexta 6 & 8 Junho 15h00-16h00 Sala DM5.29
Revisão de provas Quinta 14 Junho 15h30-16h30 Sala DM5.29
%%%%%%%%%%%%%%%%%%%%%%%%%%%
RECURSO TESTE A Segunda 25 Junho 18h30-19h50 Salas PA2 P12
RECURSO TESTE B Segunda 25 Junho 20h00-21h20 Salas PA2 P12
Sessões de dúvidas Quinta & Sexta 21 & 22 Junho 15h00-16h00 Sala DM5.29
Revisão de provas Quinta 28 Junho 15h00-16h00 Sala DM 5.29
%%%%%%%%%%%%%%%%%%%%%%%%%%%
Resultados do Teste A
4 abril 2012, 18:51 • Amilcar Sernadas
Os resultados do Teste A já estão afixados na Secção Pautas.
Revisão de provas: sexta-feira, 13 de Abril, 15h00-16h00, sala DM5.29.
Os enunciados estão disponíveis na Secção Textos de Apoio.
A resolução será apresentada nas aulas do dia 12 de Abril.
Teste 3Abril2012 15h00-16h30
28 março 2012, 12:45 • Amilcar Sernadas
QA1.4: alunos cujo último dígito do número seja 0 a 3.
GA5: alunos cujo último dígito do número seja 4 a 9.
Cada aluno deve vir munido com folhas de exame do IST.
Serão facultadas folhas para rascunho.
Bem vindos a LM 2011-12
8 fevereiro 2012, 10:28 • Amilcar Sernadas
Bem vindos à oferta 2011-12 de Lógica Matemática (LM).
Encontram informação sobre os objectivos, programa, planeamento e bibliografia nesta página de LM no Fénix. Na Secção Textos de apoio encontram o ficheiro FLTC2nd_BOOK18Jan2012.pdf, para uso estritamente pessoal, com a versão preliminar da 2ª edição do livro Foundations of Logic and Theory of Computation, A. Sernadas e C. Sernadas, 2008, College Publications, London.
A avaliação em LM é realizada por testes:
- T1 - 3 de Abril, 15h00-16h30, QA1.4;
- T2 - 9 de Junho;
- Recursos (T1 ou T2 ou T1+T2) - 25 de Junho.
É concedida bonificação quando não for utilizada a data de recurso. A matéria objecto de T1 é a listada no planeamento das aulas teóricas 1 a 13. No caso de se vir a revelar necessário, poderão ainda ser realizadas fichas nas aulas teóricas (sem anúncio prévio e apenas com efeitos de bonificação na classificação final).
Deverão contactar imediatamente a Delegada de Ano (Margarida Vilela) para combinarem o horário das sessões de dúvidas a fixar na primeira aula teórica.
As aulas teóricas iniciam-se na terça-feira 14 de Fevereiro. As aulas práticas iniciam-se na quinta-feira 16 de Fevereiro.
Votos de bom trabalho.