Teorema de Tarski

dc.creator	Luciana Franca da Cunha
dc.date.accessioned	2019-08-14T08:00:22Z
dc.date.accessioned	2025-09-09T01:29:13Z
dc.date.available	2019-08-14T08:00:22Z
dc.date.issued	2011-02-09
dc.identifier.uri	https://hdl.handle.net/1843/BUOS-94PLDE
dc.language	Português
dc.publisher	Universidade Federal de Minas Gerais
dc.rights	Acesso Aberto
dc.subject	Matemática
dc.subject	Espaços topologicos lineares
dc.subject.other	Matemática
dc.title	Teorema de Tarski
dc.type	Monografia de especialização
local.contributor.advisor1	Elaine Gouvea Pimentel
local.description.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.
local.publisher.initials	UFMG

Arquivos

Agora exibindo 1 - 1 de 1