|
|
| (3 revisões intermediárias por 3 usuários não estão sendo mostradas) |
| Linha 1: |
Linha 1: |
| − | 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. É ministrada pelo professor Ruy José Guerra Barretto de Queiroz (Ciência da Computação) e pela professora Anjolina Grisi de Oliveira (Engenharia da Computação). Para ciência da computação os alunos são avaliados através de 6 Mini-Provas, 2 Projetos e de 2 Provas, o grande número de Mini-Provas ajuda o aluno a não acumular assunto para as provas e são corrigidas pelos monitores. Você pode ir para o site da disciplina [http://www.cin.ufpe.br/~if689/ aqui]
| + | #REDIRECIONAMENTO [[Informática Teórica]] |
| − | | |
| − | __TOC__
| |
| − | | |
| − | == Professores ==
| |
| − | | |
| − | Os dois professores que ministram a disciplina são [http://www.cin.ufpe.br/~ruy/ Ruy Queiroz] e [http://www.cin.ufpe.br/~ago/ Anjolina Grisi].
| |
| − | | |
| − | == Monitoria ==
| |
| − | | |
| − | A monitoria é responsável pela correção das mini-provas então acesse também o site da monitoria [www.cin.ufpe.br/~mteorica aqui]
| |
| − | | |
| − | == 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
| |
| − | | |
| − | == Média das turmas ==
| |
