Novos Paradigmas Computacionais, Mudando Concepções do que é Computável

Esta excelente exposição de um assunto complexo examina os novos desenvolvimentos na teoria e na prática da computação a partir de uma perspectiva matemática, com tópicos que vão da computabilidade clássica à complexidade, da biocomputação à computação quântica. Este livro é adequado para pesquisadores e estudantes de pós-graduação em matemática, filosofia e ciência da computação com interesse especial em lógica e questões fundamentais. Mais úteis para estudantes de pós-graduação são os artigos de pesquisa sobre análise computável e computação biológica. Lógicos e físicos teóricos também se be...