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...') |
|||
| (14 revisões intermediárias por 9 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 33: | 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.
Índice
[ocultar]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.
