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