Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/3869
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Hofmann, Dirk | por |
dc.contributor.author | Abreu, Alexandra Isabel Fernandes Espinha | por |
dc.date.accessioned | 2011-07-27T08:25:46Z | - |
dc.date.available | 2011-07-27T08:25:46Z | - |
dc.date.issued | 2009 | - |
dc.identifier.uri | http://hdl.handle.net/10773/3869 | - |
dc.description | Mestrado em Matemática | por |
dc.description.abstract | 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. | por |
dc.description.abstract | 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. | por |
dc.language.iso | por | por |
dc.publisher | Universidade de Aveiro | por |
dc.rights | openAccess | por |
dc.subject | Matemática | por |
dc.subject | Programação funcional | por |
dc.subject | Cálculo lambda | por |
dc.subject | Programação matemática | por |
dc.subject | Computação matemática | por |
dc.subject | Semântica de computadores | por |
dc.title | Fundamentos matemáticos da programação funcional | por |
dc.type | masterThesis | por |
thesis.degree.level | mestrado | por |
thesis.degree.grantor | Universidade de Aveiro | por |
Appears in Collections: | UA - Dissertações de mestrado DMat - Dissertações de mestrado |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.