GAN 00166 - Lógica para Ciência da Computação
2014/2

Atenção
~~~~~~~~~~~~~~~~
Mudança no calendário
~~~~~~~~~~~~~~~~
02 de dezembro - V2 / 2a chance (para quem quiser, todos estão convidados)
04 de dezembro - 2a chamada e vista de prova das V2

Info
  • Terças e quintas, 11/13 h, Curso: Bacharelado em Ciência da Computação.
  • Turma A1, Prof. Petrucio, sala H-203.
  • Turma B1, Profa. Renata de Freitas, sala H-302.
  • Calendário
    • Datas especiais para o Grupo de Lógica (dias sem aula):
    • Datas especiais UFF (dias sem aula):
      • 14 e 16 de outubro - Semana Acadêmica UFF
      • 28 de outubro - Funcionário Público
      • 20 de novembro - Zumbi (Consciência Negra)
    • Verificações da aprendizagem:
      • 07 de outubro - V1
      • 25 de novembro - V2
      • 02 de dezembro - V2 / 2a chance
      • 04 de dezembro - 2a chamada e vista de prova das V2
      • 09 de dezembro - VS
      A divulgação dos resultados e a vista de prova ocorrerão sempre na aula seguinte à realização de cada prova.
  • Resultados:
    • Turma A1, Prof. Petrucio: txt *incluindo notas da VS*
    • Turma B1, Profa. Renata: txt *incluindo resultado final, já lançado no IdUFF*
  • Monitoria:
    • Atendimento terças (IME) e quintas (IC), 14/18h.
    • Monitor: Romulo.
    • Grupo no Facebook: Monitoria de Lógica para Ciência da Computação.

Referências
  • F.S.C. da Silva, M. Finger, A.C.V. de Melo, Lógica para Computação. Thomson, São Paulo, 2006.
  • J.N. de Souza, Lógica para Ciência da Computação. 2a. edição, Elsevier, Rio de Janeiro, 2008.
  • M. Martins, Lógica, uma aborgadem introdutória. Ciência Moderna, Rio de Janeiro, 2012.
  • M. Huth, M. Ryan, Lógica em Ciência da Computação, 2a. ed. LTC, Rio de Janeiro, 2008.

Notas de aula

Para cada erro encontrado nas notas de aula, ou nos slides, ou nas listas, ou no quadro (durante as aulas), o primeiro aluno que reportar o erro para o email freitas at vm.uff.br ganha 0,1 pontos na nota da primeira prova.

  • Aula 1 - Definições indutivas e definições recursivas. [texto, slides *v.29/8*]
  • Aula 2 - Sintaxe de LC. [texto *v.27/8*, slides *v.8/9*]
  • Aula 3 - Semântica de LC. [texto, slides *v.8/9*]
  • Aula 4 - Simbolização em LC. [texto, slides]
  • Aula 5 - Equivalência em LC. [texto, slides *v.7/10*]
  • Aula 6 - Transformação usando equivalências em LC. [texto, slides *v.30/9*]
  • Aula 7 - Consequência semântica em LC. [slides *v.30/9*]
  • Aula 8 - Validade de argumentos em LC. [slides]
  • Aula 9 - Demonstrações diretas em LC. [slides]
  • Aula 10 - Demonstrações indiretas em LC. [slides *v.05/11*]
  • Aula 11 - Tautologias e refutação em LC. [texto, slides]
  • Aula 12 - Lógica dos Quantificadores: domínios finitos. [slides *v.5/11*]
  • Aula 13 - Lógica dos Quantificadores: domínios infinitos. [slides *v.5/11*]
  • Aula 14 - Lógica dos Quantificadores: sintaxe. [slides *v.5/11*]
  • Aula 15 - Lógica dos Quantificadores: demonstrações - para todo. [slides *v.5/11*]
  • Aula 16 - Lógica dos Quantificadores: demonstrações - existe. [slides *v.5/11*]
  • Aula 17 - Refutação em LQ. [texto, slides]

Exercícios
  • Lista 1 - Definições indutivas e definições recursivas. *v.9/9*
  • Lista 2 - Sintaxe de LC.
  • Lista 3 - Semântica de LC.
  • Lista 4 - Simbolização em LC.
  • Lista 5 - Equivalência em LC. *v.9/9*
  • Lista 7 - Consequência semântica em LC. *v.22/9*
  • Lista 8 - Validade de argumentos em LC. *v.22/9*
  • Lista 9 - Demonstrações diretas em LC.
  • Lista 10 - Demonstrações indiretas em LC.
  • Lista A - LC - Mais exercícios. *v.7/10*
  • Lista B - LC - Outros exercícios.
  • Lista 14 - Simbolização em LQ. *v.5/11*
  • Lista 15 - Demonstrações em LQ. *v.5/11*
  • Lista 16 - Demonstrações em LQ. *v.5/11*
  • Lista C - Mais demonstrações em LQ. *v.5/11*

Links
contador gratuito de visitas

Atualizada em 12/12/2014.