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

De CInWiki
Ir para: navegação, pesquisa
m (moveu IF673 para Lógica para Computação: O título da página fica mais evidente se contiver o nome da disciplina.)
(Média das Turmas)
Linha 14: Linha 14:
 
! Ano/Semestre
 
! Ano/Semestre
 
! EE1
 
! EE1
! EE2
 
! EE3
 
 
! Média
 
! Média
 
|-
 
|-
 
| 2009.1
 
| 2009.1
 
| 7.05
 
| 7.05
| -
 
| -
 
 
| 6.86
 
| 6.86
 
|-
 
|-
 
| 2011.1
 
| 2011.1
 
| 6.43
 
| 6.43
| -
 
| -
 
 
| 6.23
 
| 6.23
 
|-
 
|-
 
| 2011.2
 
| 2011.2
 
| 6.97
 
| 6.97
| -
 
| -
 
 
| 6.57
 
| 6.57
 
|-
 
|-
 
| 2012.1
 
| 2012.1
 
| 5.15
 
| 5.15
| -
 
| -
 
 
| 5.0
 
| 5.0
 
|-
 
|-
 
| 2012.2
 
| 2012.2
 
| 6.67
 
| 6.67
| -
 
| -
 
 
| 6.47
 
| 6.47
 +
|-
 +
| 2013.1
 +
| 4.8
 +
| 4.58
 
|}
 
|}
  

Edição das 19h44min de 7 de janeiro de 2014

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 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
2013.1 4.8 4.58

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.