Un acostament a la teoria de dominis i la dualitat de Stone

Show simple item record

dc.contributor Rosselló Llompart, Francesc
dc.contributor.author Riera Roca, Gabriel
dc.date 2016
dc.date.accessioned 2020-03-24T10:28:38Z
dc.date.available 2020-03-24T10:28:38Z
dc.identifier.uri http://hdl.handle.net/11201/151546
dc.description.abstract [cat] En aquest treball exposarem algunes tècniques de la teoria de dominis. L’objectiu serà trobar un model adequat per la semàntica dels llenguatges de programació que es pugui recolzar en una teoria matemàtica sòlida per tal de tenir una base sobre la que es pugui raonar sobre el significat d’un programa, que a priori és una expressió purament sintàctica. Per això, primer donarem una petita introducció i alguns resultats bàsics de la teoria de dominis en el capítol 2. Principalment, aquests inclouen el teorema del punt fix de Kleene, la definició de domini continu i algebraic i la completació per ideals. A continuació, al capítol 3, veurem com podem construir nous dominis a partir d’altres. Aquestes construccions representarán la formació de tipus de dades a partir de tipus primitius. La qüestió a la que dedicarem més temps serà la resolució d’equacions recursives de dominis, que es correspon a la definició de tipus de dades recursius com una llista enllaçada o un arbre binari. Per acabar, el capítol 4 tractarà sobre el teorema de dualitat de Stone, que estableix una dualitat entre els espais topològics i els frames (locales). Aquesta dualitat es pot refinar per casos més concrets com espais localment compactes o la base d’un domini, així que estudiarem també algunes d’aquestes restriccions. De fet, una d’aquestes restriccions del teorema de dualitat relaciona els dominis continus amb els reticles completament distributius, i d’aquí se’n pot extreure una aplicació a la semàntica denotacional que es tradueix en una equivalència entre la sintaxi i la semàntica dels programes.
dc.format application/pdf
dc.language.iso cat
dc.publisher Universitat de les Illes Balears
dc.rights all rights reserved
dc.rights info:eu-repo/semantics/openAccess
dc.subject 51 – Matemàtiques
dc.title Un acostament a la teoria de dominis i la dualitat de Stone
dc.type info:eu-repo/semantics/bachelorThesis
dc.type info:eu-repo/semantics/publishedVersion
dc.subject.keywords Semàntica denotacional
dc.subject.keywords Dcpo
dc.subject.keywords Domini continu
dc.subject.keywords Domini algebraic
dc.subject.keywords Punt fix de Kleene


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search Repository


Advanced Search

Browse

My Account

Statistics