Teorema de Tarski

Luciana Franca da Cunha

Use este identificador para citar o ir al link de este elemento: http://hdl.handle.net/1843/BUOS-94PLDE

Registro completo de metadatos

Campo DC	Valor	Idioma
dc.contributor.advisor1	Elaine Gouvea Pimentel	pt_BR
dc.creator	Luciana Franca da Cunha	pt_BR
dc.date.accessioned	2019-08-14T08:00:22Z	-
dc.date.available	2019-08-14T08:00:22Z	-
dc.date.issued	2011-02-09	pt_BR
dc.identifier.uri	http://hdl.handle.net/1843/BUOS-94PLDE	-
dc.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.	pt_BR
dc.language	Português	pt_BR
dc.publisher	Universidade Federal de Minas Gerais	pt_BR
dc.publisher.initials	UFMG	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Matemática	pt_BR
dc.subject.other	Matemática	pt_BR
dc.subject.other	Espaços topologicos lineares	pt_BR
dc.title	Teorema de Tarski	pt_BR
dc.type	Monografias de Especialização	pt_BR
Aparece en las colecciones:	Especialização em Matemática

archivos asociados a este elemento:

archivo	Descripción	Tamaño	Formato
monografia_luciana.pdf		216.48 kB	Adobe PDF	Visualizar/Abrir

Mostrar registro simple del elemento Visualizar estadísticas