Nome, Horário e Local de Atendimento dos Monitores
Francisco de Assis Mesquita Valadares (famv): 5a.f 12h-14h
Rafael Magalhães Borges (rmb2): 4a.f 12h-14h
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 |
|||
Formas Normais (Chomsky e Greibach) |
|||
Lema do Bombeamento |
|||
Linguagens Recursivas e Recursivamente Enumeráveis |
|||
Indecidibilidade e o Problema da Parada |
|||
Teorema de Rice |
|||
Hierarquia Aritmética |
|||
Problemas Intratáveis Reduções |
|||
Problemas Completos para uma Classe O problema SAT |
|||
Propriedades de Fechamento |
|||
Dealeatorização |
|||
ATENÇÃO: Newsgroup
Última atualização: 19 de Março de 2004, 08:56hs
Todas as mensagens relativas à disciplina são veiculadas
no grupo de notícias depto.cursos.grad.if689.