23/05/2016 lógica

/*
_________________________________________________________________________________________________________________________
dias de aula restantes:
_________________________________________________________________________________________________________________________
1-23/5-semântica de lógica de predicados
diz se pode ser verdade, não se é verdade ou falso
tem no ruth ryan e no celso finger melo

2-30/5-final de assuntos da prova 2
3-06/6-final de assuntos da prova 2
4-13/6-prova 2
5-20/6-recuperação prova 1
6-27/6-prova final
7-04/7- nenhuma atividade marcada
_________________________________________________________________________________________________________________________
0,8 <= T <= 1,2
M=(p1+p2)/2*T
F= 0.4*F + 0.6*M
_________________________________________________________________________________________________________________________
7 dias. 1 para prova, 1 para recuperação da 1ª, 1 para final 4
_________________________________________________________________________________________________________________________
EMENTA
_________________________________________________________________________________________________________________________
-introdução à lógica computacional
-aplicações de lógica para computação
-sintaxe e semântica da lógica proposicional
-sistemas dedutivos para lógica proposicional
-formalização e verificação de argumentos em lógica proposicional (na verdade parte do ítem anterior)
-sintaxe e semântica da lógica de predicados
_________________________________________________________________________________________________________________________
só falta 1 assunto obrigatório faltando
_________________________________________________________________________________________________________________________
*/