GAN 00166 - Lógica para Ciência da Computação
GAN 00171 - Lógica para Ciência da Computação I
2013/1

Info
  • Turma A1, Profa. Renata de Freitas, 11/13 h, terças (sala H-406) e quintas (sala H-404), UFASA da Praia Vermelha, Curso: Bacharelado em Ciência da Computação, módulo: 40. Atendimento: terças e quintas, 16/17h, Sala de convivência - UFASA da Praia Vermelha.
  • Turma B1, Prof. Petrucio Viana, 11/13 h, terças e quintas, sala H-201 (UFASA, Praia Vermelha), Curso: Bacharelado em Ciência da Computação, módulo: 40.
  • Turma A1, Prof. Giuseppe, 20/22 h, terças e quintas, sala IME-204 (Valonguinho), Curso: Bacharelado em Sistemas de Informação, módulo: 50.

  • Calendário
    • Início das aulas - 23/04/2013, terça
    • Folga - 30/05/2013, quinta (Corpus Christi)
    • Verificações da aprendizagem (para BCC - Profs. Renata e Petrucio):
      • V1 - 20/06/2013, quinta
      • V2 - 01/08/2013, quinta
      • VS - 08/08/2013, quinta
  • Monitoria:
    • Atendimento terças e quintas, 14/18h, na sala de monitoria do Instituto de Computação.
    • Monitor: Víviann Magaly (viviannmagaly at id.uff.br).
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 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 - Lógica Sentencial: sintaxe. [slides]
  • Aula 2 - Lógica Sentencial: semântica. [slides]
  • Aula 3 - Lógica Sentencial: principais problemas. [slides]
  • Aula 4 - Lógica Sentencial: simbolização. (versão de 21/5/2013) [slides]
  • Aula 5 - Lógica Sentencial: equivalência. [slides] (versão de 27/5/2013)
  • Aula 6 - Lógica Sentencial: validade de argumentos. [slides]
  • Aula 6 - Lógica Sentencial: validade de argumentos. [slides]
  • Aula 7 - Lógica Sentencial: consequência semântica. [slides]
  • Aula 8 - Lógica Sentencial: demonstrações diretas. [slides]
Exercícios
Além das listas de exercícios que você vai encontrar no final das notas de aula, em cada aula, a seguir temos algumas listas de exercícios complementares.
  • Lista 1 - Sintaxe de LS (versão de 13/5/2013)
  • Lista 2 - Semântica de LS
  • Lista 5 - Equivalência em LS
  • Lista 6 - Validade de argumentos em LS
Links
Atualizada em 28/5/2013.