Sumários
Aula P13
28 maio 2015, 14:30 • Inês Lynce
Lógica Proposicional II: sistema semântico - algoritmos de SAT
Não houve aula por a matéria já ter sido toda dada
28 maio 2015, 11:30 • Joao Pavao Martins
Não houve aula por a matéria já ter sido toda dada
Não houve aula
28 maio 2015, 09:30 • Maria dos Remédios Vaz Pereira Lopes Cravo
Já foi dada toda a matéria.
Aula P13
27 maio 2015, 13:00 • Inês Lynce
Lógica Proposicional II: sistema semântico - algoritmos de SAT
13ª P
26 maio 2015, 16:00 • Helena Sofia Andrade Nunes Pereira Pinto
Exercícios sobre algoritmos de SAT.