Turma A1, 2019-1
Segundas e quartas, 14-16h
Sala IC-308, Praia Vermelha
V1 - 08 de maio
V2 - 03 de julho
2a Chamada - 10 de julho
VS - 15 de julho
Recesso de S�o Jorge - 22 de abril
Trabalhador e Trabalhadora - 01 de maio
S�o Jo�o - 24 de junho (dia letivo na UFF, mas n�o teremos aula de L�gica para Ci�ncia da Computa��o para a Turma A1)
Jo�o Nunes de Souza, L�gica para Ci�ncia da Computa��o, Campus, Rio de Janeiro, 2002.
Defini��es indutivas e recursivas.
Transforma��es e nega��o usando equival�cias.
O M�todo das Tabelas para Validade.
Celina Figueiredo, Resolver ou Verificar? Uma pergunta que vale um milh�o de d�lares. Ci�ncia Hoje 48/287:42-46, 2011.
20 de mar�o - Lista 1.
27 de mar�o - Lista 2 e Lista 3.
04 de abril - Lista 4, Lista 8 e Lista 7. Verifique a validade dos seguintes argumentos, usando o M�todo das Tabelas em LC: (1) N�o vou � praia quando chove. Se chove e faz calor, vou ao cinema. Quando vou � praia, tomo sorvete. No cinema, como pipoca. Logo, se n�o como pipoca, ent�o n�o faz calor. (2) Ou chove ou faz calor, nunca ambos. Se faz calor, vou � praia. Se chove, ao cinema. Vou � praia. Logo, n�o vou ao cinema. (3) N�o vou � praia quando chove. Se chove e faz calor, vou ao cinema. Quando vou � praia, tomo sorvete. No cinema, como pipoca. Logo, se n�o como pipoca e chove, ent�o n�o faz calor. (4) Ou chove ou faz calor, nunca ambos. Se faz calor, vou � praia. Se chove, ao cinema. Logo, vou ao cinema sempre que n�o vou � praia.
15 de abril - Lista A. Exerc�cios do livro-texto (edi��o 2002): Cap�tulo 1 (p�ginas 8 e 9 + Item 7': Apresente uma defini��o por indu��o com legibilidade �nica para o conjunto das f�rmulas de LC em nota��o polonesa e defina por recurs�o a tradu��o de uma f�rmula de LC para a nota��o polonesa e vice-versa.), Cap�tulo 2 (p�ginas 20 a 24), Cap�tulo 3 (p�ginas 40 a 44 - corre��o no Item 18: trocar "argumentos" por "senten�as"), Cap�tulo 4 (p�ginas 55 a 60), Cap�tulo 6 (p�ginas 91 a 93).
24 de maio - Lista A - Recurs�o. Lista F.
29 de maio - Lista H. Exerc�cios do livro-texto (edi��o 2002): Cap�tulo 10 (p�ginas 195 a 198), Cap�tulo 11 (p�ginas 211 a 214), Cap�tulo 13 (p�ginas 241 a 244).
A toler�ncia m�xima de atraso em dias de verifica��o de aprendizagem � de 30 minutos. Por causa disso, n�o � permitido entregar a prova e sair antes de decorridos 30 minutos de prova.
N�o � permitido durante a prova sair e retornar � sala (salvo em situa��o de urg�ncia).
N�o � permitido usar calculadora ou celular durante a prova.
A 2a Chamada est� aberta a todas e todos e obrigatoriamente substitui a menor nota dentre V1 e V2, mesmo que a nota da 2a Chamada seja menor que as outras duas. Ap�s decorridos 30 minutos de prova, a aluna ou aluno poder� optar por n�o entregar a 2a Chamada (esta aluna ou aluno n�o assinar� a lista de presen�a).
Quem entregar a lista de exerc�cios do Labirinto (24 de junho) at� a data da Segunda Chamada poder� ter abono de faltas. (Consulte a lista de alunos com frequ�ncia insuficiente.)