Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/1843/BUOS-94PLDE| Tipo: | Monografias de Especialização |
| Título: | Teorema de Tarski |
| Autor(es): | Luciana Franca da Cunha |
| Primeiro Orientador: | Elaine Gouvea Pimentel |
| 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. |
| Assunto: | Matemática Espaços topologicos lineares |
| Idioma: | Português |
| Editor: | Universidade Federal de Minas Gerais |
| Sigla da Instituição: | UFMG |
| Tipo de Acesso: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/BUOS-94PLDE |
| Data do documento: | 9-Fev-2011 |
| Aparece nas coleções: | Especialização em Matemática |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| monografia_luciana.pdf | 216.48 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.