L�gica para Ci�ncia da Computa��o

Renata de Freitas

freitas @ vm.uff.br

Todas as Ci�ncias s�o Humanas, at� as Exatas!

Audit�rio do IME-UFF (Campus do Gragoat�, Bl. G), 3 de julho, 18h
- cartaz do evento -

Informa��es

Turma A1, 2019-1

Segundas e quartas, 14-16h

Sala IC-308, Praia Vermelha

Monitoria

Daianny, segundas: 7-9h e 16-18h, ter�as: 14-18h, sala de monitoria do IC.
Reposi��o quinta, dia 6 de junho, 14-18h, sala de monitoria do IC.

Calend�rio

Verifica��es de Aprendizagem

V1 - 08 de maio

V2 - 03 de julho

2a Chamada - 10 de julho

VS - 15 de julho

Folgas

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)

Livro-texto

Jo�o Nunes de Souza, L�gica para Ci�ncia da Computa��o, Campus, Rio de Janeiro, 2002.

Textos

Defini��es indutivas e recursivas.

L�gica dos Conectivos:

Sintaxe.

Sem�ntica.

Simboliza��o.

Equival�ncia sem�ntica.

Transforma��es e nega��o usando equival�cias.

Argumentos e validade.

O M�todo das Tabelas para Validade.

Demonstra��es diretas.

Demonstra��es indiretas.

Tautologias.

L�gica dos Quantificadores:

Interpreta��es em LQ.

�rvores de refuta��o em LQ.

Demonstra��es em LQ.

P=NP:

Celina Figueiredo, Resolver ou Verificar? Uma pergunta que vale um milh�o de d�lares. Ci�ncia Hoje 48/287:42-46, 2011.

Exerc�cios

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).

Lista 9.

Lista 10.

Lista 11.

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).

24 de junho - Labirinto (v�deo).

Resultados

Gabarito V1.

Notas V1.

Observa��es

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.)