03008nam a22003134a 4500 35340 35340 001611877 BR-ReIFE 20211020143203.0 161208s2014 bl a g 1 0 por 9788523011413 BR-RjBN por BR-ReIFE BR-ReIFE por por 005.13 A973f 005.13 A973f Ayala-Rincón, Mauricio 1962- 8033 Fundamentos da programação lógica e funcional : o princípio de resolução e a teoria de reescrita / Mauricio Ayala-Rincón e Flávio Leonardo Cavalcanti de Moura.- Brasília: Ed. UnB, 2014. 229p. : il.; 28cm. Inclui índice. Bibliografia: p. 213-223. 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. 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. Computação Programação lógica (Computação) Programação funcional (Computação) Sistemas de reescrita (Computação) Linguagem de programação (Computadores) 2135 Moura, Flávio Leonardo Cavalcanti de ddc LV 0 0 ddc 0 1 NFIC 001 001 AG 2021-10-20 Compra 35.00 266493 0 005.13 A973f 85642550291 2021-10-20 00:00:00 ex.1 35.00 2021-10-20 LV 0 0 ddc 0 0 NFIC 001 001 AG 2021-10-20 Compra 35.00 266494 0 005.13 A973f 85642550292 2021-10-20 00:00:00 ex.2 35.00 2021-10-20 LV 0 0 ddc 0 0 NFIC 001 001 AG 2021-10-20 Compra 35.00 266495 0 005.13 A973f 85642550293 2021-10-20 00:00:00 ex.3 35.00 2021-10-20 LV 0 0 ddc 0 0 NFIC 001 001 AG 2022-05-05 Compra 59.00 269581 0 005.13 A973f 85642550956 2022-05-05 00:00:00 ex.4 59.00 2022-05-05 LV 0 0 ddc 0 0 NFIC 001 001 AG 2022-05-05 Compra 59.00 269581 0 005.13 A973f 85642550957 2022-05-05 00:00:00 ex.5 59.00 2022-05-05 LV