Nome, Horário e Local de Atendimento dos Monitores
(a confirmar)
Bibliografia Básica
Bibliografia Suplementar
Video a ser exibido (caso haja tempo)
Atenção:
Entscheidungsproblem.
Zum Hilbertschen Aufbau der reelen Zahlen, por W. Ackermann, publicado em Mathematische Annalen 99:118-133, 1928.
Über die Erfüllbarkeit gewisser Zählausdrücke, por W. Ackermann,
publicado em Mathematische Annalen 100:638-649, 1928.
On formally undecidable propositions of Principia Mathematica and related systems I, por K. Gödel, 1931.
O Entscheidungsproblem |
|||
Representação Finita de Linguagens |
|||
Operações: Produto, Seqüenciamento |
|||
Equivalência entre Autômatos |
|||
Lema do Bombeamento |
|||
Autômatos a Pilha |
|||
Lema do Bombeamento |
|||
Linguagens Recursivas e Recursivamente Enumeráveis |
|||
Máquinas de Turing Não-Determinísticas |
|||
Hierarquia de Chomsky Hierarquia Aritmética |
|||
ATENÇÃO: Newsgroup
Última atualização: 26 de Agosto de 2003, 09:49hs
Todas as mensagens relativas à disciplina são veiculadas
no grupo de notícias depto.cursos.grad.if689.