000			03008nam a22003134a 4500
999			_c35340 _d35340
001			001611877
003			BR-ReIFE
005			20211020143203.0
008			161208s2014 bl a g 1 0 por
020			_a9788523011413
040			_aBR-RjBN _bpor _cBR-ReIFE _dBR-ReIFE
041			_apor _hpor
082	0	4	_a005.13 _bA973f
090			_a005.13 _bA973f
100	1		_aAyala-Rincón, Mauricio _d1962- _98033
245	1	0	_aFundamentos da programação lógica e funcional : _bo princípio de resolução e a teoria de reescrita / _cMauricio Ayala-Rincón e Flávio Leonardo Cavalcanti de Moura.-
260			_aBrasília: _bEd. UnB, _c2014.
300			_a229p. : _bil.; _c28cm.
500			_aInclui índice.
504			_aBibliografia: p. 213-223.
520	3		_aUm 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. São os fundamentos semânticos da computação o foco central desta obra, necessários tanto para a compreensão das linguagens computacionais modernas quanto para o desenvolvimento formal de novos paradigmas aplicados na elaboração de novas linguagens de programação e linguagens de especificação e verificação formal. A obra é proposta como notas de aula para um curso avançado complementar em teoria da computação, do ponto de vista dos formalismos lógicos e semânticos. Ainda que a obra restrinja-se aos fundamentos matemáticos dos paradigmas de programação lógica e funcional, fornece os elementos necessários para iniciar um aprofundamento em áreas de investigação centrais em computação, envolvidas no desenvolvimento tecnológico de novas linguagens computacionais, como são a própria teoria de reescrita, a teoria de tipos e a teoria de prova. Certamente, alunos de pós-graduação e em estágios avançados de cursos em áreas tecnológicas e exatas, como Ciência da Computação, Matemática, Informática e Engenharias de Software, Computação, Automação e Mecatrônica, poderão aproveitar bem esta obra.
650	0	4	_aComputação
650	0	4	_aProgramação lógica (Computação)
650	0	4	_aProgramação funcional (Computação)
650			_aSistemas de reescrita (Computação)
650		4	_aLinguagem de programação (Computadores) _92135
700	1		_aMoura, Flávio Leonardo Cavalcanti de
942			_2ddc _cLV