Teorema de Tarski
Autor(a) principal: | |
---|---|
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_ |
1803589154824519680 |