Lógica para CC

Renata de Freitas

renatafreitas @ id.uff.br

GAN00166 - Lógica para Ciência da Computação, 2024-1

Turma B1 - terças e quintas, 14-16h

Profa Renata de Freitas (renatafreitas@id.uff.br)
Atendimento: gabinete 45, 4o andar, ala C, bloco G, Gragoatá (com agendamento por email)

Email da turma: logcc_2024-1@id.uff.br (com a participação da professora)

Monitoria: informações atualizadas no Classroom.

Calendário

Verificações de Aprendizagem

V1 - 25 de abril (quinta)

V2 - 20 de junho (terça)

2a Chamada - 27 de junho (terça)

VS - 04 de julho (terça)

Folga

30 de maio (quinta) - Corpus Christi

Referências

Leituras

Introdução:

  • O que é Lógica
  • Validade, forma e conteúdo de argumentos
  • Para quem lê em inglês, trechos do livro da Shin, 선주신 (Sun-Joo Shin, The Logical Status of Diagrams, Cambridge University Press, 1995), sobre diagramas de Euler, diagramas de Venn e diagramas de Peirce: [Shin-Euler-Venn], [Shin-Venn-Peirce].
  • Euler e a princesa (resuminho histórico): páginas 16 a 19 do TCC de João Roberto Bêta Casal, Lógica na Matemática e no cotidiano: uma reflexão sobre o papel da Lógica no ensino, Licenciatura em Matemática, UFF, 2018 [RIUFF].
  • Um exemplo de prova com diagramas de Venn: [pdf].
  • Sobre diagramas de Venn, incluindo como desenhar diagramas gerais para qualquer número de conjuntos: A Survey of Venn Diagrams (Frank Ruskey & Mark Weston, Department of Computer Science, University of Victoria, Canada).
.

Observações

Faremos duas verificações de aprendizagem: (V1) e (V2). A média (M) será a média aritmética: (M) = (V1)+(V2) / 2.

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 aparelhos eletrônicos (calculadora, celular, relógio, etc) durante a prova.

A 2a Chamada está aberta a todes e obrigatoriamente substitui uma das notas anteriores, (V1) e (V2), mesmo que a nota da 2a Chamada seja menor que as outras. Após decorridos 30 minutos de prova, você poderá optar por não fazer a 2a Chamada (se optar por não fazer, não assinará a lista de presença).

Está aprovade quem tiver média maior ou igual a 6,0 e frequência igual ou superior a 75% (que corresponde a no máximo 7 faltas).

A VS - Verificação Suplementar seguirá as regras usuais da UFF: quem tiver frequência igual ou superior a 75% e média entre 4,0 e 5,9 pode fazer a VS, e estará aprovade se tiver nota maior ou igual a 6,0 na VS.

  • Só poderá fazer uma verificação de aprendizagem quem tiver frequência suficiente (número de faltas inferior a 25%, que corresponde a no máximo 7 faltas).

    Qualquer dúvida, me escreva: renatafreitas @ id.uff.br.

  • Períodos anteriores: [2023-1] [2019-1].