Buscar
Minha Conta

Atendimento(21) 2262-3111 / (21) 2262-3111

Fundamentos da Programação Lógica e Funcional - O princípio de resolução e a teoria de reescrita

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.
+-

Quem viu este produto , comprou

Quem viu este produto , também se interessou

  • Descrição
    Fundamentos da Programação Lógica e Funcional O princípio de resolução e a teoria de reescrita

    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.
  • Sobre o Autor
  • Especificação

    Características

    Tipo de LivroLivro Físico

    Especificações

    Sobre o AutorMAURICIO AYALA-RICÓN

    Maurício Ayala-rincón é professor titular e bolsista de produtividade em pesquisa do CNPq. Depois de concluir o doutorado em Informática na Universitaet Kaiserslautern (Alemanha) em 1993, iniciou suas atividades nos Departamentos de Matematica e Ciência da Computação da Universidade de Brasília, onde tem disseminado continuamente a teoria de reescrita e orientado dezenas de alunos e pesquisadores em todos os níveis, sempre em parceria com pesquisadores de instituições no exterior, como Karlsruher Institut für Technologie, Heriot-Watt University, NIA NASA LaRC e King's College London. Suas principais contribuições científicas estão relacionadas com o desenvolvimento de sistemas de reescrita com condições aritméticas, modelagem via sistemas de reescrita de termos de hardware reconfigurável e aplicações de reescrita em métodos formais.

    FLÁVIO LEONARDO CAVALCANTI DE MOURA

    Flávio Leonardo Cavalcanti de Moura é professor adjunto e bolsista pesquisador da Fundação de Estudos Matemáticos do Distrito Federal. Concluiu seu doutorado em Matemática na Universidade de Brasília (Brasil) em 2006, realizando estágio sanduíche na Heriot-Watt University (Escócia). Iniciou atividades docentes no Departamento de Ciência da Computação da Universidade de Brasília em 2006, onde tem orientado alunos de mestrado e realizado pesquisa na área de teoria de reescrita e cálculo lambda. Suas contribuições científicas, desenvolvidas em cooperação com o primeiro autor e com os pesquisadores de instituições como Heriot-Watt University e Université Paris Diderot, estão relacionadas com a análise de algoritmos de unificação de ordem superior em cálculos com substituições explícitas e formulação de propriedades, como confluência e teminação, para variantes destes cálculos.

    Informações Técnicas

    Nº de páginas:232
    Origem:Nacional
    Editora:Editora UNB
    Idioma:Português
    Edição:1ª Edição
    Ano:2014
    ISBN:9788523011413
    Encadernação:Brochura
    Autor:Mauricio Ayala-Rincón e Flávio Leonardo Cavalcanti de Moura
  • Informações

Avaliação técnica sobre o livro

Não encontrou seu produto? Deixe aqui sua Sugestão para novos produtos!

Enviar sugestão

Políticas

Informações

Atendimento

(21) 2262-3111

(21) 2262-3111

Pague com

Visa, mastercard, Diners, Boleto, American Express , VisaElectron, Discover , Elo , Maestro

Segurança e certificados

© 2015 Livraria Ciência Moderna Ltda - Avenida Rio Branco 156 – subsolo 126 – Centro – RJ – Cep:20040-003 | Cnpj :33.412.271/0001-03 | Inscrição Estadual: 85.853.198 *Os preços e condições de pagamento podem ser exclusivos para compras via internet , o que quer dizer que podem variar das lojas físicas. Vendas Sujeitas á analise e confirmação de dados.
VTEXOriginal Media

Olá! Seja Bem Vindo (a)!

Eu sou o Moderninho , o Mascote da Ciência Moderna Online!
Além de bonito, o novo site tem Minhas Dicas :) #ficaadica

A 1ª Dica é -> Deixe aqui seu contato para receber nossas
NOVIDADES, PROMOÇÕES E CUPONS DE DESCONTOS ;)

Navegue SEM Moderação!