Dislocated Topologies
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Dislocated Topologies
|
| Id. |
41772676 |
| Idioma |
inglés
|
| Titulo |
Dislocated Topologies |
| Autor(es) |
Pascal Hitzler,Anthony Karel Seda
|
| Localización |
http://citeseer.ist.psu.edu/337316.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We study a generalized notion of topology which evolved out of applications in the
area of logic programming semantics. The generalization is obtained by relaxing the
requirement that a neighbourhood of a point includes the point itself, and by allowing
neighbourhoods of points to be empty. The corresponding generalized notion of metric
is obtained by allowing points to have non-zero distance to themselves. We further
show that it is meaningful to discuss neighbourhoods, convergence, and continuity in
these spaces. A generalized version of the Banach contraction mapping theorem can
also be established. We show finally how the generalized metrics studied here can be
obtained from conventional metrics.
Contents
1 Introduction 2
2 Motivation: A Fixed Point Application in Logic Programming 3
2.1 A Generalized Banach Contraction Mapping Theorem . . . . . . . . . . . 3
2.2 Acceptable Logic Programs . . . . . . . . . . . . . . . . . . . . . . . . . 5
3 Dislocated Topologies 7
3.1 Ne...
|
| Tipo |
ps
|
| Palabras clave |
Pascal Hitzler,Anthony Karel Seda Dislocated Topologies
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://ogham.ucc.ie/~seda/scam00tr.ps.gz
[References] oai:CiteSeerPSU:3062
[References] oai:CiteSeerPSU:263272
[References] oai:CiteSeerPSU:116523
[References] oai:CiteSeerPSU:302704
[References] oai:CiteSeerPSU:120918
[References] oai:CiteSeerPSU:23874
[References] oai:CiteSeerPSU:53254
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
