Escolar Documentos
Profissional Documentos
Cultura Documentos
Semestre 2/2014
Turma A
Plano de Ensino
1
Programa
1. Linguagens regulares: aut
omatos finitos determinsticos e nao-determinsticos, expressoes regulares,
lema do bombeamento para linguagens regulares.
2. Linguagens livres-do-contexto: gram
aticas livres-do-contexto, automato com pilha, lema do bombeamento para linguagens livres-do-contexto.
3. Tese de Church-Turing: m
aquinas de Turing, variantes de maquinas de Turing, definicao de algoritmo.
4. Decidibilidade: linguagens decidveis, o problema da parada.
5. Redutibilidade: problemas indecidveis, redutibilidade por mapeamento.
6. Teorema da recurs
ao e aplicac
oes.
Objetivo
Livro-texto
Avalia
c
ao
Serao aplicadas 3 provas escritas de 10 pontos cada uma e pesos 2, 3, 3, respectivamente, e 6 testes de
1 ponto cada um e mesmo peso. A media final MF sera calculada pela formula
!
!
3
6
1X
1X
MF = 0, 8
wi P i + 2
Ti
8
6
i=1
i=1
onde wi e o peso de cada prova, Pi e a nota de cada prova e Ti e a nota de cada teste. Sera aprovado o
aluno que tiver media final maior ou igual a 5, e frequencia `as aulas maior ou igual a 75%.
As provas ser
ao aplicadas nas seguintes datas, no horario regular da aula:
Prova 1:
Prova 2:
Prova 3:
1
15/09
27/10
04/12
Os testes consistir
ao na resoluc
ao de exerccios e serao realizados nas seguintes datas, na u
ltima meia
hora da aula:
Teste
Teste
Teste
Teste
Teste
Teste
1:
2:
3:
4:
5:
6:
21/08
04/09
06/10
20/10
17/11
27/11
Observa
c
oes:
Caso o aluno n
ao possa comparecer a uma prova ou teste por doenca ou outro motivo de forca
maior, devidamente justificado e comprovado, podera faze-lo em nova data a combinar com o
professor.
Podera ser exigido do aluno a apresentacao de documento de identificacao nos dias das provas.
Havera avaliac
ao quanto `
a clareza, apresentacao e formalizacao na resolucao das questoes das
provas. A nota do aluno poder
a ser diminuda em razao da inobservancia desses parametros.
As provas ser
ao individuais e sem nenhum tipo de consulta.
MoodleUnB
Material didatico, an
uncios, resultados de avaliacoes, e outras informacoes relevantes sobre a disciplina
estarao disponveis online na plataforma Moodle da UnB, em http://www.ead.unb.br (Moodle vers
ao
2.4). O codigo de acesso `
a disciplina e ab7hh4.
Atendimento a alunos
Fora do horario de aula, o atendimento a alunos sera feito na sala do professor, nas sextas-feiras de 10:00
hs a 12:00 hs (outros hor
arios poder
ao ser agendados).
Professor