Teorema de Tarski

Detalhes bibliográficos
Autor(a) principal: Luciana Franca da Cunha
Data de Publicação: 2011
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFMG
Texto Completo: http://hdl.handle.net/1843/BUOS-94PLDE
Resumo: Neste trabalho são apresentadas as noções básicas de topologia necessárias para a demonstração do Teorema de Tarski. No primeiro captulo é apresentada a definiçao de topologia bem como alguns exemplos. Logo depois, são apresentadas as topologias da ordem e produto. Em seguida, conceitos de subespaço, conjuntos fechados, ponto limite e espaços de Hausdorff são abordados. Continuidade deaplicaçoes em espaço topológicos, homeomorfismos e contruçao de fuçoes contínuas também são apresentados, assim como alguns conceitos relativos a eles. No capítulo 2, e apresentada a topologia de Scott e, por fim, o Teorema de Tarski e sua demonstração. Esse teorema é importante na area de semântica de linguagens de programação, porque possibilita a descrição matemática do comportamento de comandos de recursão, como o WHILE.
id UFMG_55027063f808f14734b5a9139b5966e8
oai_identifier_str oai:repositorio.ufmg.br:1843/BUOS-94PLDE
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Elaine Gouvea PimentelLuciana Franca da Cunha2019-08-14T08:00:22Z2019-08-14T08:00:22Z2011-02-09http://hdl.handle.net/1843/BUOS-94PLDENeste trabalho são apresentadas as noções básicas de topologia necessárias para a demonstração do Teorema de Tarski. No primeiro captulo é apresentada a definiçao de topologia bem como alguns exemplos. Logo depois, são apresentadas as topologias da ordem e produto. Em seguida, conceitos de subespaço, conjuntos fechados, ponto limite e espaços de Hausdorff são abordados. Continuidade deaplicaçoes em espaço topológicos, homeomorfismos e contruçao de fuçoes contínuas também são apresentados, assim como alguns conceitos relativos a eles. No capítulo 2, e apresentada a topologia de Scott e, por fim, o Teorema de Tarski e sua demonstração. Esse teorema é importante na area de semântica de linguagens de programação, porque possibilita a descrição matemática do comportamento de comandos de recursão, como o WHILE.Universidade Federal de Minas GeraisUFMGMatemáticaEspaços topologicos linearesMatemáticaTeorema de Tarskiinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALmonografia_luciana.pdfapplication/pdf221677https://repositorio.ufmg.br/bitstream/1843/BUOS-94PLDE/1/monografia_luciana.pdf980c6615e5b879a886f7c5ea515d5f83MD51TEXTmonografia_luciana.pdf.txtmonografia_luciana.pdf.txtExtracted texttext/plain59391https://repositorio.ufmg.br/bitstream/1843/BUOS-94PLDE/2/monografia_luciana.pdf.txt1433ee5f3860ddbe7c7d104b758c3d99MD521843/BUOS-94PLDE2019-11-14 15:16:29.76oai:repositorio.ufmg.br:1843/BUOS-94PLDERepositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T18:16:29Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.pt_BR.fl_str_mv Teorema de Tarski
title Teorema de Tarski
spellingShingle Teorema de Tarski
Luciana Franca da Cunha
Matemática
Matemática
Espaços topologicos lineares
title_short Teorema de Tarski
title_full Teorema de Tarski
title_fullStr Teorema de Tarski
title_full_unstemmed Teorema de Tarski
title_sort Teorema de Tarski
author Luciana Franca da Cunha
author_facet Luciana Franca da Cunha
author_role author
dc.contributor.advisor1.fl_str_mv Elaine Gouvea Pimentel
dc.contributor.author.fl_str_mv Luciana Franca da Cunha
contributor_str_mv Elaine Gouvea Pimentel
dc.subject.por.fl_str_mv Matemática
topic Matemática
Matemática
Espaços topologicos lineares
dc.subject.other.pt_BR.fl_str_mv Matemática
Espaços topologicos lineares
description Neste trabalho são apresentadas as noções básicas de topologia necessárias para a demonstração do Teorema de Tarski. No primeiro captulo é apresentada a definiçao de topologia bem como alguns exemplos. Logo depois, são apresentadas as topologias da ordem e produto. Em seguida, conceitos de subespaço, conjuntos fechados, ponto limite e espaços de Hausdorff são abordados. Continuidade deaplicaçoes em espaço topológicos, homeomorfismos e contruçao de fuçoes contínuas também são apresentados, assim como alguns conceitos relativos a eles. No capítulo 2, e apresentada a topologia de Scott e, por fim, o Teorema de Tarski e sua demonstração. Esse teorema é importante na area de semântica de linguagens de programação, porque possibilita a descrição matemática do comportamento de comandos de recursão, como o WHILE.
publishDate 2011
dc.date.issued.fl_str_mv 2011-02-09
dc.date.accessioned.fl_str_mv 2019-08-14T08:00:22Z
dc.date.available.fl_str_mv 2019-08-14T08:00:22Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1843/BUOS-94PLDE
url http://hdl.handle.net/1843/BUOS-94PLDE
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.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.publisher.initials.fl_str_mv UFMG
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
bitstream.url.fl_str_mv https://repositorio.ufmg.br/bitstream/1843/BUOS-94PLDE/1/monografia_luciana.pdf
https://repositorio.ufmg.br/bitstream/1843/BUOS-94PLDE/2/monografia_luciana.pdf.txt
bitstream.checksum.fl_str_mv 980c6615e5b879a886f7c5ea515d5f83
1433ee5f3860ddbe7c7d104b758c3d99
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv
_version_ 1801676620581306368

Registros relacionados