Mostra el registre d'ítem simple
Tècniques recursives de disseny i transformació d'algorismes
dc.contributor.author | Roselló Balanyà, Celestí |
dc.date.accessioned | 2020-06-23T14:50:41Z |
dc.date.available | 2020-06-23T14:50:41Z |
dc.date.issued | 1989 |
dc.identifier.citation | Roselló, C. "Tècniques recursives de disseny i transformació d'algorismes". 1989. |
dc.identifier.uri | http://hdl.handle.net/2117/191426 |
dc.description.abstract | Es presenten els principis del disseny recursiu d'algorismes junt amb els conceptes matemàtics en els que es basa: els preordres ben fonamentals i les demostracions per inducció noetheriana. Tot seguit s'exposen les tècniques de disseny i transformació basades en el concepte d'immersió. Per il·lustrar les diferents tècniques exposades a l'article es resolen diversos exemples. |
dc.format.extent | 22 p. |
dc.language.iso | cat |
dc.relation.ispartofseries | LSI-89-28 |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.lcsh | Algorithms |
dc.subject.other | Algorismes |
dc.title | Tècniques recursives de disseny i transformació d'algorismes |
dc.type | External research report |
dc.subject.lemac | Algorismes |
dc.rights.access | Open Access |
local.identifier.drac | 28730575 |
dc.description.version | Postprint (published version) |
local.citation.author | Roselló, C. |