InfoLivros

Teoria da Computação

Autor: Carlos Caleiro, F. Miguel Dionísio, Paula Gouveia, Jaime Ramos, João Rasga

*Por favor, aguarde alguns segundos para o documento carregar; o tempo pode variar dependendo da sua conexão com a internet. Se preferir, você pode baixar o arquivo clicando no link abaixo.

Pagina 1 de 1
100%

Carregando PDF...

Detalhes do Documento

Título: Teoria da Computação

Autor: Carlos Caleiro, F. Miguel Dionísio, Paula Gouveia, Jaime Ramos, João Rasga

Descrição: Um percurso completo pela teoria da computação, dos autômatos e linguagens às máquinas de Turing, à computabilidade e à complexidade computacional, com o teorema de Rice, o teorema de Savitch e o problema P versus NP. Cada capítulo traz uma lista extensa de exercícios para consolidar o que você estudou.

Páginas: 149

Tamanho: 1.16 MB

Formato: PDF

Baixar PDF PDF verificado · Download seguro

Livros Similares

  • Autômatos, Computabilidade e Complexidade Computacional

    Texto introdutório e bem diagramado que parte da pergunta sobre o que é computação e avança por autômatos finitos, autômatos com pilha, gramáticas livres de contexto, máquinas de Turing, decidibilidade e NP-completude. Os exercícios ao fim de cada seção ajudam você a fixar cada conceito antes de seguir.

    Murilo Vicente Gonçalves da Silva

    Formato: PDF 120 páginas 6.23 MB
    PDF verificado · Download seguro
  • Linguagens Formais e Autômatos: Notas de Aula

    Notas de aula objetivas que vão das expressões regulares e autômatos finitos às linguagens livres de contexto, máquinas de Turing, decidibilidade e complexidade, incluindo problemas NP-completos clássicos. Um material enxuto para quem quer a teoria completa sem rodeios.

    Jerônimo C. Pellegrini

    Formato: PDF 138 páginas 0.58 MB
    PDF verificado · Download seguro
  • Autômatos e Linguagens Formais

    Notas de aula escritas com clareza que constroem passo a passo autômatos finitos, expressões regulares, lema do bombeamento, gramáticas livres de contexto, autômatos de pilha e máquinas de Turing. Os exemplos trabalhados e as listas de exercícios tornam o material ideal para estudar sozinho.

    S. C. Coutinho

    Formato: PDF 162 páginas 0.76 MB
    PDF verificado · Download seguro
  • Linguagens Formais e Autômatos

    Apostila extensa e detalhada que percorre toda a hierarquia de Chomsky, das linguagens regulares e autômatos finitos às linguagens livres de contexto, sensíveis ao contexto e recursivamente enumeráveis, com máquinas de Turing e muitos exemplos resolvidos. Começa revisando a matemática discreta necessária, então funciona bem para quem chega à disciplina pela primeira vez.

    Marcus Vinícius Midena Ramos

    Formato: PDF 385 páginas 5.01 MB
    PDF verificado · Download seguro
  • AJUDE-NOS A ESPALHAR O HÁBITO DA LEITURA!