Mudanças entre as edições de "Lógica para Computação"
(Criou página com '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 entendime...') |
|||
| Linha 8: | Linha 8: | ||
== Monitoria == | == 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 [http://cin.ufpe.br/~mlogica/index.html aqui]. | É 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 [http://cin.ufpe.br/~mlogica/index.html aqui]. | ||
| + | |||
| + | == Média das Turmas == | ||
| + | {| class="wikitable" | ||
| + | |- | ||
| + | ! Turma | ||
| + | ! EE1 | ||
| + | ! EE2 | ||
| + | ! EE3 | ||
| + | ! Média | ||
| + | |- | ||
| + | | 2011.1 | ||
| + | | 6.97 | ||
| + | | - | ||
| + | | - | ||
| + | | 6.57 | ||
| + | |} | ||
== Tópicos Abordados == | == Tópicos Abordados == | ||
Edição das 01h33min de 4 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
| Turma | EE1 | EE2 | EE3 | Média |
|---|---|---|---|---|
| 2011.1 | 6.97 | - | - | 6.57 |
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.
