Mudanças entre as edições de "Lógica para Computação"
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 | ||
| − | |||
| − | |||
! 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.
