Trata-se de um livro que une a Teoria da Computação com a Lógica Simbólica. Inicia-se o corpo do texto expondo um novo modelo computacional, composto pelo que o autor chama de algoritmos algébricos. Um algoritmo algébrico computa números reais, ao invés de cadeias. Isso possibilita que importemos para a Teoria da Computação todo o conhecimento adquirido em Álgebra, Cálculo Integral e Diferencial e Matemática Discreta. ... Ler mais +