FUNDAMENTOS DA PROGRAMACAO LOGICA E FUNCIONAL - O PRINCIPIO DE RESOLUCAO E
Moura de
De R$ 59,00
Por R$ 52,51
ComprarDisponibilidade:
Produto em Estoque, após confirmação de pagamento, envio imediato. Confira os prazos de entrega abaixo.
Um dos aspectos mais relevantes da ciência da computação é o desenvolvimento de arcabouços matemáticos robustos para a implementação de novas linguagens de computação. Ainda que as primeiras linguagens de programação tenham sido desenvolvidas com técnicas ad hoc, definidas por restrições de hardware, em meados do século XX, os pilares dessa tecnologia foram elaborados no início desse século. Matemáticos como Alonzo Church e Alan Turing , trabalhando em fundamentos da computação relacionados com a própria noção de computabilidade, elaboraram modelos computacionais como as máquinas de Turing e o cálculo lambda, modelos sob os quais importantes questões sobre os fundamentos matemáticos e da semântica da computação foram respondidas.
Ficha Ténica
Editora: UNB
Especialidade: INFORMATICA
ISBN: 9788523011413
Páginas: 0232
Ano: 2014
Edição: 1
Encadernação: Capa comum
Entrega para todo o Brasil
Parcele em até 6x sem juros
Compras com Segurança Total