Lógica para Computação

De CInWiki
Revisão de 20h33min de 15 de julho de 2013 por Davn (discussão) (moveu IF673 para Lógica para Computação: O título da página fica mais evidente se contiver o nome da disciplina.)
Ir para: navegação, pesquisa

O aprendizado da lógica auxilia os estudantes no raciocínio, na compreensão de conceitos básicos, na verificação formal de programas e melhor os prepara para o entendimento do conteúdo de tópicos mais avançados. Este curso busca unir a computação com a lógica matemática, estudando tópicos como teoria dos conjuntos e álgebra booleana, servindo como uma continuação do que foi visto em Matemática Discreta.

Professor

O professor que ministra a disciplina é Ruy de Queiroz.

Monitoria

É geralmente formada por 10 monitores. Cada monitor fica responsável por um grupo de alunos durante todo o curso. O site da monitoria pode ser acessado aqui.

Média das Turmas

Ano/Semestre EE1 EE2 EE3 Média
2009.1 7.05 - - 6.86
2011.1 6.43 - - 6.23
2011.2 6.97 - - 6.57
2012.1 5.15 - - 5.0
2012.2 6.67 - - 6.47

Tópicos Abordados

Os principais tópicos estudados estão citados abaixo.

1ª unidade:

  • Álgebra de Boole
  • Conjuntos Indutivamente Definidos
  • Fecho Indutivo
  • Conjuntos Livremente Gerados
  • Teorema da Extensão Homomórfica Única
  • O Conceito de Satisfatibilidade
  • Método dos Tableaux
  • Método da Resolução
  • Dedução Natural
  • Teorema da Compaccidade

2ª Unidade:

  • Lógica de Primeira Ordem
  • Homomorfismos e Imersões
  • Forma Prenex
  • Forma Normal de Skolem
  • Teorema de Herbrand
  • Teorema de Löwenheim-Skolem
  • Completude, Incompletude
  • Aritmética de Peano

Mais informações no site da disciplia: Lógica para Computação

Avaliação

Cada unidade contém uma prova e um projeto. Durante o curso também são aplicadas por volta de 7 mini-provas feitas pelos monitores, abordando os assuntos vistos em sala de aula.