Mudanças entre as edições de "Lógica para Computação"

Edição das 14h48min de 5 de fevereiro de 2013

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

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.