O objetivo do Teórica Ciência da Computação é desenvolver e demonstrar a propriedades universais de sistemas de computador ou leis que regem mecanismos de processamento de informações. E dizemos universal Estamos nos referindo àqueles cujo campo de validade se estende para além nossa experiência científica: não interessados ??em estabelecer leis que são aplicáveis ??apenas a computadores como a conhecemos (com condições científicas, ciência da computação econômica e cultural), mas também como pode ser no futuro. Por isso, se esforça para articular os princípios que permanecem válidos se a nossa visão do que o computador está alargando ir por causa do progresso científico e tecnológico. Em Ciência da Computação Teórica, visa teoria da computabilidade estudar os limites teóricos de sistemas computacionais. Seu objetivo central é classificar problemas e computável incalculável, onde computável chamamos um problema se ele suporta solução de computação. este objectivo pode ser (e é) abordada de duas maneiras: positivo, verificando até que ponto Você pode chegar, encontrando cada vez mais amplas classes de problemas computável, e negativos, determinando onde não pode passar através do técnicas de design para demonstrar uncomputability outras classes problemas. No primeiro caso, o método é relativamente simples, e é o mesmo que usado em muitos ramos da Computação Aplicada: se provar que um problema pode ser resolvido pelo computador, determinamos quais são os meios de comunicação. Por exemplo, se mostrar que o problema de bater as piscinas é computável, encontramos um algoritmo que show. Para fazer isso, podemos usar todo o conhecimento do problema que parece relevante, podemos dar ao luxo de usar qualquer linguagem susceptível de programação pode ser executado em qualquer computador, podemos usar todos os elementos tecnológicos que exigem e escolher o sistema de computador que se adapte mais informações (o mais potente, melhor) para encontrar a solução. Mesmo podemos desenvolver um computador específico para resolver o problema. Em suma, a única coisa importante vai ser capaz de demonstrar que realmente encontrado o algoritmo sempre resultados corretos quinielas.