Preço
R$ 12,00

Stock
10
Variações
Cód. do Produto
Coleção CLE: Vol. 16
Dimensions
15 × 22 × 2 cm
Rodolfo Ertola Biraben
Tese de Church: Algumas Questões Histórico-Conceituais.
Neste livro, o leitor encontrará, inicialmente, um histórico do conceito de recursão, noção matemática tradicional que é usada para explicar a noção de calculabilidade efetiva. A seguir, é apresentado um histórico da tese de Church e, nos últimos capítulos, são analisadas algumas questões histórico-conceituais relativas à referida tese. Livro indicado tanto para os leitores interessados em lógica ou história da ciência como para os interessados nos fundamentos da informática.
Weight
148 g