Fundamentos matemáticos da programação funcional

Detalhes bibliográficos
Autor(a) principal: Abreu, Alexandra Isabel Fernandes Espinha
Data de Publicação: 2009
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10773/3869
Resumo: O objectivo desta tese é estudar os contributos matemáticos que estiveram na origem da, agora tão falada, programação funcional. Este trabalho está organizado em duas fases. Numa primeira fase irá estudarse o cálculo-λ como sendo a primeira linguagem de programação funcional, especialmente no que diz respeito à notação utilizada por ela, e a sua contribuição nas ciências da computação. Na segunda fase irá estudar-se a linguagem de programação de funções computáveis, PCF, inicialmente desenvolvida por Dana Scott e posteriormente estudada por Gordon Plotkin. A sua sintaxe e outras propriedades serão alvo de estudo neste trabalho.
id RCAP_9ca6c58a5eb0f16721db2212bdde36df
oai_identifier_str oai:ria.ua.pt:10773/3869
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Fundamentos matemáticos da programação funcionalMatemáticaProgramação funcionalCálculo lambdaProgramação matemáticaComputação matemáticaSemântica de computadoresO objectivo desta tese é estudar os contributos matemáticos que estiveram na origem da, agora tão falada, programação funcional. Este trabalho está organizado em duas fases. Numa primeira fase irá estudarse o cálculo-λ como sendo a primeira linguagem de programação funcional, especialmente no que diz respeito à notação utilizada por ela, e a sua contribuição nas ciências da computação. Na segunda fase irá estudar-se a linguagem de programação de funções computáveis, PCF, inicialmente desenvolvida por Dana Scott e posteriormente estudada por Gordon Plotkin. A sua sintaxe e outras propriedades serão alvo de estudo neste trabalho.The aim of this thesis is to study the mathematical contributions that resulted in the functional programming. This work is organized in two phases. Initially it will examine the λ-calculus as the first functional programming language, especially in what concerns to the notation used by it and its contribution in the Computer Science. In the second phase it will study the programming language of computable functionals, PCF, originally developed by Dana Scott and later studied by Gordon Plotkin. Its syntax and other properties will be subject of study in this work.Universidade de Aveiro2011-07-27T08:25:46Z2009-01-01T00:00:00Z2009info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10773/3869porAbreu, Alexandra Isabel Fernandes Espinhainfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-02-22T11:03:53Zoai:ria.ua.pt:10773/3869Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T02:41:57.883651Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Fundamentos matemáticos da programação funcional
title Fundamentos matemáticos da programação funcional
spellingShingle Fundamentos matemáticos da programação funcional
Abreu, Alexandra Isabel Fernandes Espinha
Matemática
Programação funcional
Cálculo lambda
Programação matemática
Computação matemática
Semântica de computadores
title_short Fundamentos matemáticos da programação funcional
title_full Fundamentos matemáticos da programação funcional
title_fullStr Fundamentos matemáticos da programação funcional
title_full_unstemmed Fundamentos matemáticos da programação funcional
title_sort Fundamentos matemáticos da programação funcional
author Abreu, Alexandra Isabel Fernandes Espinha
author_facet Abreu, Alexandra Isabel Fernandes Espinha
author_role author
dc.contributor.author.fl_str_mv Abreu, Alexandra Isabel Fernandes Espinha
dc.subject.por.fl_str_mv Matemática
Programação funcional
Cálculo lambda
Programação matemática
Computação matemática
Semântica de computadores
topic Matemática
Programação funcional
Cálculo lambda
Programação matemática
Computação matemática
Semântica de computadores
description O objectivo desta tese é estudar os contributos matemáticos que estiveram na origem da, agora tão falada, programação funcional. Este trabalho está organizado em duas fases. Numa primeira fase irá estudarse o cálculo-λ como sendo a primeira linguagem de programação funcional, especialmente no que diz respeito à notação utilizada por ela, e a sua contribuição nas ciências da computação. Na segunda fase irá estudar-se a linguagem de programação de funções computáveis, PCF, inicialmente desenvolvida por Dana Scott e posteriormente estudada por Gordon Plotkin. A sua sintaxe e outras propriedades serão alvo de estudo neste trabalho.
publishDate 2009
dc.date.none.fl_str_mv 2009-01-01T00:00:00Z
2009
2011-07-27T08:25:46Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10773/3869
url http://hdl.handle.net/10773/3869
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade de Aveiro
publisher.none.fl_str_mv Universidade de Aveiro
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799137468262383616

Registros relacionados