Teoria da Computação Kozen

Dexter Kozen , professor do Departamento de Ciência da Computação na Universidade de Cornell, é o autor de ” Teoria da Computação ” (2006) , que é um livro de graduação de ciência da computação . O livro está organizado como uma coleção de palestras e termina com uma série de exercícios de casa e suas soluções. Teoria da Computação

A teoria da computação é uma especialidade dentro da ciência da computação que se concentra no desenvolvimento de modelos de ambos lógicos e matemáticos , abstraindo de preocupações sobre os limites de hardware e memória.

teoria foi derivada do trabalho nas áreas fundamentais da matemática do século 20 por figuras como Kurt Godel e Alan Turing . De acordo com Richard L. Epstein e Walter A. Carnielli em seu livro, ” Computability ” (1989) , os resultantes trata da teoria computadores como “métodos para empurrar símbolos ao redor. ”

Primeira palestra

Kozen começa a primeira palestra na ” Teoria da Computação ” , estabelecendo as duas preocupações centrais do curso. Estes são o estudo de ” vários modelos computacionais e construções de programação ” ea classificação de problemas “em termos de sua complexidade inerente. ”

Historicamente, um bom ponto de partida para a discussão desses pontos é um artigo de 1936 escrito por Turing chamado ” Números computáveis ​​”. Neste artigo Turing definiu o que ele chamou de uma máquina universal (agora chamado de uma máquina de Turing em sua honra ) .

Uma máquina de Turing envolve um conjunto finito de estados e uma fita semi- infinito. A máquina lê a entrada e ( baseado em que a entrada ) imprime símbolos nas células separadas da fita . A fita é chamado de ” semi- infinito “, porque é delimitado na extremidade esquerda, mas ilimitado à direita.

Como Kozen coloca, a máquina de Turing oferece um ” modelo para a definição de tempo básica e complexidade espaço ” com definições que “refletem com bastante precisão as nossas expectativas de computação da vida real. ” teorema

de Savitch

Kozen passa a discutir o teorema de Savitch , nomeado para Walter Savitch , um professor de longa data na Universidade da Califórnia, em San Diego. Teorema de Savitch demonstra que existe um algoritmo para determinar se existe um caminho entre dois vértices em um grafo direcionado .

Kozen observa que este tem uma influência em cima, embora não seja idêntica a ” , a céu aberto mais importante pergunta em ciência da computação teórica “(o problema P = NP ) .

Por exemplo , se você definir ” P ” como o conjunto de todos os problemas que podem ser facilmente resolvidos , e” NP “, como o conjunto de todos os problemas que são difíceis de resolver , mas pode ser facilmente reconhecidos como precisão resolvido de uma vez alguém fez isso , então parece intuitivamente óbvio que “P ” e ” NP ” não são o mesmo conjunto . Se fossem o mesmo conjunto , seria um fato preocupante para os cientistas da computação , porque isso significaria que tudo é (em princípio) hackable .

No entanto, nem Savitch teoremas de Közen de nem resolver o problema.

Outro livro

Kozen também é o autor de ” o projeto e Análise de Algoritmos “, que é um livro que aborda tema semelhante para os estudantes de pós-graduação já ” familiarizadas com o clássico materiais normalmente ensinadas nos cursos de graduação de nível superior “na área .