Mudanças entre as edições de "Lógica para Computação"
| (10 revisões intermediárias por 7 usuários não estão sendo mostradas) | |||
| Linha 1: | Linha 1: | ||
| + | {{CourseBox | ||
| + | | name = Lógica para Computação | ||
| + | | ccProfessor = [[Anjolina Grisi]] | ||
| + | | ccWebsite = https://www.cin.ufpe.br/~if673 | ||
| + | | ccSemester = 2 | ||
| + | | ccCode = IF673 | ||
| + | | ccClass = I2 | ||
| + | | ccRoom = D003 | ||
| + | | ccDateTime = Ter - 10h às 12h / Sex - 08h às 10h | ||
| + | | ecProfessor = [[Ruy de Queiroz]] | ||
| + | | ecWebsite = https://www.cin.ufpe.br/~if673 | ||
| + | | ecSemester = 2 | ||
| + | | ecCode = IF673 | ||
| + | | ecClass = E2 | ||
| + | | ecRoom = D004 | ||
| + | | ecDateTime = Ter - 10h às 12h / Qui - 08h às 10h | ||
| + | | siProfessor = [[Sérgio Queiroz]] | ||
| + | | siWebsite = https://sites.google.com/a/cin.ufpe.br/if972/home | ||
| + | | siSemester = 2 | ||
| + | | siCode = IF972 | ||
| + | | siRoom = D003 | ||
| + | | siDateTime = Ter - 18:50h às 20:30h / Sex - 17h às 18:40h | ||
| + | }} | ||
| + | |||
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. | 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. | ||
__TOC__ | __TOC__ | ||
| − | |||
| − | |||
| − | |||
== Monitoria == | == Monitoria == | ||
| − | + | Ambos os professores possuem uma equipe de 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] caso o professor seja Ruy, e caso Anjolina [https://cin.ufpe.br/~mlogicaec aqui]. | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
== Tópicos Abordados == | == Tópicos Abordados == | ||
| Linha 55: | Linha 54: | ||
* Completude, Incompletude | * Completude, Incompletude | ||
* Aritmética de Peano | * Aritmética de Peano | ||
| − | |||
| − | |||
== Avaliação == | == Avaliação == | ||
| − | Cada unidade contém uma prova e um projeto. Durante o curso também são aplicadas | + | Cada unidade contém uma prova e um projeto. Durante o curso também são aplicadas mini-provas feitas pelos monitores, abordando os assuntos vistos em sala de aula. |
Edição atual tal como às 09h20min de 1 de novembro de 2017
Erro em Lua: Não é possível criar o processo: proc_open(/dev/null): failed to open stream: Operation not permitted
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.
Monitoria
Ambos os professores possuem uma equipe de monitores. Cada monitor fica responsável por um grupo de alunos durante todo o curso. O site da monitoria pode ser acessado aqui caso o professor seja Ruy, e caso Anjolina aqui.
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
Avaliação
Cada unidade contém uma prova e um projeto. Durante o curso também são aplicadas mini-provas feitas pelos monitores, abordando os assuntos vistos em sala de aula.
