GAN 00171 - Lógica para Ciência da Computação I
GAN 00176 - Lógica Matemática
2014/1

Info
  • Turma A1, Profa. Renata de Freitas, terças e quintas, 20/22 h, sala H-301, Curso: Bacharelado em Sistemas de Informação, módulo: 50.

  • Turma A1, Prof. Petrucio Viana, terças e quintas, 16/18 h, sala IME-103, Cursos: Licenciatura e Bacharelado em Matemática (optativa), Bacharelado em Ciência da Computação e em Sistemas de Informação, Estatística.

  • Calendário

    • Antivéspera de carnaval (recesso especial do Grupo de Lógica) - 27 de fevereiro, quinta
    • Carnaval - 4 de março, terça
    • Recesso de Carnaval - 6 de março, quinta
    • EBL (recesso especial do Grupo de Lógica) - 8 e 10 de abril
    • Quinta-feira Santa - 17 de abril
    • Recesso especial do Grupo de Lógica (Tiradentes/São Jorge) - 22 de abril, terça
    • Dia do Trabalhador - primeiro de maio
    • Verificações da aprendizagem:
      • V1 - 24 de abril, quinta
      • V2 - 3 de junho, terça
      • Segunda chamada - 5 de junho, quinta
      • VS - 10 de junho, terça
      A divulgação dos resultados e a vista de prova ocorrerão sempre na aula seguinte à realização de cada prova.
  • Resultados:
    • Lógica para Ciência da Computação, Turma A1, BSI, Profa. Renata / Prof. Petrucio: txt (resultado final)
    • Lógica Matemática, Turma A1, Matemática, Prof. Petrucio: txt (resultado final)


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.
  • W. Carnielli e R. Epstein, Computabilidade, funções computáveis, lógica e os fundamentos da matemática, Editora UNESP, São Paulo, 2006.
  • H.-D. Ebbinghaus, J. Flum e W. Thomas, Mathematical Logic, 2nd. ed., Springer, Heidelberg, 1994.
  • H.B. Enderton, A mathematical introduction to logic, 2nd. ed., Academic Press, San Diego, 2001.

Textos

Para cada erro encontrado nos textos, o primeiro aluno que reportar o erro para o email freitas at vm.uff.br ganha 0,1 pontos na nota da primeira prova.

  • Texto 1A - O que é Lógica?
  • Texto 2A - Expressões e enunciados.
  • Texto 3A - Enunciados atômicos, conectivos e enunciados moleculares.
  • Texto 4A - Simbolização de enunciados com conectivos.
  • Texto 5B - Tabela de um Enunciado Simbolizado.
  • Texto 6B - Enunciados equivalentes.
  • Texto 7B - Negação e simplificação de enunciados. *new*
  • Texto 8B - Uma Aplicação do uso de Equivalências.
  • Texto 9C - Argumentos, correção e validade.
  • Texto 10C - Método das tabelas para validade.
  • Texto 11C - Tautologias.
  • Texto 12D - Enunciados Abertos e Enunciados Fechados.
  • Texto 13D - Simbolização de Enunciados com um Quantificador.
  • Texto 14D - Interpretação de um enunciado simbolizado.
  • Texto 15E - Enunciado quantificados equivalentes. [slides] *new*
  • Texto 18F - Passos lógicos.
  • Texto 19F - Demonstrações.
  • Texto 20F - Estratégias de demonstração.
  • Texto 21F - Demonstrações indiretas.

Exercícios

Links

Atualizada em 13/6/2014.