Mudanças entre as edições de "Informática Teórica"
De CInWiki
(Criou página com 'A disciplina de Informática Teórica aborda os conceitos da teoria da computação, e busca determinar quais problemas podem ser computados em um dado modelo de computação....') |
(Atualização InfoTeo) |
||
| (Uma revisão intermediária por um outro usuário não está sendo mostrada) | |||
| Linha 1: | Linha 1: | ||
| − | + | {{CourseBox | |
| + | | name = Informática Teórica | ||
| + | | ccProfessor = [[Fred Freitas]] | ||
| + | | ccWebsite = http://cin.ufpe.br/~if689 | ||
| + | | ccSemester = 4 | ||
| + | | ccCode = IF689 | ||
| + | | ccRoom = D005 | ||
| + | | ccDateTime = Ter - 10h às 12h / Qui - 08h às 10h | ||
| + | | ecProfessor = [[Ruy]] | ||
| + | | ecSemester = 6 | ||
| + | | ecCode = IF689 | ||
| + | | ecRoom = D005 | ||
| + | | ecDateTime = Ter - 08h às 10h / Qui - 10h às 12h | ||
| − | + | }} | |
| − | + | A disciplina de Informática Teórica aborda os conceitos da teoria da computação, e busca determinar quais problemas podem ser computados em um dado modelo de computação. Estuda os problemas computacionais e as classes das linguagens que podem ser produzidas e reconhecidas por modelos computacionais simbólicos. Também estuda a complexidade dos algoritmos. | |
| − | + | __TOC__ | |
| − | == | + | == Avaliação == |
| − | + | Para ciência da computação os alunos são avaliados normalmente através de 4 mini-provas e 3 provas, as mini-provas são elaboradas e corrigidas pelos monitores. | |
== Tópicos Abordados == | == Tópicos Abordados == | ||
| Linha 38: | Linha 50: | ||
* O Problema SAT | * O Problema SAT | ||
* A Classe PSPACE | * A Classe PSPACE | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Edição atual tal como às 13h12min 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
A disciplina de Informática Teórica aborda os conceitos da teoria da computação, e busca determinar quais problemas podem ser computados em um dado modelo de computação. Estuda os problemas computacionais e as classes das linguagens que podem ser produzidas e reconhecidas por modelos computacionais simbólicos. Também estuda a complexidade dos algoritmos.
Índice
Avaliação
Para ciência da computação os alunos são avaliados normalmente através de 4 mini-provas e 3 provas, as mini-provas são elaboradas e corrigidas pelos monitores.
Tópicos Abordados
1ª unidade:
- Linguagens Regulares
- Automatos Finitos Determinísticos
- Automatos Finitos não Determinísticos
- Expressões Regulares
- Linguagens não Regulares
- Linguagens Livres do Contexto
- Gramáticas
- Autômatos com Pilha
- Linguagens não Livres do Contexto
2ª Unidade:
- Máquinas de Turing
- Variantes da Máquina de Turing
- Definição de Algoritmos
- Décimo Problema de Hilbert
- Decidibilidade
- Problema da Parada
- Redutibilidade
- Teoria da Complexidade
- Classes P, NP, NP-Completos
- O Problema SAT
- A Classe PSPACE
