Mudanças entre as edições de "Lógica para Computação"
(→Média das Turmas) |
(→Média das Turmas) |
||
| Linha 37: | Linha 37: | ||
|- | |- | ||
| 2013.1 | | 2013.1 | ||
| − | | 4. | + | | 4.80 |
| 4.58 | | 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.80 | 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.
